Links: OWL und Prädikatenlogik

fäb am 11. June 2008 um 16:54 Uhr | 0 Kommentare

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.

Schublade: Geeko, Hyperlink Life, Library Science | Tags: Hyperlink Life, inference, owl, prädikatenlogik, predicate logic, reasoning []

Work in progress: Logik, Ontologien, Reasoning

fäb am 5. June 2008 um 16:17 Uhr | 0 Kommentare

Für ein Ref setze ich mich gerade mit Prädikatenlogik und Reasoning auseinander. Für den Fall, dass ich vergessen hatte, warum ich damals Philosophie in die Wüste geschickt habe: hier lag der Grund.

Mein Hauptproblem: obwohl ich nach und nach via Eichhörnchenmethode die Notation und dahinterstehenden Konzepte kapiere, fehlt mir der große Zusammenhang, in Bezug auf RDF, OWL, XML und das Semantic Web. Würde das gern ausführlicher diskutieren, leider läuft mimetex hier noch nicht.

[to be continued…]

Schublade: Geeko, Library Science | Tags: laex, logic, rdf, reasoning, semantics, wordpress []