Current Slide

Übung

Konvertieren Sie folgende Regel in SROIQ-Axiome:

∃R1.Self ≡ ∃arbeitetIn.Uni
∃R2.Self ≡ ∃anstellung.{FEST}
∃R3.Self ≡ Doktorand

R1(w,w) ∧ R2(w,w) ∧ R3(y,y) ∧ betreutVon−(w,y) → professorVon(w,y)

Nächster Schritt:
Die Regel hat nun die Form R1(x,x2) ∧ ... ∧ Rn(xn,y) → S(x,y).
Ersetze sie durch \(R_1\circ\ldots\circ R_n\sqsubseteq S\).