Decidability of SHI with transitive closure of roles

Chan Le Duc (1)

1 EXMO - Computer mediated exchange of structured knowledge

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.

Domaines: Intelligence artificielle [cs.AI]; Web

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⟩