Sciweavers

ESWS
2009
Springer

Decidability of SHI with Transitive Closure of Roles

13 years 12 months ago
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
Chan Le Duc
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where ESWS
Authors Chan Le Duc
Comments (0)