2009 | OriginalPaper | Buchkapitel
Decidability of with Transitive Closure of Roles
verfasst von : Chan Le Duc
Erschienen in: The Semantic Web: Research and Applications
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper investigates a Description Logic, namely
$\mathcal{SHI}_+$
, which extends
$\mathcal{SHI}$
by adding transitive closure of roles. The resulting logic
$\mathcal{SHI}_+$
allows transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. We show that
$\mathcal{SHI}_+$
is decidable by devising a terminating, sound and complete algorithm for deciding satisfiability of concepts in
$\mathcal{SHI}_+$
with respect to a set of concept and role inclusion axioms.