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.
Einfache Regeln mit SROIQ
Alle SROIQ-Axiome können als SWRL-Regeln geschrieben werden:
- C \(\sqsubseteq\) D entspricht C(x) → D(x)
- R \(\sqsubseteq\) S entspricht R(x,y) → S(x,y)
Einige Klassen können innerhalb von Regeln „zerlegt“ werden:
-
Glücklich \(\sqcap\) Unglücklich \(\sqsubseteq\) ⊥
entspricht
Glücklich(x) ∧ Unglücklich(x) → -
∃wohnort.∃liegtIn.EULand \(\sqsubseteq\) EUBürger
entspricht
wohnort(x,y) ∧ liegtIn(y,z) ∧ EULand(z) → EUBürger(x)
-
hatMutter ◦ hatBruder \(\sqsubseteq\) hatOnkel
entspricht
hatMutter(x,y) ∧ hatBruder(y,z) → hatOnkel(x,z)
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.