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