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.

Beispiel

DL Rules in der früheren SWRL-Wissensbasis:
  • (1) Vegetarier(x) ∧ Fischprodukt(y) → magNicht(x,y)
  • (3) hatBestellt(x,y) → Gericht(y)
  • (4) magNicht(x,z) ∧ Gericht(y) ∧ enthält(y,z) → magNicht(x,y)
  • (5) → Vegetarier(markus)
  • (6) Glücklich(x) ∧ Unglücklich(x) →
Regel (2) hatBestellt(x,y) ∧ magNicht(x,y) → Unglücklich(x) ist keine DL Rule

Anmerkung: Description Logic Rules müssen nach Umwandlung in SROIQ natürlich auch die Bedingungen an einfache Rollen und reguläre RBoxen erfüllen!

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.