Login / Signup
Reasoning on expressive description logics with arithmetic constraints.
Everardo Bárcenas
Guillermo Molero
Gabriela Sánchez
Edgard Benítez-Guerrero
Carmen Mezura-Godoy
Published in:
CONIELECOMP (2016)
Keyphrases
</>
expressive description logics
arithmetic constraints
description logics
constraint satisfaction problems
regular path queries
owl dl
knowledge base
exptime complete
object oriented
arc consistency
np complete
constraint satisfaction
graph databases
relational calculus