SHOIQ with Transitive Closure of Roles Is Decidable.

Chan Le Duc Myriam Lamolle Olivier Curé

Published in: Description Logics (2013)

Keyphrases

transitive closure of roles
description logics
exptime complete
expressive description logics
query answering
knowledge base
knowledge representation
first order logic
query containment
expressive power
owl dl
data structure
data complexity
case study
decision trees
computation tree logic
database