Adam Pease wrote Thu, 10 Mar 2005 08:28:05 -0800:
> Hi Peter, (01)
> Many thanks for doing this. Is the code Java? If so, we could
> include it in Sigma as a call from the Diagnostics.jsp page.
I'll look
> at the report and see what needs to be addressed. (02)
> Adam
--- (03)
> At 07:58 AM 3/10/2005, Peter Denno wrote: (04)
>> Adam, et al., (05)
>> I wrote a small tool to check a few aspects of the 'structural
>> integrity' of
>> ontologies written in SUO KIF. The attached file is the
output against
>> SUMO
>> 1.72. The tool is not well tested (it's a day's work) but I
thought that
>> getting this out there might start a dialog to improve it.
(For that
>> matter,
>> I was looking for the correct forum for this dialog. Ontolog
might not
>> be it,
>> but scanning old email I couldn't think who else to send it to!). (06)
>> Regarding what the tool reports, there are several reports
under the
>> test: (07)
>> *** Test: ?x in (domain <Relation> <num> ?x) isn't one of
the other
>> classes
>> that are in the disjointDecomposition of Abstract. (08)
>> This concerns, as we have discussed, the problems of the axioms: (09)
>> (disjointDecomposition Abstract Quantity Attribute SetOrClass
Relation
>> Proposition) (010)
>> (domain domain 3 SetOrClass) (011)
>> The test reports only those instances where the
disjointDecomposition is
>> violated. There are plenty more situations where something
other than an
>> Abstract (e.g. Agent) is used in (domain domain 3...). I
suppose that
>> what is
>> intended in those situations is "SetORClass of" (e.g. (domain
>> experiencer 2
>> Agent) means "SetOrClass of Agent") ... but that seems like an
>> extra-theoretical interpretation. (012)
>> --
>> Best Regards,
>> - Peter (013)
>> Peter Denno
>> National Institute of Standards and Technology,
>> Manufacturing System Integration Division,
>> 100 Bureau Drive, Mail Stop 8264 Tel: +1 301-975-3595
>> Gaithersburg, MD, USA 20899-8264 FAX: +1 301-975-4694
_________________________________________________________________
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/ (014)
|