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

Kombinierte SWRL-Wissensbasis (Datalog + Beschreibungslogik):

  1. Vegetarier(x) ∧ Fischprodukt(y) → magNicht(x,y)
  2. hatBestellt(x,y) ∧ magNicht(x,y) → Unglücklich(x)
  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) →
  7. ∃hatBestellt.ThaiCurry(markus)
  8. ThaiCurry ⊑ ∃enthält.Fischprodukt
Wir können folgern:
Gericht(ThaiCurry)
magNicht(markus,ThaiCurry)
Unglücklich(markus)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.