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.Uni(w) ∧ ∃anstellung.{FEST}(w) ∧ Doktorand(y) ∧ betreutVon–(w,y) → professorVon(w,y)Nächster Schritt:
Für jedes einstellige Atom
C(z)
im Rumpf:
Erzeuge ein neues Axiom
C ≡ ∃R
C
.Self
(die Rolle
R
C
ist neu) und
ersetze
C(z)
durch
R
C
(z,z)
.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.