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:


Received on Friday, 15 October 2004 18:13:10 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:07:53 UTC