event thumbnail image
Research 1

Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach

author: Pavel Klinov, University of Cincinnati

Description

This paper describes the first steps towards developing a methodology for testing and evaluating the performance of reasoners for the probabilistic description logic P- ${\ensuremath{\mathcal{SHIQ}}(D)}$ . Since it is a new formalism for handling uncertainty in DL ontologies, no such methodology has been proposed. There are no sufficiently large probabilistic ontologies to be used as test suites. In addition, since the reasoning services in P- ${\ensuremath{\mathcal{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 value of optimization strategies. This paper addresses 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 which poses significant challenges for the state-of-art P- ${\ensuremath{\mathcal{SHIQ}}(D)}$ reasoners. Second, it explains a systematic approach to generating a series of probabilistic reasoning problems that enable evaluation of the reasoning performance and shed light on what makes reasoning in P- ${\ensuremath{\mathcal{SHIQ}}(D)}$ hard in practice. Finally, the paper presents an optimized algorithm for the non-monotonic entailment. Its positive impact on performance is demonstrated using our evaluation methodology.

You might be experiencing some problems with Your Video player.
Slides
0:00 Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach
0:22 Next (1)
0:27 Uncertainty: ubiquitous and inevitable
2:01 What we are doing
2:49 Next (2)
2:52 Knowledge Representation and Reasoning in P-SHIQ(D) (1)
3:49 Knowledge Representation and Reasoning in P-SHIQ(D) (2)
4:08 Knowledge Representation and Reasoning in P-SHIQ(D) (3)
4:21 Knowledge Representation and Reasoning in P-SHIQ(D) (4)
4:40 Reasoning in P-SHIQ(D)
5:31 Here are the problems
6:25 Next (3)
6:28 Why optimization is difficult
7:41 Our approach
8:43 Breast Cancer Risk Assessment (BRCA) ontology
9:53 Evaluation methodology: sampling
10:43 Random sampling
11:43 Evaluation of TEnt (1)
11:44 Evaluation of TEnt (1)
12:06 Evaluation of TEnt (2)
12:35 Evaluation of TEnt (3)
12:48 Complexity metrics (1)
13:46 Complexity metrics (2)
14:32 Next (4)
14:35 PSAT evaluation results
15:14 Naive TEnt evaluation results
15:42 Discussion
16:23 TEnt optimization
16:52 Comparison of two TEnt algorithms
17:45 Next (5)
17:47 Contributions (1)
18:41 Contributions (2)
19:19 Thank you

Lecture rating

People found this lecture:
Worth seeing
because it is:
 Valuable and informative
Well presented
Easily understandable
Acceptably recorded
You need to login to cast your vote.

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.

Link this page

Would you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !

Write your own review or comment:

make sure you have javascript enabled or clear this field: