Conjunctive Query Answering for the Description Logic SHIQ

Birte Glimm Ian Horrocks Carsten Lutz Ulrike Sattler

Published in: CoRR (2011)

Keyphrases

database systems
conjunctive query answering
description logics
dl lite
transitive roles
exptime complete
databases
knowledge base
reasoning tasks
knowledge representation
computational properties
model theoretic
semantic web
ontology languages
inverse roles
owl ontologies
number restrictions