- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Wed, 26 Sep 2001 13:57:53 -0400
- To: phayes@ai.uwf.edu
- Cc: www-rdf-logic@w3.org
One more problem with the model theory.
Even if all aspects of reification and containers are removed from RDF>
There is still the matter of rdf:type
In ``5. Formal Model for RDF'' of M&S, there are the requirements that
5. There is an element of <I>Properties</I> known as RDF:type.
6. Members of <I>Statements</I> of the form {RDF:type, sub, obj} must
satisfy the following: sub and obj are members of <I>Resources.</I>
[...]
These conditions are not captured in the model theory.
I do not know the consequences of these omissions on the characterisation
of entailment in RDF in Section 3 of the model theory.
Peter F. Patel-Schneider
Received on Wednesday, 26 September 2001 13:57:53 UTC