188 search results - page 15 / 38 » Approaches to Inconsistency Handling in Description-Logic Ba... |
DLOG
2010
13 years 4 months ago
2010
Abstract. We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of...
WWW
2008
ACM
14 years 7 months ago
2008
ACM
Ontology population is prone to cause inconsistency because the populating process is imprecise or the populated data may conflict with the original data. By assuming that the int...
ASWC
2008
Springer
13 years 8 months ago
2008
Springer
Finding the justifications for an entailment (i.e., minimal sets of axioms responsible for it) is a prominent reasoning service in ontology engineering, as justifications facilitat...
SEMWEB
2007
Springer
14 years 25 days ago
2007
Springer
In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set o...
KI
2007
Springer
14 years 26 days ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...