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?



MSN Messenger: converse com os seus amigos online. Instale grátis. Clique aqui.