Login / Signup
Number Restrictions on Transitive Roles in Description Logics with Nominals.
Víctor Gutiérrez-Basulto
Yazmín Angélica Ibáñez-García
Jean Christoph Jung
Published in:
AAAI (2017)
Keyphrases
</>
description logics
inverse roles
transitive roles
number restrictions
conjunctive query answering
exptime complete
knowledge base
reasoning tasks
computational properties
knowledge representation
ontology languages
dl lite
reasoning problems
owl dl