Login / Signup
Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams.
Uwe Keller
Published in:
KWEPSY (2007)
Keyphrases
</>
expressive description logics
binary decision diagrams
description logics
owl dl
regular path queries
boolean functions
exptime complete
knowledge base
natural language processing
reasoning systems
databases
model checking
automated reasoning