- From: Graham Klyne <GK@ninebynine.org>
- Date: Fri, 15 Oct 2004 18:58:50 +0100
- 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 UTC