ML Anthology

A Practical Automata-Based Technique for Reasoning in Expressive Description Logics

Diego Calvanese, Domenico Carbotta, Magdalena Ortiz
IJCAI 2011 pp. 798-804
doi:10.5591/978-1-57735-516-8/IJCAI11-140 /ijcai/2011/calvanese2011ijcai-practical/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Calvanese et al. "A Practical Automata-Based Technique for Reasoning in Expressive Description Logics." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-140

Markdown

[Calvanese et al. "A Practical Automata-Based Technique for Reasoning in Expressive Description Logics." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/calvanese2011ijcai-practical/) doi:10.5591/978-1-57735-516-8/IJCAI11-140

BibTeX

@inproceedings{calvanese2011ijcai-practical,
  title     = {{A Practical Automata-Based Technique for Reasoning in Expressive Description Logics}},
  author    = {Calvanese, Diego and Carbotta, Domenico and Ortiz, Magdalena},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {798-804},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-140},
  url       = {https://mlanthology.org/ijcai/2011/calvanese2011ijcai-practical/}
}