 |
HAL UPEC - UPEM Portal |  |
 |
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.
Cited literature [14 references]
https://hal-upec-upem.archives-ouvertes.fr/hal-01740557
Contributor : Olivier Curé Connect in order to contact the contributor
Submitted on : Thursday, March 22, 2018 - 10:02:00 AM
Last modification on : Tuesday, October 19, 2021 - 11:26:22 AM
Long-term archiving on: : Thursday, September 13, 2018 - 12:16:49 PM
Contributor : Olivier Curé Connect in order to contact the contributor
Submitted on : Thursday, March 22, 2018 - 10:02:00 AM
Last modification on : Tuesday, October 19, 2021 - 11:26:22 AM
Long-term archiving on: : Thursday, September 13, 2018 - 12:16:49 PM
File
paper_89.pdf
Files produced by the author(s)