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@[]>
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.


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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:15:20 UTC