Deck overview for semantic-data-web-lecture-series

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.

ReasoningPublished

Creatormirette
Last Modified18th January 2018
Deck metadata
English
19
2
0
0
0

Content Tools

Sources

Example adapted from Diego Calvanese, Finite Model Reasoning in Description Logics, KR 1996, p. 292–303. (originally from slide slide Tableau algorithm for \(\mathcal{ALC}\) TBoxes With Blocking - (In)finite Models)