Skip to Main content Skip to Navigation
Conference papers

Decidability of SHI with transitive closure of roles

Chan Le Duc 1 
1 EXMO - Computer mediated exchange of structured knowledge
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper investigates a description logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. We show that SHI+ is decidable by devising a sound and complete algorithm for deciding satisfiability of concepts in SHI+ with respect to a set of concept and role inclusion axioms.
Document type :
Conference papers
Complete list of metadata
Contributor : Jérôme Euzenat Connect in order to contact the contributor
Submitted on : Friday, February 22, 2013 - 12:32:08 PM
Last modification on : Tuesday, August 2, 2022 - 4:24:14 AM

Links full text



Chan Le Duc. Decidability of SHI with transitive closure of roles. Proc. 6th european semantic web conference (ESWC), Jun 2009, Heraklion, Greece. pp.368-383, ⟨10.1007/978-3-642-02121-3_29⟩. ⟨hal-00793443⟩



Record views