A Practical Automata-Based Technique for Reasoning in Expressive Description Logics
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 798-803.
Abstract
In this work we describe the theoretical foundations and the implementation of a new automata-based technique for reasoning over expressive Description Logics that is worst-case optimal and lends itself to an efficient implementation. In order to show the feasibility of the approach, we have realized a working prototype of a reasoner based upon these techniques. An experimental evaluation of this prototype shows encouraging results.
Diego Calvanese, Domenico Carbotta, and Magdalena Ortiz. 2011. A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 798–803. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-140
Calvanese, D., Carbotta, D., & Ortiz, M. (2011). A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 (pp. 798–803). IJCAI. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-140
@inproceedings{ijcai2011p140,
title = {A Practical Automata-Based Technique for Reasoning in Expressive Description Logics},
author = {Calvanese, Diego and Carbotta, Domenico and Ortiz, Magdalena},
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 = {798--803},
year = {2011},
month = {7},
doi = {10.5591/978-1-57735-516-8/IJCAI11-140},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-140},
}
TY - CPAPER TI - A Practical Automata-Based Technique for Reasoning in Expressive Description Logics AU - Calvanese, Diego AU - Carbotta, Domenico AU - Ortiz, Magdalena 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 - 798 EP - 803 DO - 10.5591/978-1-57735-516-8/IJCAI11-140 UR - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-140 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
