Login / Signup
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Sebastian Rudolph
Markus Krötzsch
Pascal Hitzler
Published in:
Log. Methods Comput. Sci. (2012)
Keyphrases
</>
description logics
decision diagrams
knowledge base
knowledge representation
reasoning tasks
reasoning systems
semantic web
markov decision processes
knowledge representation and reasoning
ontology languages
dl lite
expert systems
data structure
np complete
efficient computation