- From: pat hayes <phayes@ai.uwf.edu>
- Date: Mon, 14 Apr 2003 09:47:08 -0500
- To: Graham Klyne <GK@ninebynine.org>
- Cc: www-rdf-comments@w3.org, herman.ter.horst@philips.com
> >I don't think the modification to rdfs7a is needed, though I do >agree the new rule is. ... > >I think your revised 7a can already be derived: > >[6] xxx type Class >[7] Resource subClassOf yyy > >-> > >[8] xxx subClass Resource ([6],rdfs7a) > xxx subClassOf yyy ([8],[7],rdfs8) > Ah. Yes, I hadn't noticed that. Thats what comes from trying to run a set of 12 rules in one's head late on a Sunday evening. You know, someone ought to be able to make some kind of machine that would do this kind of thing *automatically*, I reckon, mayby using a whole lot of little gears and motors and stuff from Radio Shack. Might be able to make some money out of it, as well. Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes s.pam@ai.uwf.edu for spam
Received on Monday, 14 April 2003 10:47:11 UTC