A four-valued semantics for terminological logics
Artificial Intelligence
Appendix: description logic terminology
The description logic handbook
WWW '05 Proceedings of the 14th international conference on World Wide Web
Debugging Incoherent Terminologies
Journal of Automated Reasoning
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Measuring Inconsistencies in Ontologies
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Algorithms for Paraconsistent Reasoning with OWL
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Kernel Revision Operator for Terminologies -- Algorithms and Evaluation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Consistent query answering over description logic ontologies
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Measuring incoherence in description logic-based ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A general diagnosis method for ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Knowledge base revision in description logics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |
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 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.