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.

SROIQ (rot = zusätzlich zu SHOIN)

  
 
Klassenausdrücke
Klassennamen A, B
Konjunktion C \(\sqcap\) D
Disjunktion C \(\sqcup\) D
Negation ¬C
Exist. Rollenrestr. ∃R.C
Univ. Rollenrestr. ∀R.C
Self ∃S.Self
Größer-als ≥n S.C
Kleiner-als ≤n S.C
Nominale {a}
Rollen
Rollennamen R, S, T
einfache Rollen S, T
Inverse Rollen R
Universelle Rolle U
Tbox (Klassenaxiome)
Inklusion C \(\sqsubseteq\) D
Äquivalenz C ≡ D
Rbox (Rollenaxiome)
Inklusion R1 \(\sqsubseteq\) R2
Allgem. Inkl. \(R_1^{(-)}\circ\ldots \circ R_n^{(-)}\sqsubseteq R\) R
Transitivität Tra(R)
Symmetrie Sym(R)
Reflexivität Ref(R)
Irreflexivität Irr(S)
Disjunktheit Dis(S,T)
Abox (Fakten)
Klassenzugehörigkeit C(a)
Rollenbeziehung R(a,b)
Neg. Rollenbeziehung ¬S(a,b)
Gleichheit a ≈ b
Ungleichheit a \(\not\approx\) b

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.