Dealing with Inconsistencies in DL-Lite Ontologies [chapter]

Liping Zhou
2009 Lecture Notes in Computer Science  
The Research Problem As a shared conceptualization of a particular domain, ontologies play an important role for the success of the Semantic Web. However it is often difficult to create an absolutely consistent ontology. Inconsistency can occur due to several reasons, such as modeling errors, migration or merging ontologies, and ontology evolution. So it is essential to study how to deal with inconsistent ontologies. Many approaches have been proposed to solve this problem. These approaches are
more » ... mainly used for dealing with inconsistency in expressive Description Logics(DLs). In our work, we consider inconsistency handling in the DL-Lite family, which is a family of DLs that preserve tractable reasoning and are specifically tailored to deal with large amounts of data. Like other DLs, inconsistencies in DL-Lite can also easily occur because disjoint axioms are allowed.
doi:10.1007/978-3-642-02121-3_89 fatcat:p5zx6me7wvcfnc3t7juvfhahzm