1

Paraconsistent Resolution for Four-valued Description Logics

Yue Ma1,2, Pascal Hitzler1, Zuoquan Lin2

1 AIFB Institute, Universität Karlsruhe, Germany 2 School of Mathematical Science, Peking University, China 26th, Mar. 2007@ Koblenz

Y.Ma, P.Hitzler, Z.Lin 2 Mar.07, Koblenz

Semantic Web from Logical View-- An official project of w3c, founded by Tim Berners-Lee, the web’s inventor

Flexible Syntax + Formal Semantics OWL (Ontology Web Language)

Once a piece of information is tagged, Semantic Web can reason with contents

SecurityTokenType TokenType

UsernamerToken SecurityTokenType

SecurityTokenType(a) implies TokenType(a)UsernamerToken is a subclass of TokenType

OWL

Y.Ma, P.Hitzler, Z.Lin 3 Mar.07, Koblenz

The language Reasoning tasks correspond to the

entailment of a FOL KB The reasoners:

Tableau-based decision procedures FaCT++, Pellet, RacerPro, Cerebra Engine…

Resolution-based decision procedure: KAON2 (http://kaon2.semanticweb.org/)

Description Logics (decidable subsets of FOL)

Y.Ma, P.Hitzler, Z.Lin 4 Mar.07, Koblenz

Inconsistency Handling

Information may be distributed and multi-authored, be assembled from different sources and reused.

Ontology Learning and Mapping Approaches:

Pinpoint, debuggingParaconsistent semantics

Y.Ma, P.Hitzler, Z.Lin 5 Mar.07, Koblenz

Our Work [1]

The definition of

Y.Ma, P.Hitzler, Z.Lin 6 Mar.07, Koblenz

Our Work [2]

4-valued Entailment v.s. Unsatisfiability Translating KB into Clauses 4-valued Ordered Resolution Decision Procedure

Y.Ma, P.Hitzler, Z.Lin 7 Mar.07, Koblenz

Thank you!

Refer to poster for more details