Current Slide

RIF-BLD:
The Basic Logic Dialect

definite Hornklauseln, Standard-Prädikatenlogik-Semantik

RIF-PRD:
The Production Rule Dialect

deckt Vielzahl von Produktionsregelsystemen ab

RIF-Core:
The Core Dialect

ermöglicht Regelaustausch zwischen Systemen mit Logikregeln und Produktionsregeln

RIF-FLD:
The Framework for Logic Dialect

logisches Erweiterungsframework um Anstrengungen zu minimieren neue Logikdialekte zu definieren

RIF-RDF+OWL:
RDF und OWL Kompatibilität

Kombination von RIF mit RDF oder OWL

RIF-DTB:
Datatypes und Build-ins

enthält Datentypen, Funktionen und Prädikate für RIF-Dialekte

RIF+XML-Data:

spezifiziert, wie RIF mit XML Datenquellen kombiniert werden kann (Import, Semantik)

RIF-OWLRL:
OWL 2 RL in RIF

Axiomatisierung von OWL 2 RL in RIF

RIF in RDF

umkehrbares Mapping von RIF auf RDF

RIF-UCR:
Use Cases and requirements

Sammlung von Anwendungsfällen

RIF-Test:
Test Cases

Konformitätstests für RIF-Implementierungen