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,FEST) ∧ Uni(x) ∧ Doktorand(y) ∧ betreutVon(y,w) → professorVon(w,y)
Nächster Schritt:
Normalisiere die Regel.
  • Für jedes Vorkommen einer Konstante a der Regel:
    Füge im Rumpf {a}(x) mit einer neuen Variable x ein und ersetze das Vorkommen von a durch x.
  • Ersetze jedes Atom R(x,x) durch ∃R.Self(x).


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.