Techreport1390: Unterschied zwischen den Versionen
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= | + | |Rank=3 |
− | |Author= | + | |Author=Zuoquan Lin |
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
|Author=Pascal Hitzler | |Author=Pascal Hitzler | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Techreport | {{Techreport | ||
Zeile 16: | Zeile 16: | ||
|Month=Dezember | |Month=Dezember | ||
|Institution=AIFB, University of Karlsruhe | |Institution=AIFB, University of Karlsruhe | ||
− | | | + | |Archivierungsnummer=1390 |
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
Zeile 35: | Zeile 35: | ||
implementation, called ParOWL. | implementation, called ParOWL. | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
− | |Download= | + | |Download=2006_1390_Ma_Paraconsistent__1.pdf, 2006_1390_Ma_Paraconsistent__2.pdf |
|DOI Name= | |DOI Name= | ||
− | | | + | |Projekt=NeOn, SmartWeb, ReaSem, KAON2, |
− | | | + | |Forschungsgruppe=Wissensmanagement |
− | | | + | }} |
+ | {{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
Published: 2006
Dezember
Institution: AIFB, University of Karlsruhe
Archivierungsnummer: 1390
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
Wissensrepräsentation, Wissensrepräsentationssprachen, Logik, Nichtmonotones Schließen, Künstliche Intelligenz, Semantic Web