Links: OWL und Prädikatenlogik
- Markus Krötzsch, Pascal Hitzler, Denny Vrandecic :: How to reason with OWL in a logic programming system
Das PDF beschreibt Schlussfolgerungsmechanismen auf Grundlage von OWL-DL (im Vergleich zu F-Logic) und diskutiert die Einsatzmöglichkeiten von OWL-DL in logikbasierten Wissenssystemen. - Robin Boast :: Semantics, Categories and Knowledge
Ein einführendes Blogposting zu Semantics und Wissen im WWW, von 2007. - Die OWL-Dokumentation beim W3C
Grundlegende Informationen zu OWL. - Konstantin Solomatov :: Knowledge Representation in MPS
Vorschlag für eine Prolog-ähnliche Logiksprache, von 2006.
Geeko und
Hyperlink Life und
Library Science :: Hyperlink Life, inference, owl, prädikatenlogik, predicate logic, reasoning Comments
hinterlass nen komment, baby! (wenn du denn möchtest)



Artikel
Kommentare



