Decidability of SHI with Transitive Closure of Roles

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 terminating, sound and complete algorithm for deciding satisfiability of concepts in SHI+ with respect to a set of concept and role inclusion axioms. Key words: OWL, Description Logics, Tableaux, Decidability

• Type: Conference
• Year: 2009
• Where: ESWS
• Authors: Chan Le Duc
• Keywords: ESWS 2009, Inclusion Axioms, Internet Technology, Role Inclusion Axioms, Transitive Closure