Login / Signup
and in Expressive Description Logics.
Anni-Yasmin Turhan
Published in:
Reasoning Web (2010)
Keyphrases
</>
expressive description logics
description logics
regular path queries
exptime complete
knowledge base
knowledge representation
owl dl
database
special case
model checking
reasoning systems