Re: [Sigmakee-develop] GRAPH THEORY Includes

[Adam P. <ada...@ea...>]

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