Paraconsistent reasoning


Jump to: navigation, search

In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuracies. Practical reasoning techniques for ontologies therefore will have to be tolerant to this kind of data, including the ability to handle inconsistencies in a meaningful way. For this purpose, we employ paraconsistent reasoning based on four-valued logic, which is a classical method for dealing with inconsistencies in knowledge bases.

The ParOWL Paraconsistent OWL Reasoner

  • The approach is described in Yue Ma, Pascal Hitzler, Zuoquan Lin, Algorithms for Paraconsistent Reasoning with OWL, In: Enrico Franconi, Michael Kifer, Wolfgang May (Eds.), The Semantic Web: Research and Applications. Proceedings of the 4th European Semantic Web Conference, ESWC2007, Innsbruck, Austria, June 2007. Springer Lecture Notes in Computer Science 4519, pp. 399-413.

Paraconsistent Reasoning Algorithms


  • up: <ask>Paraconsistent reasoning</ask>
Personal tools