Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2013/proceedings-1/paper-17> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- paper-17 type InProceedings.
- paper-17 label "A decision procedure for SHOIQ with transitive closure of roles".
- paper-17 sameAs paper-17.
- paper-17 abstract "The Semantic Web makes an extensive use of the OWL DL ontology language, underlied by the SHOIQ description logic, to formalize its resources. In this paper, we propose a decision procedure for this logic extended with the transitive closure of roles in concept axioms, a feature needed in several application domains. The most challenging issue we have to deal with when designing such a decision procedure is to represent infinitely non-tree-shaped models, which are different from those of SHOIQ ontologies. To address this issue, we introduce a new blocking condition for characterizing models which may have an infinite non-tree-shaped part.".
- paper-17 hasAuthorList authorList.
- paper-17 isPartOf proceedings-1.
- paper-17 title "A decision procedure for SHOIQ with transitive closure of roles".