Decidability of $SHI$ with transitive closure of roles
C. Duc. 6th Annual European Semantic Web Conference (ESWC2009), page 368-383. (June 2009)
Abstract
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.
%0 Conference Paper
%1 decidability2009
%A Duc, Chan Le
%B 6th Annual European Semantic Web Conference (ESWC2009)
%D 2009
%K Formal_Languages Inference Logic OWL Optimization_(Computer_Science) Query Rule_of_Inference SPARQL Semantic_Web decidability description_logics tableaux
%P 368-383
%T Decidability of $SHI$ with transitive closure of roles
%U http://data.semanticweb.org/conference/eswc/2009/paper/44
%X 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.
@inproceedings{decidability2009,
abstract = {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 sound and complete algorithm for deciding satisfiability of concepts in $\mathcal{SHI}_+$ with respect to a set of concept and role inclusion axioms.},
added-at = {2009-05-29T11:44:15.000+0200},
author = {Duc, Chan Le},
biburl = {https://www.bibsonomy.org/bibtex/2711a4ec466e13014fa2787d7cadc4d5e/eswc2009},
booktitle = {6th Annual European Semantic Web Conference (ESWC2009)},
interhash = {8ffd6db256d4c9cf08c3e274bf1eafc0},
intrahash = {711a4ec466e13014fa2787d7cadc4d5e},
keywords = {Formal_Languages Inference Logic OWL Optimization_(Computer_Science) Query Rule_of_Inference SPARQL Semantic_Web decidability description_logics tableaux},
month = {June},
pages = {368-383},
timestamp = {2009-05-29T11:44:15.000+0200},
title = {Decidability of $\mathcal{SHI}$ with transitive closure of roles},
url = {http://data.semanticweb.org/conference/eswc/2009/paper/44},
year = 2009
}