Login / Signup
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes.
Franz Baader
Novak Novakovik
Boontawee Suntisrivaraporn
Published in:
Description Logics (2008)
Keyphrases
</>
description logics
model theoretic
proof theoretic
knowledge base
dl lite
knowledge representation
linear logic
semantic web
computational properties
reasoning tasks
nonmonotonic reasoning
default reasoning
ontology languages
fixpoint
query answering
constraint logic programming
temporal reasoning