Skip to Main content Skip to Navigation
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.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal-upec-upem.archives-ouvertes.fr/hal-00738380
Contributor : Olivier Curé <>
Submitted on : Monday, March 11, 2013 - 12:23:03 PM
Last modification on : Tuesday, May 5, 2020 - 11:50:16 AM
Long-term archiving on: : Wednesday, June 12, 2013 - 2:30:10 AM

File

eswc2011Final.pdf
Files produced by the author(s)

Identifiers

Citation

Chan Le Duc, Myriam Lamolle, Olivier Curé. A Tableaux-Based Algorithm for SHIQ with Transitive Closure of Roles in Concept and Role Inclusion Axioms. 8th Extended Semantic Web Conference (ESWC 2011), May 2011, Heraklion, Crete, Greece. pp.367-381, ⟨10.1007/978-3-642-21034-1_25⟩. ⟨hal-00738380⟩

Share

Metrics

Record views

508

Files downloads

216