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.

Reasoning Services (2)

Instance Checking

\[ \mathcal{K} \models C(a)\]

The problem of checking whether the assertion \(C(a)\) is satisfied w.r.t. \(\mathcal{K}\), i.e. whether \(a^{\mathcal{I}} \in C^{\mathcal{I}}\) in every model \(\mathcal{I}\) of \(\mathcal{K}\).

Retrieval

\[\{a | \mathcal{K} \models C(a)\}\]

The problem of finding all individuals \(a\) which belong to concept \(C\) w.r.t. \(K\), i.e. find all \(a\) for a given \(C\) such that \(a^{\mathcal{I}}\in C^{\mathcal{I}}\) in every model \(\mathcal{I}\) of \(\mathcal{K}\).

Realization

\[\{C | \mathcal{K} \models C(a)\}\]

The problem of finding all named classes \(C\) which an indivdual \(a\) belongs to w.r.t. \(K\), i.e. find all \(C\) for a given \(a\) such that \(a^{\mathcal{I}}\in C^{\mathcal{I}}\) in every model \(\mathcal{I}\) of \(\mathcal{K}\).


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.