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)
SROIQ-Rollenaxiome liefern weitere Regeln:
  • hatMutter ◦ hatBruder \(\sqsubseteq\) hatOnkel       
    entspricht
    hatMutter(x,y) ∧ hatBruder(y,z) → hatOnkel(x,z)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.