Inproceedings1384: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
| Zeile 37: | Zeile 37: | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Logikprogrammierung |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Semantic Web |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| Zeile 46: | Zeile 46: | ||
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Logik |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
| − | |Forschungsgebiet= | + | |Forschungsgebiet=Nichtmonotones Schließen |
}} | }} | ||
Version vom 11. September 2009, 01:57 Uhr
Any-World Access to OWL from Prolog
Any-World Access to OWL from Prolog
Published: 2006
Dezember
Herausgeber: Joachim Hertzberg, Michael Beetz, Roman Englert
Buchtitel: KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 2007, Proceedings
Ausgabe: 4667
Reihe: Lecture Notes in Computer Science
Seiten: 84-98
Verlag: Springer, Berlin
Referierte Veröffentlichung
BibTeX
Kurzfassung
The W3C standard OWL provides a decidable language for
representing ontologies. While its use is rapidly spreading, efforts are
being made by researchers worldwide to augment OWL with additional
expressive features or by interlacing it with other forms of knowledge
representation, in order to make it applicable for even further purposes.
In this paper, we integrate OWL with one of the most successful and
most widely used forms of knowledge representation, namely Prolog, and
present a hybrid approach which layers Prolog on top of OWL in such a
way that the open-world semantics of OWL becomes directly accessible
within the Prolog system.
Download: Media:2006_1384_Matzner_Any-World_Acces_1.pdf,Media:2006_1384_Matzner_Any-World_Acces_2.pdf
Logik, Nichtmonotones Schließen, Logikprogrammierung, Künstliche Intelligenz, Semantic Web