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:
∃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\).

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.