Skip to Main content Skip to Navigation
Conference papers

SHOIQ with transitive closure of roles is decidable

Abstract : The Semantic Web makes an extensive use of the OWL DL ontology language, underlied by the SHOIQ description logic, to formalize its resources. In this paper, we propose a decision procedure for this logic extended with the transitive closure of roles in concept axioms, a feature needed in several application domains. To address the problem of consistency in this logic, we introduce a new structure for characterizing models which may have an infinite non-tree-like part.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Olivier Curé Connect in order to contact the contributor
Submitted on : Thursday, March 22, 2018 - 10:02:00 AM
Last modification on : Friday, March 11, 2022 - 10:22:01 PM
Long-term archiving on: : Thursday, September 13, 2018 - 12:16:49 PM


Files produced by the author(s)


  • HAL Id : hal-01740557, version 1


Chan Le Duc, Myriam Lamolle, Olivier Curé. SHOIQ with transitive closure of roles is decidable. Description Logics, 2013, Ulm, Germany. ⟨hal-01740557⟩



Record views


Files downloads