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.

Noch mehr Regeln (II)

Einfacheres Beispiel: Mann(x) ∧ hatKind(x,y) → vaterVon(x,y)

Idee
Ersetze Mann(x) durch ein Rollen-Atom, so dass die Regel als allgemeine Rolleninklusion mit ◦ darstellbar wird.

Trick: mit ∃R.Self kann man Klassen in Rollen umwandeln:
  • Hilfsrolle R Mann
  • Hilfsaxiom Mann ≡ ∃R Mann .Self
  • Intuition: „Männer sind genau die Dinge, die ein R Mann -Beziehung zu sich selbst haben.“
Mit diesem Hilfsaxiom kann die Regel geschrieben werden als:
R Mann ◦ hatKind \(\sqsubseteq\) vaterVon

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.