Formale Semantik von OWL

Auszug

In Kapitel 5 haben wir OWL syntaktisch eingeführt und dessen Semantik — inklusive des Schlussfolgerns — intuitiv besprochen. In diesem Kapitel werden wir Semantik und Schlussfolgern streng formal einführen, wobei wir dazu logische Grundlagen voraussetzen müssen, wie sie in etwa in Anhang A kurz dargestellt werden. Das Kapitel ist zweigeteilt: In den Abschnitten 6.1 und 6.2 behandeln wir zunächst die modelltheoretische Semantik von OWL, während wir in Abschitt 6.3 auf Algorithmen für automatisches Schlussfolgern eingehen werden. Die modelltheoretische Semantik werden wir auf zwei verschiedene, aber äquivalente Weisen erklären, nämlich zum einen durch Rückführung auf die Prädikatenlogik erster Stufe in Abschnitt 6.1 und zum anderen als sogenannte extensionale Semantik in Abschnitt 6.2.