Inproceedings933: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
| Zeile 31: | Zeile 31: | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
|Download=2005_933_Hitzler_Resolution-Base_1.pdf | |Download=2005_933_Hitzler_Resolution-Base_1.pdf | ||
| − | |Projekt= | + | |Projekt=SEKT, SmartWeb, KAON2, KnowledgeWeb, |
|Forschungsgruppe= | |Forschungsgruppe= | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Deduktive Datenbanken |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Logik |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Semantic Web |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Künstliche Intelligenz |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Logikprogrammierung |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Wissensrepräsentationssprachen |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Nichtmonotones Schließen |
}} | }} | ||
Version vom 11. September 2009, 02:06 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
SEKT, SmartWeb, KAON2, KnowledgeWeb
Wissensrepräsentationssprachen, Deduktive Datenbanken, Logik, Nichtmonotones Schließen, Logikprogrammierung, Künstliche Intelligenz, Semantic Web