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.

Semantics of OWL

The semantics of OWL is based on Description Logics, which have a model theoretic formal semantics.

   OWL DL corresponds to \(\mathcal{SHOIN}(D)\).

   OWL 2 corresponds to \(\mathcal{SROIQ}(D)\).

In this lecture we will explain the semantics of OWL DL by describing the description logic \(\mathcal{SHOIN}(D)\)


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.