RDFS rule 0

Pat,

It's late, but are we missing
 -------------------------------------------------------
| 0a | xxx aaa yyy.     | xxx rdf:type rdfs:Resource.   |
 -------------------------------------------------------
| 0b | xxx aaa yyy.     | aaa rdf:type rdfs:Resource.   |
 -------------------------------------------------------
| 0c | xxx aaa yyy.     | yyy rdf:type rdfs:Resource.   |
 -------------------------------------------------------
or not?
If yes, that would mean that LV is a subset of IR
(the trouble is to express the "IR union LV" in the consequent)

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Sunday, 23 September 2001 18:57:25 UTC