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.

Wie schwer ist SWRL

  • Logisches Schließen in OWL DL ist NEXPTIME-vollständig.
  • Logisches Schließen in OWL 2 DL ist 2NEXPTIME-vollständig.
  • Logisches Schließen in Datalog ist EXPTIME-vollständig.

→ Wie schwer ist logisches Schließen in SWRL?

Logisches Schließen in SWRL ist unentscheidbar
(für OWL und damit auch für OWL 2).


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.