Quelltext betrachten

Das vierten Kapitel des Lehrbuchs [[Semantic Web &ndash; Grundlagen]] behandelt &ndash; nachdem im [[Kapitel 3]] Syntax und intuitive Bedeutung von RDF(S) eingeführt wurden &ndash; dessen '''formale Semantik'''. Die Notwendigkeit einer solchen wird motiviert und historisch belegt. Vorbereitend wird außerdem das Konzept der '''modelltheoretischen Semantik''' in seinen Grundzügen erläutert.

Danach werden aufeinander aufbauend drei Arten von '''Interpretationen''' (einfache Interpretation, RDF-Interpretation sowie RDFS-Interpretation) eingeführt, über welche drei verschiedene Schlussfolgerungsrelation (einfache Folgerung, RDF-Folgerung und RDFS-Folgerung) definiert sind. 

Für jede dieser Schlussfolgerungsarten wird danach ein Satz von '''Ableitungsregeln''' angegeben, und charakterisiert, wie sich semanische Folgerung mit deren Hilfe entscheiden lässt. Außerdem wird kurz die Frage besprochen, wie der präsentierte Formalismus um '''Datentypen''' erweitert werden kann.

Schließlich werden die '''Grenzen der Ausdrucksstärke''' für RDFS deutlich gemacht und damit die in den darauffolgenden Kapiteln [[Kapitel 5|5]] und [[Kapitel 6|6]] behandelte Ontologiesprache OWL motiviert.

== Inhaltsverzeichnis ==

# Warum Semantik?
# Modelltheoretische Semantik für RDF(S)
## Einfache Interpretationen
## RDF-Interpretationen
## RDFS-Interpretationen
## Interpretation von Datentypen
# Syntaktisches Schlussfolgern mit Ableitungsregeln
## Ableitungsregeln für einfache Folgerung
## Ableitungsregeln für RDF-Folgerung
## Ableitungsregeln für RDFS-Folgerung
## Zusätzliche Regeln für Datentypen
## Beispiel für eine RDFS-Ableitung
# Semantische Grenzen von RDF(S)
# Zusammenfassung
# Aufgaben
# Weiterführende Literatur

== Weiterführende Literatur ==

Literatur zur formalen Semantik von RDF(S) gibt es vergleichsweise wenig.

* Patrick Hayes (Ed.): [http://www.w3.org/TR/rdf-mt/ RDF Semantics]. (führt die formale Semantik von RDF(S) ein)
* G. Antoniou und F. van Harmelen (Ed.). ''A Semantic Web Primer.'' Cooperative Information Systems. MIT Press, Cambridge, Massachusetts, 2004. (darin wird die extensionale (also nicht die Standard-)Semantik via Prädikatenlogik eingeführt)