A Tableau Algorithm for Handling Inconsistency in OWL

presenter:Liping Zhou, School of Mathematical Sciences, Peking University
published: July 28, 2009,   recorded: June 2009,   views: 64
You might be experiencing some problems with Your Video player.

Slides

Slides
0:00 A Tableau Algorithm for Handling Inconsistency in OWL
0:17 Inconsistency - quotes
1:09 Outline
1:28 Motivation (1)
1:33 Motivation (2)
1:49 Motivation (3)
2:15 Motivation (4)
2:59 Motivation (5)
3:13 Motivation (6)
3:29 Motivation (7)
3:42 Motivation (8)
3:53 Quasi-classical DL ALCNQ (1)
4:51 Quasi-classical DL ALCNQ (2)
5:17 Quasi-classical DL ALCNQ (3)
5:21 Quasi-classical DL ALCNQ (4)
5:31 Quasi-classical DL ALCNQ (5)
5:31 Quasi-classical DL ALCNQ (6)
5:55 Quasi-classical DL ALCNQ (7)
6:43 Quasi-classical DL ALCNQ (8)
7:18 Quasi-classical DL ALCNQ (9)
7:31 Quasi-classical DL ALCNQ (10)
7:51 Quasi-classical DL ALCNQ (11)
8:13 Quasi-classical DL ALCNQ (12)
8:43 Quasi-classical DL ALCNQ (13)
9:49 Quasi-classical DL ALCNQ (14)
10:48 Quasi-classical DL ALCNQ (15)
11:38 Quasi-classical DL ALCNQ (16)
12:12 Quasi-classical DL ALCNQ (17)
12:58 A Tableau Algorithm for ALCNQ (1)
13:29 A Tableau Algorithm for ALCNQ (2)
13:32 A Tableau Algorithm for ALCNQ (3)
13:56 A Tableau Algorithm for ALCNQ (4)
14:05 A Tableau Algorithm for ALCNQ (5)
15:00 A Tableau Algorithm for ALCNQ (6)
15:10 A Tableau Algorithm for ALCNQ (7)
15:29 A Tableau Algorithm for ALCNQ (8)
15:40 A Tableau Algorithm for ALCNQ (9)
15:51 A Tableau Algorithm for ALCNQ (10)
15:58 A Tableau Algorithm for ALCNQ (11)
16:06 A Tableau Algorithm for ALCNQ (12)
16:19 A Tableau Algorithm for ALCNQ (13)
16:37 A Tableau Algorithm for ALCNQ (14)
16:47 Conclusions (1)
16:55 Conclusions (2)
17:03 Conclusions (3)
17:13 Conclusions (4)
17:24 Future works (1)
17:33 Future works (2)
17:46 Future works (3)
17:54 Thank you for your attention!

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.
Lecture popularity: You need to login to cast your vote.

Description

In Semantic Web, the knowledge sources usually contain inconsistency because they are constantly changing and from different view points. As is well known, as based on the description logic of the Semantic Web, OWL is lack of the ability of tolerating inconsistent or incomplete data. Recently, the research in handling inconsistency in OWL becomes more and more important. In this paper, we present a paraconsistent OWL called quasi-classical OWL to handle inconsistency with holding important inference rules such as modus tollens, modus ponens, and disjunctive syllogism. We propose a terminable, sound and complete tableau algorithm to implement paraconsistent reasoning in quasi-classical OWL. In comparison with other approaches to handle inconsistency in OWL, our approach enhances the ability of reasoning by integrating paraconsistent reasoning with important classical inference rules.

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: