 |
HAL UPEC - UPEM Portal |  |
 |
Conference papers
A Tableaux-Based Algorithm for SHIQ with Transitive Closure of Roles in Concept and Role Inclusion Axioms
Abstract : In this paper, we investigate an extension of the description logic SHIQ -a knowledge representation formalism used for the Semantic Web-with transitive closure of roles occurring not only in concept inclusion axioms but also in role inclusion axioms. It was proved that adding transitive closure of roles to SHIQ without restriction on role hierarchies may lead to undecidability. We have identified a kind of role inclusion axioms that is responsible for this undecidability and we propose a restriction on these axioms to obtain decidability. Next, we present a tableaux-based algorithm that decides satisfiability of concepts in the new logic.
Cited literature [13 references]
https://hal-upec-upem.archives-ouvertes.fr/hal-00738380
Contributor : Olivier Curé Connect in order to contact the contributor
Submitted on : Monday, March 11, 2013 - 12:23:03 PM
Last modification on : Tuesday, October 19, 2021 - 11:26:18 AM
Long-term archiving on: : Wednesday, June 12, 2013 - 2:30:10 AM
Contributor : Olivier Curé Connect in order to contact the contributor
Submitted on : Monday, March 11, 2013 - 12:23:03 PM
Last modification on : Tuesday, October 19, 2021 - 11:26:18 AM
Long-term archiving on: : Wednesday, June 12, 2013 - 2:30:10 AM
File
eswc2011Final.pdf
Files produced by the author(s)