2181 search results - page 56 / 437 » Ontologies and Description Logics |
DLOG
2003
14 years 11 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...
77
Voted
EUSFLAT
2009
14 years 8 months ago
2009
FOIS
2010
14 years 11 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...
83
Voted
AO
2007
14 years 10 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...