The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a common view (or thesis) of representation, otherwise it will not be possible to reconcile documents written in different languages. The thesis of representation underlying RDF and RDFS is particularly troublesome in this regard, as it has several unusual aspects, both semantic and syntactic. A more-standard thesis of representation would result in the ability to reuse existing results and tools in the Semantic Web. Categories and Subject Descriptors I.2.4 [Knowledge Representation Formalisms and Methods]: Representation languages; F.4.1 [Mathematical Logic]: Model theory. General Terms Languages, Standardization, Theory Keywords Semantic Web, representation, model-theoretic semantics
Ian Horrocks, Peter F. Patel-Schneider