Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability

Lutz, Carsten; Piro, Robert; Wolter, Frank

doi:10.5591/978-1-57735-516-8/IJCAI11-169

Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability

Carsten Lutz, Robert Piro, Frank Wolter

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 983-987.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-169

Abstract

We characterize the expressive power of description logic (DL) TBoxes, both for expressive DLs such as ALC and ALCQIO and lightweight DLs such as DL-Lite and EL. Our characterizations are relative to first-order logic, based on a wide range of semantic notions such as bisimulation, equisimulation, disjoint union, and direct product. We exemplify the use of the characterizations by a first study of the following novel family of decision problems: given a TBox T formulated in one DL, decide whether T can be equivalently rewritten as a TBox in der fragment L' of L.

Carsten Lutz, Robert Piro, and Frank Wolter. 2011. Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 983–987. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-169

@inproceedings{ijcai2011p169,
  title     = {Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability},
  author    = {Lutz, Carsten and Piro, Robert and Wolter, Frank},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {983--987},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-169},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-169},
}

TY  - CPAPER
TI  - Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability
AU  - Lutz, Carsten
AU  - Piro, Robert
AU  - Wolter, Frank
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 983
EP  - 987
DO  - 10.5591/978-1-57735-516-8/IJCAI11-169
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-169
ER  -