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

Was ist mit
magNicht(x,z) ∧ Gericht(y) ∧ enthält(y,z) → magNicht(x,y)?

  • Regelkopf mit zwei Variablen → nicht durch Subklassen-Axiom darstellbar
  • Regelrumpf enthält Klassenausdrücke → nicht durch Subproperty-Axiom darstellbar

Trotzdem ist diese Regel in OWL 2 darstellbar!


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.