A New Semantics for Overriding in Description Logics (Extended Abstract)

A New Semantics for Overriding in Description Logics (Extended Abstract)

Piero Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Journal track. Pages 4975-4979. https://doi.org/10.24963/ijcai.2017/705

Nonmonotonic inferences are not yet supported by Description Logic technology, although their potential usefulness is widely recognized. Lack of support to nonmonotonic reasoning is due to a number of issues related to expressiveness, computational complexity, and optimizations. This work contributes to the practical support of nonmonotonic reasoning in description logics by introducing a new semantics designed to address knowledge engineering needs. The formalism is validated through extensive comparison with the other nonmonotonic DLs, and systematic scalability tests.
Keywords:
Knowledge Representation, Reasoning, and Logic: Non-monotonic Reasoning
Knowledge Representation, Reasoning, and Logic: Description Logics and Ontologies