Login / Signup
A Practical Automata-Based Technique for Reasoning in Expressive Description Logics.
Diego Calvanese
Domenico Carbotta
Magdalena Ortiz
Published in:
IJCAI (2011)
Keyphrases
</>
expressive description logics
description logics
regular path queries
owl dl
exptime complete
domain knowledge
domain specific
first order logic
reasoning systems