From Semantic Web Technologies

Jump to: navigation, search
m
 
Line 3: Line 3:
of [[Foundations of Semantic Web Technologies]]:
of [[Foundations of Semantic Web Technologies]]:
-
<blockquote>After having dealt with the RDF(S) language in the previous sections, we
+
<blockquote>After having dealt with the [[RDF]](S) language in the previous sections, we
now attend to its semantics. Our explanations closely follow the official W3C
now attend to its semantics. Our explanations closely follow the official W3C
RDF semantics specification document.<br /><br />
RDF semantics specification document.<br /><br />

Current revision as of 18:22, 13 June 2009

From Chapter 3

RDF Formal Semantics

of Foundations of Semantic Web Technologies:

After having dealt with the RDF(S) language in the previous sections, we now attend to its semantics. Our explanations closely follow the official W3C RDF semantics specification document.

Before that, we will briefly explain why the definition of a formal semantics became necessary (note that in the early days of RDF, there was no explicit, mathematically defined semantics) and the advantages it brings about.

Contents

  • Why Semantics?
  • Model-Theoretic Semantics for RDF(S)
  • Syntactic Reasoning with Deduction Rules
  • The Semantic Limits of RDF(S)
  • Summary
  • Exercises
  • Further Reading