- From: Jos De_Roo <jos.deroo@agfa.com>
- Date: Thu, 17 Apr 2003 01:34:01 +0200
- To: phayes@ai.uwf.edu
- Cc: "w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
[following your discussion with Herman]
Although it is the case that
{{?X rdf:type ?A} => {?X rdf:type ?B}} => {?A rdfs:subClassOf ?B}.
I fail to see what an engine could ever do with that...
Suppose it only has following facts loaded
:Pat rdf:type :Human.
:Pat rdf:type :American.
:Peter rdf:type :American.
does that then mean that it can conclude
:Human rdfs:subClassOf :American?
Of course not, as that would be nonmonotonic,
but what else could it do? What am I missing?
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 16 April 2003 19:34:16 UTC