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

Sources

There are currently no sources for this slide.