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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.