Sciweavers

Share
DLOG
2010

Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms

9 years 18 days ago
Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms
Abstract. This paper investigates Description Logics which allow transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. First, we propose a decision procedure for the description logic SHIO+, which is obtained from SHIO by adding transitive closure of roles. Next, we show that SHIO+ has the finite model property by providing a upper bound on the size of models of satisfiable SHIO+-concepts with respect to sets of concept and role inclusion axioms. Additionally, we prove that if we add number restrictions to SHI+ then the satisfiability problem is undecidable.
Chan Le Duc, Myriam Lamolle
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where DLOG
Authors Chan Le Duc, Myriam Lamolle
Comments (0)
books