Re: RDF Semantics: RDFS entailment lemma

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