- From: Aaron Swartz <aswartz@upclink.com>
- Date: Sat, 10 Mar 2001 20:28:47 -0600
- To: Graham Klyne <GK@ninebynine.org>
- CC: RDF Interest <www-rdf-interest@w3.org>
Graham Klyne <GK@ninebynine.org> wrote: >> Because a generic system doesn't know whether 0 means false, or an address, >> or whatever. > > It may be that we come at this with different worldviews/assumptions about > how systems might work, but it seems to me that that kind of "knowledge" > would be embedded in inference rules; e.g. > > <http://www.aaronsw.com/> bob:chocolateLover "0" . > bob:SweetBrownStuff rdf:type bob:Chocolate. > -> > <http://www.aaronsw.com/> bob:doesNotEat bob:SweetBrownStuff The question is what rules/terms are needed to be able to do this in the general case. That is, I'd like my system not to have to have specific knowledge about chocolateLover, Chocolate, and doesNotEat. -- Aaron Swartz <me@aaronsw.com>| The Info Network <http://www.aaronsw.com> | <http://theinfo.org> AIM: JediOfPi | ICQ: 33158237| the way you want the web to be
Received on Saturday, 10 March 2001 21:28:43 UTC