Re: RDF Model Theory

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

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