| |
| 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.
ICOM is meant to be a proof of concept, willing to showcase two main
points: 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);
the emphasis to general
entailment, as opposed to just subsumption (classification) and
consistency. |
|
|
News:
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.
|