Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2009/paper/poster_demo/158> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- 158 creator jeff-z-pan.
- 158 creator yuan-ren.
- 158 creator yuting-zhao.
- 158 type InProceedings.
- 158 label "Towards Soundness Preserving Approximation for TBox Reasoning in OWL 2".
- 158 sameAs 158.
- 158 abstract "Large scale semantic web applications require efficient and robust description logic (DL) reasoning services. In this paper, we present a soundness preserving tractable approximative reasoning approach for TBox reasoning in R, a fragment of OWL2-DL supporting ALC GCIs and role chains with 2ExpTime-hard complexity. We first rewrite the ontologies into EL+ with an additional complement table maintaining the complementary relations between named concepts, and then classify the approximation. Preliminary evaluation shows that our approach can classify existing benchmarks in large scale efficiently with a high recall.".
- 158 hasAuthorList authorList.
- 158 hasTopic Semantic_Web.
- 158 isPartOf proceedings.
- 158 title "Towards Soundness Preserving Approximation for TBox Reasoning in OWL 2".