| ICOM (version
3) is an advanced conceptual modelling tool, which allows the user
to design multiple extended ontologies. Each project can be organised
into several ontolo- gies, with the possibility to include inter- and
intra-ontology constraints. Complete logical reasoning is employed by
the tool to verify the specification, infer implicit facts, devise
stricter constraints, and manifest any inconsistency. ICOM is fully
integrated with a very powerful description logic reasoning server
which acts as a background inference engine.
The intention behind ICOM is to provide a simple 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. the effectiveness of using a class diagram
graphical syntax for expressing ontologies, even with complex
languages (indeed ICOM can express the full ALCQI description logic in
an intuitive manner);
ICOM is meant to be a proof of concept, willing to showcase two main
the emphasis to general
entailment, as opposed to just subsumption (classification) and
August 2010: ICOM 3 beta is publicly available.
July 2010: The previous
version of ICOM (2.0) has been installed at 3,000+ sites since 2001.