RIF Regeln
Zur Bearbeitung dieser Aufgabe verwenden Sie bitte das Applet weiter unten auf dieser Seite, welches die LUPOSDATE-Semantic Web Datenbank verwendet. Zur Einführung in die Bedienung des Appletes können Sie sich das folgende Video ansehen. Die untere, rechte Seite im Player aktiviert den Vollbildschirm-Modus, aus dem Sie mittels Drücken der Escape-Taste wieder zurück auf diese Seite gelangen...Please activate Javascript to see this video!
Zur Lösung dieser Aufgabe können Sie die RIF BLD Spezifikation verwenden.Die folgenden Fakten seien gegeben:
Document(
Base(<http://example.de#>)
Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>)
Group
(
:verheiratet(:Daniel :Daniela)
:verheiratet(:Peter :Petra)
:verheiratet(:Paula :Paul)
:verheiratet(:Inga :Klaus)
:verheiratet(:Josef :Josefine)
:verheiratet(:Herbert :Ida)
:verheiratet(:Fritz :Marianne)
:KindVon(:Josef :Inga)
:KindVon(:Josef :Klaus)
:KindVon(:Paul :Inga)
:KindVon(:Paul :Klaus)
:KindVon(:Inga :Peter)
:KindVon(:Inga :Petra)
:KindVon(:Daniel :Paul)
:KindVon(:Daniel :Marianne)
:KindVon(:Marianne :Ida)
:KindVon(:Marianne :Herbert)
:KindVon(:Sabine :Eva)
:KindVon(:Sabine :Egon)
)
)
Bitte entwickeln Sie RIF Regeln für folgende Problemstellungen und testen Ihre Anfragen mit einem Anfrageauswerter im Applet.
- Bestimme alle Großeltern.
- Bestimme alle Vorfahren.
- Bestimme alle Nachfahren.
- Bestimme alle Verwandten von :Paul.
- Bestimme alle Blutsverwandten von :Paul.
- Bestimme alle ehelichen Kinder.
- Bestimme alle unverheirateten Personen.
Applet ist gestestet mit Java Runtime Environment (JRE) 1.7.
Falls das Applet blockiert wird, beachten Sie bitte diese Seite.
Das Applet kann auch mittels Java Web Start hier gestartet werden. (Jedoch treten Probleme bei Verwendung von IcedTea/OpenJDK auf!)
Bitte senden Sie Kommentare, Kritik und Bug-Reports an LUPOSDATE.
Die Lösung zu dieser Aufgabe finden Sie hier. Bitte nur zum Vergleichen mit Ihrer Lösung verwenden und nicht während der Aufgabenbearbeitung.