Sciweavers

80
Voted
ACS
2002
14 years 8 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 10 months 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...