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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.