The i.com tool for Intelligent Conceptual Modeling.
Enrico Franconi, Gary Ka Lai Ng · KRDB · 2000
In this paper we present i•com, a tool for intelligent conceptual modelling. i•com allows for the specification of multiple EER diagrams and interand intra-schema constraints. Complete logical reasoning is employed by the tool to verify the specification, infer implicit facts, and manifest any inconsistencies.