We will demonstrate that this remains all that is needed to represent the new langauge features. Every new feature can be introduced as a new RDF property. However, we will see that this is an impractical way of actually processing information, as it involves using RDF indirectly to describe the parts of a statement instead of making it directly. An RDF statement in a model can be reified by four triples. Three are needed to assert the subject, object, and predicates of the assertion.
Reification therefore blows up the storage requirement by a factor of four.
We will see how reification ends up being replied successively, making the verbosity become quite unnacceptable. Therefore, while we will derive each language feature simply by defining a new RDF property, to make it practically useful we will also need a syntax which allows the new langauge to be written less verbosely Reification turns what is an explict statement into a description of a statement which is not specifically asserted, but which is described and can be talked about. In languages this is typically done by quotation. I think this is one of the most difficult aspects of reification, and that we should proceed very carefully on this front. I think this example hints at how getting into the realm of defining new semantics to be used with RDF seems to require some model theoretic notion of truth.