W3C home > Mailing lists > Public > www-rdf-comments@w3.org > April to June 2003

Re: RDF Semantics: RDFS entailment lemma

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 14 Apr 2003 09:47:08 -0500
Message-Id: <p05111b09bac075db1304@[10.0.100.6]>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:32 GMT