[Top] [All Lists]

[ontolog-forum] SUO KIF testing

To: Adam Pease <adampease@xxxxxxxxxxxxx>
Cc: ontolog-forum@xxxxxxxxxxxxxxxx
From: Peter Denno <peter.denno@xxxxxxxx>
Date: Thu, 10 Mar 2005 10:58:53 -0500
Message-id: <200503101058.53746.peter.denno@xxxxxxxx>
Adam, et al.,    (01)

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!).    (02)

Regarding what the tool reports, there are several reports under the test:    (03)

 *** Test: ?x in (domain <Relation> <num> ?x) isn't one of the other classes 
that are in the disjointDecomposition of Abstract.    (04)

This concerns, as we have discussed, the problems of the axioms:    (05)

(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation 
Proposition)    (06)

(domain domain 3 SetOrClass)    (07)

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.    (08)

Best Regards, 
- Peter     (09)

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    (010)

Attachment: sumo-out.txt
Description: Text document

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

<Prev in Thread] Current Thread [Next in Thread>