W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > April 2003

iff

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>
Message-ID: <OF8F87EF34.B02B4307-ONC1256D0A.00813F06-C1256D0A.00817576@agfa.be>

[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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:56:57 EDT