Stage-oe-small.jpg

Techreport1390: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
K (Added from ontology)
 
K (Wikipedia python library)
 
(4 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
 +
{{Publikation Erster Autor
 +
|ErsterAutorNachname=Ma
 +
|ErsterAutorVorname=Yue
 +
}}
 
{{Publikation Author
 
{{Publikation Author
|Rank=1
+
|Rank=3
|Author=Yue Ma
+
|Author=Zuoquan Lin
 
}}
 
}}
 
{{Publikation Author
 
{{Publikation Author
 
|Rank=2
 
|Rank=2
 
|Author=Pascal Hitzler
 
|Author=Pascal Hitzler
}}
 
{{Publikation Author
 
|Rank=3
 
|Author=Zuoquan Lin
 
 
}}
 
}}
 
{{Techreport
 
{{Techreport
Zeile 16: Zeile 16:
 
|Month=Dezember
 
|Month=Dezember
 
|Institution=AIFB, University of Karlsruhe
 
|Institution=AIFB, University of Karlsruhe
|ID Number=1390
+
|Archivierungsnummer=1390
 
}}
 
}}
 
{{Publikation Details
 
{{Publikation Details
Zeile 35: Zeile 35:
 
implementation, called ParOWL.
 
implementation, called ParOWL.
 
|VG Wort-Seiten=
 
|VG Wort-Seiten=
|Download=2006_1390_Ma_Paraconsistent _1.pdf, 2006_1390_Ma_Paraconsistent _2.pdf
+
|Download=2006_1390_Ma_Paraconsistent__1.pdf, 2006_1390_Ma_Paraconsistent__2.pdf
 
|DOI Name=
 
|DOI Name=
|Forschungsgebiet=Künstliche Intelligenz, Logik, Wissensrepräsentationssprachen, Nichtmonotones Schließen, Wissensrepräsentation, Semantic Web,
+
|Projekt=NeOn, SmartWeb, ReaSem, KAON2,  
|Projekt=SmartWeb, NeOn, KAON2, ReaSem,
+
|Forschungsgruppe=Wissensmanagement
|Forschungsgruppe=
+
}}
 +
{{Forschungsgebiet Auswahl
 +
|Forschungsgebiet=Semantic Web
 +
}}
 +
{{Forschungsgebiet Auswahl
 +
|Forschungsgebiet=Wissensrepräsentationssprachen
 +
}}
 +
{{Forschungsgebiet Auswahl
 +
|Forschungsgebiet=Wissensrepräsentation
 +
}}
 +
{{Forschungsgebiet Auswahl
 +
|Forschungsgebiet=Nichtmonotones Schließen
 +
}}
 +
{{Forschungsgebiet Auswahl
 +
|Forschungsgebiet=Logik
 +
}}
 +
{{Forschungsgebiet Auswahl
 +
|Forschungsgebiet=Künstliche Intelligenz
 
}}
 
}}

Aktuelle Version vom 16. Oktober 2009, 22:47 Uhr


Paraconsistent Reasoning with OWL - Algorithms and the ParOWL Reasoner




Published: 2006 Dezember
Institution: AIFB, University of Karlsruhe
Archivierungsnummer: 1390

BibTeX



Kurzfassung
In an open, constantly changing and collaborative environment like the forthcoming SemanticWeb, 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. Its transfer to OWL DL, however, necessitates the making of fundamental design choices in dealing with class inclusion, which has resulted in differing proposals for paraconsistent description logics in the literature. In this paper, we build on one of the more general approaches which due to its flexibility appears to be most promising for further investigations.We present two algorithms suitable for implementation, one based on a preprocessing before invoking a classical OWL reasoner, the other based on a modification of the KAON2 transformation algorithms. We also report on our implementation, called ParOWL.

Download: Media:2006_1390_Ma_Paraconsistent__1.pdf,Media:2006_1390_Ma_Paraconsistent__2.pdf

Projekt

NeOnSmartWebReaSemKAON2



Forschungsgruppe

Wissensmanagement


Forschungsgebiet

Wissensrepräsentation, Wissensrepräsentationssprachen, Logik, Nichtmonotones Schließen, Künstliche Intelligenz, Semantic Web