Abstract
ICOM (version 3.0) is an advanced conceptual modelling tool, which allows the user to design multiple extended ontologies. Each project can be organised into several ontologies, 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.