Stage-oe-small.jpg

Inproceedings933: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
K (Added from ontology)
K (Wikipedia python library)
 
Zeile 32: Zeile 32:
 
|Download=2005_933_Hitzler_Resolution-Base_1.pdf
 
|Download=2005_933_Hitzler_Resolution-Base_1.pdf
 
|Projekt=SEKT, SmartWeb, KAON2, KnowledgeWeb,  
 
|Projekt=SEKT, SmartWeb, KAON2, KnowledgeWeb,  
|Forschungsgruppe=
+
|Forschungsgruppe=Wissensmanagement
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl

Aktuelle Version vom 16. Oktober 2009, 17:25 Uhr


Resolution-Based Approximate Reasoning for OWL DL


Resolution-Based Approximate Reasoning for OWL DL



Published: 2005 November
Herausgeber: Y. Gil et al.
Buchtitel: Proceedings of the 4th International Semantic Web Conference, Galway, Ireland, November 2005
Ausgabe: 3729
Reihe: Lecture Notes in Computer Science
Seiten: 383-397
Verlag: Springer, Berlin

Referierte Veröffentlichung

BibTeX

Kurzfassung
[[Abstract::We propose a new technique for approximate ABox reasoning with OWL DL ontologies. It comes as a side-product of recent research results on the relationship between OWL DL and disjunctive datalog [1–4]. Essentially, it relies on a new transformation of OWL DL ontologies into negation-free disjunctive datalog, and on the idea of performing standard resolution over disjunctive rules by treating them as if they were non-disjunctive ones. We analyse our reasoning approach by means of non-monotonic reasoning techniques, and present an implementation, called Screech.]]

Download: Media:2005_933_Hitzler_Resolution-Base_1.pdf

Projekt

SEKTSmartWebKAON2KnowledgeWeb



Forschungsgruppe

Wissensmanagement


Forschungsgebiet

Wissensrepräsentationssprachen, Deduktive Datenbanken, Logik, Nichtmonotones Schließen, Logikprogrammierung, Künstliche Intelligenz, Semantic Web