--- Begin Message ---
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)
sumo-out.txt
Description: Text document
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Unsubscribe/Config:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01)
--- End Message ---