Re: [Sigmakee-develop] GRAPH THEORY Includes
Status: Beta
Brought to you by:
apease
|
From: Adam P. <ada...@ea...> - 2007-10-28 04:15:07
|
Hi Cameron, Although we haven't verified this for the latest version, that has been the case in the past, although such partitionings are not strict. Please take a look at the diagram at <http://www.ontologyportal.org/> . We would welcome a tool that does an automatic partitioning however. There were some folks that made a start at that <http://swserver.cs.vu.nl/partitioning/SUMO/> , but they didn't consider rules. Adam Cameron Ross wrote: > Hi Adam, > > As discussed during your recent ONTOLOG presentation, we're working on a > tool that will translate SUMO into a CLIF-based representation. We plan > to incorporate the modular nature of SUMO using the Common Logic module > construct and are, therefore, leveraging the ;; BEGIN FILE, ;; ENDFILE, > and ;; INCLUDES annotations embedded within SUMO. During our analysis > we've noticed that the GRAPH THEORY module doesn't include any other > modules. I believe this is an oversight. > > Cheers, > Cameron Ross > Symboticware Incorporated > > > > ------------------------------------------------------------------------ > > ------------------------------------------------------------------------- > This SF.net email is sponsored by: Splunk Inc. > Still grepping through log files to find problems? Stop. > Now Search log events and configuration files using AJAX and a browser. > Download your FREE copy of Splunk now >> http://get.splunk.com/ > > > ------------------------------------------------------------------------ > > _______________________________________________ > Sigmakee-develop mailing list > Sig...@li... > https://lists.sourceforge.net/lists/listinfo/sigmakee-develop |