Semantic in Bullets - Rules with RIF/SWRL
- OWL-Konzept als Abfragesprache ungenügend
- SPARQL für RDF keine direkte OWL Unterstützung
- OWL beschreibt viele mögl. Interpretationen
- mit unendlich vielen Elementen
- Ziel: ausdrucksstärkere Anfragen nach Individuen
- konjunktive Anfragen
- logische Formeln
- OWL kann Existenz unbenannter Elemente implizieren
- SPARQL Erweiterung müsste alle herleitbaren Ergebniselemente zurückliefern
- Blank Node vs unbenanntes Element
- Schlussfolgern sehr komplex (NExpTime vollständig)
- Konjunktiveanfragen sehr komplex, Entscheidbarkeit nicht bekannt
- Regelsprachen
- Logische Regeln (Implikation in PL)
- Prozedurale Regeln
- Logikprogrammierung
- Prädikatenlogische Regeln
- Regeln als Hornklauseln (Implikationsformeln)
- Disjunktive Regeln
- Disjunktion von mehreren nicht negierten Atomen
- Klausel
- Disjunktion von negierten oder nicht negierten Atomen
- Hornklausel
- Klausel mit max. einem nicht negiertem Atom
- Definite Klausel
- Klausel mit genau einem nicht negiertem Atom
- Fakt
- Klausel aus einem einzigen nicht negiertem Atom
- DATALOG
- besteht aus Hornklauseln ohne Funktionssymbole
- Konjunktion, Konstanten, Allquantoren, Prädikatssymbol
- ExpTime berechenbar
- Regeln für OWL mit SWRL
- Regeln werden formuliert als Implikation eines Antezedenz(Prämisse) und einer Konsequenz
- SWRL ist unentscheidbar, OWL2 DL N2ExpTime
- praktisch
- Algorithmen die alle Schlussfolgerung für einige Wissensbasen ziehen
- Algos die einige Schlussfolgerungen für alle SWRL Wissenbasen ziehen
- Entscheidbare Fragmente
- Description Logic Rules
- Regeln die bereits in OWL2 ausgedrückt werden können
- indirekt durch OWL Reasoner untestützt
- DL-Safe
- jede Variable muss im Rumpf(Prämisse) ohne OWL-Klasse oder Rollen auftreten
- Regeln nur für bekannte Individuen
- DL-safety lässt sich erzwingen
- RIF- Rule Interchange Format
- W3C Standard zum Austausch von Regeln für Rule Engines