Description Logic TBoxes: Model-theoretic Characterizations and Rewritability

Carsten Lutz Robert Piro Frank Wolter

Published in: CoRR (2011)

Keyphrases

description logics
model theoretic
knowledge base
knowledge representation
reasoning tasks
computational properties
reasoning problems
semantic web
reasoning mechanism
dl lite
database
autoepistemic logic
relational databases
object oriented
ontology languages