Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2008/paper/research/341> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- 341 creator bijan-parsia.
- 341 creator pavel-klinov.
- 341 type InProceedings.
- 341 label "Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach".
- 341 sameAs 341.
- 341 abstract "This paper describes the first steps towards developing a methodology for testing and evaluating the performance of reasoners for the probabilistic description logic P-SHIQ(D). Since P-SHIQ(D) is a relatively new formalism for handling uncertainty in DL knowledge bases, no such methodology has been proposed so far. Moreover there are no sufficiently large probabilistic ontologies to be used as test suites. In addition, since the reasoning services in P-SHIQ(D) are mostly query oriented, there is no single problem (like classification or realization in classical DL) that could be an obvious candidate for benchmarking. All these issues make it hard to evaluate the performance of reasoners, reveal the complexity bottlenecks and assess the effect of optimization strategies. This paper aims at alleviating these important problems by making the following contributions: First, it describes a probabilistic ontology that has been developed for the real-life domain of breast cancer and which poses significant challenges for the state-of-art P-SHIQ(D) reasoners. Second, it explains a systematic approach to generating a series of probabilistic reasoning problems that allow to evaluate the reasoning performance and shed light on what makes reasoning in P-SHIQ(D) hard in practice. Finally, the paper explains the optimization strategy that helps to overcome some of the difficulties of reasoning revealed during the experiments. The impact of the strategy is also demonstrated using the developed evaluation methodology.".
- 341 hasAuthorList authorList.
- 341 hasTopic Semantic_Web.
- 341 isPartOf proceedings.
- 341 keyword "Description Logic".
- 341 keyword "Evaluation".
- 341 keyword "Optimization".
- 341 keyword "Probabilistic Reasoning".
- 341 title "Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach".