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?