Re: RDF Model Theory

At 12:28 15/10/04 -0400, Marcelo Custódio wrote:

>   Hello all,
>
>   Is model theory a formalized way to assign meaning or semantic to a 
> statement? In the Stanford Encyclopedia of Philosophy it´s written also 
> that a set of structures that make the statement true is called an 
> interpretation of the statement. Am I right?
>
>   What about model theoretic?
>
>   How could I apply this to RDF, OWL, DAML etc? What are the structures 
> that make a RDF/OWL statement true?

The model-theoretic semantics for RDF are described in:
   http://www.w3.org/TR/rdf-mt/

Enjoy!

#g


------------
Graham Klyne
For email:
http://www.ninebynine.org/#Contact