ML Anthology

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

Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro
IJCAI 2017 pp. 4975-4979
doi:10.24963/IJCAI.2017/705 /ijcai/2017/bonatti2017ijcai-new/

Abstract

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.

PDF IJCAI Semantic Scholar

Cite

Text

Bonatti et al. "A New Semantics for Overriding in Description Logics (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/705

Markdown

[Bonatti et al. "A New Semantics for Overriding in Description Logics (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/bonatti2017ijcai-new/) doi:10.24963/IJCAI.2017/705

BibTeX

@inproceedings{bonatti2017ijcai-new,
  title     = {{A New Semantics for Overriding in Description Logics (Extended Abstract)}},
  author    = {Bonatti, Piero A. and Faella, Marco and Petrova, Iliana M. and Sauro, Luigi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {4975-4979},
  doi       = {10.24963/IJCAI.2017/705},
  url       = {https://mlanthology.org/ijcai/2017/bonatti2017ijcai-new/}
}