First page Back Continue Last page Overview Graphics
Model Theory
Model theory is a technique from mathematical logic for defining the semantics of languages
Needed to
- end the endless debates about the semantics of RDF
- provide a foundation for other formal languages such as DAML+OIL and OWL which are defined in terms of RDF
A mathematically rigorous formal specification of RDF(S)'s semantics
http://www.w3.org/TR/rdf-mt/
Editor: Pat Hayes