ontolog-forum
[Top] [All Lists]

[ontolog-forum] Re: SUO KIF testing

To: Peter Denno <peter.denno@xxxxxxxx>
Cc: ontolog-forum@xxxxxxxxxxxxxxxx
From: Adam Pease <adampease@xxxxxxxxxxxxx>
Date: Thu, 10 Mar 2005 08:28:05 -0800
Message-id: <6.2.1.2.2.20050310082420.02eb3d00@xxxxxxxxxxxxxxxxxx>
Hi Peter,
   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.    (01)

Adam    (02)

At 07:58 AM 3/10/2005, Peter Denno wrote:
>Adam, et al.,
>
>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!).
>
>Regarding what the tool reports, there are several reports under the test:
>
>  *** Test: ?x in (domain <Relation> <num> ?x) isn't one of the other classes
>that are in the disjointDecomposition of Abstract.
>
>This concerns, as we have discussed, the problems of the axioms:
>
>(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation
>Proposition)
>
>(domain domain 3 SetOrClass)
>
>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.
>
>
>--
>Best Regards,
>- Peter
>
>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
>    (03)

----------------------------
Adam Pease
http://www.ontologyportal.org - Free ontologies and tools    (04)


_________________________________________________________________
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    (05)

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