W3C home > Mailing lists > Public > www-rdf-interest@w3.org > October 2004

Re: RDF Model Theory

From: Graham Klyne <GK@ninebynine.org>
Date: Fri, 15 Oct 2004 18:58:50 +0100
Message-Id: <5.1.0.14.2.20041015185723.030f2370@127.0.0.1>
To: Marcelo Custódio <marcelo_ipm@hotmail.com>, www-rdf-interest@w3.org

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
Received on Friday, 15 October 2004 18:03:39 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:10 GMT