Data Portal @ linkeddatafragments.org

Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/eswc2009/paper/44> ?p ?o. }

• 44 creator chan-le-duc.
• 44 type InProceedings.
• 44 label "Decidability of $\mathcal{SHI}$ with transitive closure of roles".
• 44 sameAs 44.
• 44 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.".
• 44 hasAuthorList authorList.
• 44 hasTopic Formal_languages.
• 44 hasTopic Inference.
• 44 hasTopic Logic.
• 44 hasTopic Optimization_(computer_science).
• 44 hasTopic Query.
• 44 hasTopic Rule_of_inference.
• 44 hasTopic SPARQL.
• 44 hasTopic Semantic_Web.
• 44 isPartOf proceedings.
• 44 keyword "OWL".
• 44 keyword "decidability".
• 44 keyword "description logics".
• 44 keyword "tableaux".
• 44 title "Decidability of $\mathcal{SHI}$ with transitive closure of roles".