A practical automata-based technique for reasoning in expressive description logics

Authors:
Diego Calvanese;Domenico Carbotta;Magdalena Ortiz
Affiliations:
KRDB Research Centre, Free Univ. of Bozen-Bolzano, Bolzano, Italy;Institute of Information Systems, Vienna Univ. of Technology, Vienna, Austria;Institute of Information Systems, Vienna Univ. of Technology, Vienna, Austria
Venue:
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Year:
2011

Citing 10
Cited 0

Boosting the correspondence between description logics and propositional dynamic logics

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
A machine program for theorem-proving

Communications of the ACM
How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi

ACM Transactions on Computational Logic (TOCL)
Reasoning about The Past with Two-Way Automata

ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
The Inverse Method Implements the Automata Approach for Modal Satisfiability

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The Description Logic Handbook

The Description Logic Handbook
Deciding expressive description logics in the framework of resolution

Information and Computation
Answering regular path queries in expressive description logics: an automata-theoretic approach

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Hypertableau reasoning for description logics

Journal of Artificial Intelligence Research
FaCT++ description logic reasoner: system description

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

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.