On Thursday 10 March 2005 13:16, you wrote:
> Hi Peter,
> I think there's a bug. You'll need to get the transitive relation
> through "subRelation". For example
>
> BinaryPredicate
> measure
> length
> height (01)
Hi Adam, (02)
Good point. I'll write a function all-subrelations. There are actually two
ways it has to be applied I suppose: (03)
1)
K> (superrelations 'ki::|height|)
(KI::|length| KI::|measure|) (04)
2)
K> (all-subrelations 'ki::|instance|)
(KI::|element| KI::|immediateInstance|) (05)
So I have to check whether height or one of its subrelation is an instance or
one of its subrelations. Here is the new output. "whatever" was a
false-positive test I added and "and" is a bug in my clausifier. So the
"everything is an instance of something" test comes up clean (06)
>
> Adam
>
> At 10:11 AM 3/10/2005, Peter Denno wrote:
> >Adam,
> >
> >I ran the "Everything is an instance of something test" with the wider
> >collection of predicate/function symbols provided by looking through the
> >clausal form. Doing that, I get:
> >
> > *** Test: Everything is an instance of something...
> > pointOfFigure is not an instance of anything.
> > connectsEngineeringComponents is not an instance of anything.
> > engineeringSubcomponent is not an instance of anything.
> > stays is not an instance of anything.
> > home is not an instance of anything.
> > attends is not an instance of anything.
> > length is not an instance of anything.
> > height is not an instance of anything.
> > bottom is not an instance of anything.
> > top is not an instance of anything.
> > subset is not an instance of anything.
> > and is not an instance of anything.
> > exactlyLocated is not an instance of anything.
> > resource is not an instance of anything.
> > true is not an instance of anything.
> > instrument is not an instance of anything.
> > represents is not an instance of anything.
> > component is not an instance of anything.
> > result is not an instance of anything.
> > piece is not an instance of anything.
> > side is not an instance of anything.
> >
> >"and" being on the list shows that my clausifier has a bug!
> >
> >--
> >Best Regards,
> > - Peter
>
> ----------------------------
> Adam Pease
> http://www.ontologyportal.org - Free ontologies and tools (07)
--
Best Regards,
- Peter (08)
_________________________________________________________________
To Post: mailto:ontolog-dev@xxxxxxxxxxxxxxxx
Msg Archives: http://ontolog.cim3.net/forum/ontolog-dev/
Community Wiki: http://ontolog.cim3.net/wiki/
Community Files: http://ontolog.cim3.net/file/
Community Portal: http://ontolog.cim3.net/ (09)
|