Login / Signup
Constraint Reuse in DL-Lite Core with Arbitrary Number Restrictions.
Marco A. Casanova
Karin Koogan Breitman
Antonio L. Furtado
Vânia Maria Ponte Vidal
José Antônio Fernandes de Macêdo
Eveline R. Sacramento
Published in:
AMW (2012)
Keyphrases
</>
dl lite
number restrictions
description logics
query answering
inverse roles
data complexity
first order logic
conjunctive queries
reasoning tasks
expressive power
computational complexity
computational properties
knowledge representation
query rewriting
unions of conjunctive queries
knowledge base
exptime complete
query evaluation
semantic web
ontology languages
database