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.

Simple rules with SROIQ

All SROIQ axioms can be written as SWRL rules:
  • \( C \sqsubseteq D \) is C(x) → D(x) 
  • \( R \sqsubseteq S \) is R(x, y) → S(x, y) 
Some classes can be “dismantled” within rules:
  • Happy \(\sqcap\) Unhappy \(\sqsubseteq\) ⊥     corresponds to
    Happy(x) ∧ Unhappy(x) →
  • ∃placeOfResidence.∃liesIn.EUCountry \(\sqsubseteq\) EUCitizen      corresponds to
    placeOfResidence(x,y) ∧ liesIn(y,z) ∧ EUCountry(z) → EUCitizen(x)
SROIQ-role axioms provide additional rules:
  • hasMother ◦ hasBrother \(\sqsubseteq\) hasUncle 
    corresponds to
    hasMother(x,y) ∧ hasBrother(y,z) → hasUncle(x,z)

Speaker notes:

Content Tools


There are currently no sources for this slide.