A Tableau Algorithm for Handling Inconsistency in OWL
published: July 28, 2009, recorded: June 2009, views: 64
Slides
Related content
34:14
48 views - Krzysztof Janowicz, 2009
02:28:57
1797 views - Bijan Parsia, 2006
03:21
4029 views - Antal van den Bosch, 2007
01:15:47
616 views - Chris Welty, 2007
05:52:44
3176 views - Aldo Gangemi, Sean Bechhofer, Asunción Gómez-Pérez, Jim Hendler, 2008
03:11:56
2026 views - Andrew Blake, 2007
05:13:53
110 views - Michael Hausenblas, Martin Hepp, 2009
47:39
798 views - Arthur Mattuck, 2003
48:40
1047 views - Walter H. G. Lewin, 1999
29:53
67 views - Valentin Tablan, 2008
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.
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.
See Also:
Download slides:
eswc09_zhou_ataf_01.pdf (1.7 MB)
Launch in a standalone WM Player
Switch to Windows Media Player
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: