Decidability of SHI with transitive closure of roles - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Decidability of SHI with transitive closure of roles

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.

Dates and versions

hal-00793443 , version 1 (22-02-2013)

Identifiers

Cite

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⟩
53 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More