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

Re: RDF Model Theory

From: <ewallace@cme.nist.gov>
Date: Fri, 15 Oct 2004 14:13:01 -0400 (EDT)
Message-Id: <200410151813.OAA01956@clue.mel.nist.gov>
To: marcelo_ipm@hotmail.com, www-rdf-interest@w3.org



>>   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/

and for OWL in:

http://www.w3.org/TR/owl-semantics/

-Evan
Received on Friday, 15 October 2004 18:13:10 GMT

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