%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 }