Download
paraconsistent resolution for four valued description logics n.
Skip this Video
Loading SlideShow in 5 Seconds..
Paraconsistent Resolution for Four-valued Description Logics PowerPoint Presentation
Download Presentation
Paraconsistent Resolution for Four-valued Description Logics

Paraconsistent Resolution for Four-valued Description Logics

74 Vues Download Presentation
Télécharger la présentation

Paraconsistent Resolution for Four-valued Description Logics

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

  1. Paraconsistent Resolution for Four-valued Description Logics Yue Ma1,2, Pascal Hitzler1, Zuoquan Lin2 1 AIFB Institute, Universität Karlsruhe, Germany 2 SchoolofMathematical Science,Peking University,China 26th, Mar. 2007@ Koblenz

  2. SecurityTokenTypeTokenType OWL UsernamerToken SecurityTokenType 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(a) implies TokenType(a) UsernamerTokenis a subclass of TokenType Y.Ma, P.Hitzler, Z.Lin

  3. Description Logics (decidable subsets of FOL) • 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/) Y.Ma, P.Hitzler, Z.Lin

  4. Inconsistency Handling • Information may be distributed and multi-authored, be assembled from different sources and reused. • Ontology Learning and Mapping • Approaches: • Pinpoint, debugging • Paraconsistent semantics Y.Ma, P.Hitzler, Z.Lin

  5. Our Work [1] • The definition of Y.Ma, P.Hitzler, Z.Lin

  6. 4-valued Entailment v.s. Unsatisfiability • Translating KB into Clauses • 4-valued Ordered Resolution • Decision Procedure Our Work [2] Y.Ma, P.Hitzler, Z.Lin

  7. Refer to poster for more details Thank you! Y.Ma, P.Hitzler, Z.Lin