Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability
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 a DL L, decide whether T can be equivalently rewritten as a TBox in the fragment L′ of L.
Cite
Text
Lutz et al. "Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-169Markdown
[Lutz et al. "Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/lutz2011ijcai-description/) doi:10.5591/978-1-57735-516-8/IJCAI11-169BibTeX
@inproceedings{lutz2011ijcai-description,
title = {{Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability}},
author = {Lutz, Carsten and Piro, Robert and Wolter, Frank},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2011},
pages = {983-988},
doi = {10.5591/978-1-57735-516-8/IJCAI11-169},
url = {https://mlanthology.org/ijcai/2011/lutz2011ijcai-description/}
}