DL-Lite without UNA.

Alessandro Artale Diego Calvanese Roman Kontchakov Michael Zakharyaschev

Published in: Description Logics (2009)

Keyphrases

dl lite
description logics
query answering
data complexity
conjunctive queries
first order logic
expressive power
query rewriting
computational complexity
owl dl ontology
knowledge base
reasoning tasks
computational properties
model theoretic
knowledge representation
integrity constraints