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 metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal-upec-upem.archives-ouvertes.fr/hal-01740557
Contributor : Olivier Curé <>
Submitted on : Thursday, March 22, 2018 - 10:02:00 AM
Last modification on : Tuesday, May 5, 2020 - 11:50:16 AM
Long-term archiving on: : Thursday, September 13, 2018 - 12:16:49 PM

File

paper_89.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01740557, version 1

Citation

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

Share

Metrics

Record views

97

Files downloads

58