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

https://hal.inria.fr/hal-00793443
Contributor : Jérôme Euzenat <>
Submitted on : Friday, February 22, 2013 - 12:32:08 PM
Last modification on : Tuesday, February 9, 2021 - 3:02:04 PM

Links full text

Identifiers

Collections

CNRS | INRIA | LIG | UGA

Citation

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⟩

Share

Metrics

Record views

192