Mastersthesis,

Non-standard inference for explaining subsumption in the description logic EL with general concept inclusions and complex role inclusions

.
Technische Universitat Dresden, (2007)

Abstract

Ontologies 11 are now ubiquitous and many of them are currently being ported into logical formalisms, most notably description logic (DL) 2. It is inevitable that such migration might introduces inconsistencies – both in terms of logically and ontologically – which could be far from obvious. This motivates the recent research topic of explanation of DLbased ontologies. Explanation comes in two flavors: pinpointing 5, 21, 15 which addresses the source of inconsistencies found in the ontology and debugging 14 which recovers the ontology into a consistent state. Since the latter often requires information from the former, we consider axiom pinpo…(more)

Tags

Users

  • @fraktalek

Comments and Reviews