Re: less-restrictive range and domain terms

Not endorsing rangeIncludes, but taking Peter's challenge



Peter F. Patel-Schneider wrote:
>>| So, show us the inferences!
>>
>>~    flabber x:schnack ghasted
>>~    ghasted rdf:type y:Ghostly
>>
>>=====>
>>
>>~    x:schnack phil:rangeIncludes y:Ghostly
> 
> 
> This is *one* inference.  What about the others?  Are there any?

What about

  x:schnack phil:rangeIncludes y:Ghostly
===>
  _:a x:schnack _:b .
  _:b rdf:type y:Ghostly .


Jeremy

Received on Tuesday, 4 May 2004 14:14:58 UTC