Hi Peter,
Right, you're listing a number of cases of where MILO depends on some of
the other domain ontologies. It might be good to compare your list against
the Sigma diagnostics function, which already does these tests. If they
differ, that would be of particular interest. (01)
Adam (02)
At 02:11 PM 3/14/2005, Peter Denno wrote:
>On Monday 14 March 2005 16:49, Adam Pease wrote:
> > Hi Peter,
> > That's true. I need to do another pass at all the ontologies to make
> > sure that SUMO is self-contained and MILO depends only on SUMO. It's true
> > that's not the case at the moment.
>
>That gave me the idea to run SUMO+MILO. After I commented out this (which
>causes an error),
>
>;; POD
>;(=>
>; (instance ?SADDLE Saddle)
>; (capability
>; (KappaFn ?RIDE
>; (and
>; (exists (?HUMAN ?HORSE)
>; (instance ?RIDE Carrying)
>; (patient ?RIDE ?HUMAN)
>; (instance ?HUMAN Human)
>; (agent ?RIDE ?HORSE)
>; (instance ?HORSE Horse)))) instrument ?SADDLE))
>
>
>I get this (I am only running the 3 test that seem to be meaningful at this
>point):
>
> *** Test: Everything is an instance of something...
>Warning: agreementMember is not an instance of anything.
>Warning: customer is not an instance of anything.
>Warning: chiefOfState is not an instance of anything.
>
> *** Test: Every class hierarchy terminates with Entity...
>Warning: Class hierarchy from LegislativeOrganization does not lead to
>Entity. Complete path is NIL.
>Warning: Class hierarchy from Clay does not lead to Entity. Complete path is
>NIL.
>Warning: Class hierarchy from CommunicationDevice does not lead to Entity.
>Complete path is NIL.
>Warning: Class hierarchy from Radio does not lead to Entity. Complete
>path is
>NIL.
>Warning: Class hierarchy from Television does not lead to Entity. Complete
>path is NIL.
>Warning: Class hierarchy from Antenna does not lead to Entity. Complete path
>is (CommunicationDevice).
>Warning: Class hierarchy from Entity does not lead to Entity. Complete path
>is NIL.
>Warning: Class hierarchy from Zinc does not lead to Entity. Complete path is
>NIL.
>Warning: Class hierarchy from Copper does not lead to Entity. Complete path
>is NIL.
>Warning: Class hierarchy from Iron does not lead to Entity. Complete path is
>NIL.
>Warning: Class hierarchy from StageCoach does not lead to Entity. Complete
>path is (Trailer).
>Warning: Class hierarchy from Soil does not lead to Entity. Complete path is
>NIL.
>Warning: Class hierarchy from Oxygen does not lead to Entity. Complete path
>is NIL.
>Warning: Class hierarchy from Hydrogen does not lead to Entity. Complete
>path
>is NIL.
>Warning: Class hierarchy from Chlorine does not lead to Entity. Complete
>path
>is NIL.
>Warning: Class hierarchy from Sodium does not lead to Entity. Complete path
>is NIL.
>Warning: Class hierarchy from Carbon does not lead to Entity. Complete path
>is NIL.
>Warning: Class hierarchy from PoliticalParty does not lead to Entity.
>Complete path is NIL.
>Warning: Class hierarchy from Agriculture does not lead to Entity. Complete
>path is NIL.
>Warning: Class hierarchy from Watercraft does not lead to Entity. Complete
>path is NIL.
>Warning: Class hierarchy from LandVehicle does not lead to Entity. Complete
>path is NIL.
>Warning: Class hierarchy from Aircraft does not lead to Entity. Complete
>path
>is NIL.
>Warning: Class hierarchy from BotanicalTree does not lead to Entity.
>Complete
>path is NIL.
>Warning: Class hierarchy from StormFront does not lead to Entity. Complete
>path is (AtmosphericRegion).
>Warning: Class hierarchy from Train does not lead to Entity. Complete
>path is
>NIL.
>Warning: Class hierarchy from Fodder does not lead to Entity. Complete path
>is NIL.
>Warning: Class hierarchy from Hay does not lead to Entity. Complete path is
>(Fodder).
>Warning: Class hierarchy from AtmosphericRegion does not lead to Entity.
>Complete path is NIL.
>Warning: Class hierarchy from Contract does not lead to Entity. Complete
>path
>is NIL.
>
> *** Test: the use of proper arity everywhere.
>Warning: domainSubclass has arity 3 but (domainSubclass 2 Text)
> >
> > Adam
> >
> > At 01:45 PM 3/14/2005, Peter Denno wrote:
> > >On Monday 14 March 2005 16:13, Adam Pease wrote:
> > > > Hi Peter,
> > > > See
> > > > http://newell.cim3.com:4010/sigma/Graph.jsp?kb=SUMO&lang=en&relation=su
> > > >bcla ss&term=Paper&up=7&down=1&view=text&submit=submit
> > >
> > >But that is in MILO, not SUMO. SUMO just has:
> > >
> > >(=>
> > > (instance ?BILL CurrencyBill)
> > > (exists (?PAPER)
> > > (and
> > > (instance ?PAPER Paper)
> > > (part ?PAPER ?BILL))))
> > >
> > >And no other references to the term.
> > >
> > > > Adam
> > > >
> > > > At 01:10 PM 3/14/2005, Peter Denno wrote:
> > > > >On Sunday 13 March 2005 16:23, Adam Pease wrote:
> > > > > > Many thanks for your continued work on this. I think the path
> > > > > > to Entity check still has a problem. For example
> > > > > >
> > > > > > Entity
> > > > > > Abstract
> > > > > > SetOrClass
> > > > > > Class
> > > > > > InheritableRelation
> > > > >
> > > > >Fixed, I think. Now I get:
> > > > >
> > > > > *** Test: Every class hierarchy terminates with Entity...
> > > > >Warning: Class hierarchy from Paper does not lead to Entity. Complete
> > > > >path is
> > > > >NIL.
> > > > >Warning: Class hierarchy from House does not lead to Entity. Complete
> > > > >path is
> > > > >NIL.
> > > > >
> > > > >
> > > > >--
> > > > >Best Regards,
> > > > > - Peter
> > > >
> > > > ----------------------------
> > > > Adam Pease
> > > > http://www.ontologyportal.org - Free ontologies and tools
> > >
> > >--
> > >Best Regards,
> > > - Peter
> >
> > ----------------------------
> > Adam Pease
> > http://www.ontologyportal.org - Free ontologies and tools
>
>--
>Best Regards,
> - Peter (03)
----------------------------
Adam Pease
http://www.ontologyportal.org - Free ontologies and tools (04)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-dev/
Subscribe/Unsubscribe/Config:
http://ontolog.cim3.net/mailman/listinfo/ontolog-dev/
Shared Files: http://ontolog.cim3.net/file/work/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-dev@xxxxxxxxxxxxxxxx (05)
|