[ANNOUNCEMENT] Software release: Modularization Tool for OWL Ontologies

Hi,

I am pleased to announce the release of the *ontology modularization 
tool  *developed at the University of Manchester as a part of the
TONES <http://www.tonesproject.org/> (Thinking ONtologiES) EU-funded 
project. The prototype we have developed can be used for extracting 
modules from OWL DL ontologies
with precise logical guarantees. For more details, including download, 
please visit:

    http://www.cs.man.ac.uk/~bcg/Software.html

Please, note that this tool is an academic prototype and it is only 
intended as a proof of concept.

Hope you find it useful.

Kind regards,

Bernardo Cuenca Grau <http://www.cs.man.ac.uk/%7Ebcg>
University of Manchester