The ICOM 3.0 intelligent conceptual modelling tool and methodology

  • Authors:
  • Pablo R. Fillottrani;Enrico Franconi;Sergio Tessaris

  • Affiliations:
  • Universidad Nacional del Sur, and Comisión de Investigaciones Científicas de la provincia de Buenos Aires, Argentina E-mail: prf@cs.uns.edu.ar;Free University of Bozen-Bolzano, Italy E-mail: {franconi,tessaris}@inf.unibz.it;Free University of Bozen-Bolzano, Italy E-mail: {franconi,tessaris}@inf.unibz.it

  • Venue:
  • Semantic Web
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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.