From Semantic Web Technologies

Jump to: navigation, search
(RDF Formal Semantics)
Line 3: Line 3:
of [[Foundations of Semantic Web Technologies]]:
of [[Foundations of Semantic Web Technologies]]:
-
"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.
RDF semantics specification document.
Line 9: Line 9:
Before that, we will briefly explain why the definition of a formal semantics
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,
became necessary (note that in the early days of RDF, there was no explicit,
-
mathematically defined semantics) and the advantages it brings about."
+
mathematically defined semantics) and the advantages it brings about.</blockquote>
== Contents ==
== Contents ==
Line 20: Line 20:
* Exercises  
* Exercises  
* Further Reading
* Further Reading
 +
{{vspace}}

Revision as of 18:08, 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