SlideWiki | undefined

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.

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:

There are currently no sources for this slide.

Current Slide