ICOM: a Tool for Intelligent Conceptual Modelling

 -------------------------------------------------------------------
 We apologise if you receive this more than once.  You're receiving
 this message since you are a subscriber of a relevant mailing list.
 -------------------------------------------------------------------

                                 ICOM
             A Tool for Intelligent Conceptual Modelling

               http://www.cs.man.ac.uk/~franconi/icom/

We are proud to announce the first public release of ICOM.  ICOM is an
advanced CASE tool  which allows the user to  design multiple extended
Entity-Relationship diagrams with inter- and intra-schema constraints.
Complete logical reasoning is employed  by the tool in order to verify
the specification, infer  implicit facts, devise stricter constraints,
and manifest any inconsistency.

The intention behind ICOM is  to provide a simple, freeware conceptual
modelling tool  that demonstrates the use of,  and stimulates interest
in, the novel and powerful knowledge representation based technologies
for database and ontology design.  In particular, we are interested to
cooperate with  researchers and companies  considering the opportunity
to incorporate  these technologies in  their tools.  A new  version of
ICOM for designing UML class diagrams is under development.

Take a look at the ICOM web page:  there is a quick online guided tour
giving a flavour of the capabilities of ICOM.

----------------------------------------------------------------------
Enrico Franconi                   - franconi@cs.man.ac.uk
University of Manchester          - http://www.cs.man.ac.uk/~franconi/
Department of Computer Science    - Phone: +44 (161) 275 6170
Manchester M13 9PL, UK            - Fax:   +44 (161) 275 6204

Received on Tuesday, 24 April 2001 11:17:49 UTC