Sciweavers

ACS
2002
13 years 11 months ago
On a Generalization of the Stone-Weierstrass Theorem
Abstract. A categorical version of the famous theorem of Stone and Weierstrass is formulated and studied in detail. Several applications and examples are given.
Dirk Hofmann
DLOG
2004
14 years 25 days ago
A Description Logic Based Approach for Matching User Profiles
Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...
Andrea Calì, Diego Calvanese, Simona Colucc...