2181 search results - page 56 / 437 » Ontologies and Description Logics |
DLOG
2003
15 years 1 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
EUSFLAT
2009
14 years 9 months ago
2009
FOIS
2010
15 years 1 months ago
2010
Abstract. In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of represe...
AO
2007
14 years 12 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...