Re: rule question

And one last (for today)

facts:

x1,p,y1
x1,rdf:type,c1
p,rdf:domain,c2

(c1!=c2)

inference:

c1,rdf:subClassOf,c2

looks a little better,but...

				Grazie Paolino

-- 
....lotta dura  per la verdura

Received on Monday, 19 July 2004 13:13:13 UTC