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.

Unentscheidbarkeit von SWRL

SWRL ist unentscheidbar

Es gibt keinen Algorithmus, mit dem man alle logischen Schlüsse aus allen SWRL-Wissensbasen ziehen kann, selbst wenn man beliebig (endlich) viel Rechenzeit und Speicher zur Verfügung hat.

Praktisch möglich dagegen sind:

  1. Algorithmen, die alle Schlüsse aus einem Teil der  SWRL-Wissensbasen ziehen
  2. Algorithmen, die aus allen SWRL-Wissensbasen einen Teil der Schlüsse ziehen

Beides ist trivial möglich, wenn der entsprechende „Teil“ nur sehr klein ist.


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.