Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability.

Carsten Lutz Robert Piro Frank Wolter

Published in: IJCAI (2011)

Keyphrases

description logics
model theoretic
reasoning tasks
knowledge base
computational properties
dl lite
knowledge representation
semantic web
reasoning problems
reasoning mechanism
databases
ontology languages
snomed ct