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.
Übung
Konvertieren Sie folgende Regel in SROIQ-Axiome:arbeitetIn(w,x) ∧ anstellung(w,z) ∧ {FEST}(z) ∧ Uni(x) ∧ Doktorand(y) ∧ betreutVon(y,w) → professorVon(w,y)Nächster Schritt:
Für jedes Paar von Variablen
x
und
y
: Sind
x
und
y
im
Abhängigkeitsgraph nicht verbunden, d.h. es gibt keinen Pfad
zwischen
x
und
y
, dann füge im Rumpf
U(x,y)
ein.
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.