Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
RIF Dokumente
|
|
||
|
Dokument
|
Beschreibung
|
|
|
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
|
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Sources
There are currently no sources for this slide.
