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,z) ∧ {FEST}(z) ∧ Uni(x) ∧ Doktorand(y) ∧ betreutVon–(w,y) → professorVon(w,y)Nächster Schritt:
Falls im Rumpf ein Atom R(x,y) vorkommt, so dass y in keinem anderen zweistelligen Atom der Regel auftritt:
-
Wenn der Rumpf n einstellige Atome
C 1 (y),...,C n (y)
enthält, dann definiere \(E:=C_1\sqcap\ldots\sqcap C_n\) und entferneC 1 (y),...,C n (y)
aus dem Rumpf. Andernfalls definiere \(E := \top\). -
Ersetze
R(x,y)
durch∃R.E(x)
.
R(x,y)
gibt.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.