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 entferne C 1 (y),...,C n (y) aus dem Rumpf. Andernfalls definiere \(E := \top\).
  • Ersetze R(x,y) durch ∃R.E(x) .
Wiederhole Schritt 4 solange es solche R(x,y) gibt.

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.