On the Transformation of Object Oriented Conceptual Models to Logical Theories: From EROOS to ID-Logic

0
40

Authors: Bert Van Nuffelen, Pieter Bekaert

Tags: 2002, conceptual modeling

In [1], the authors present a semi-automatic transformation from object-oriented conceptual models to logical theories. By associating a logical theory with a conceptual model, the best of both worlds is combined. On one hand, the object-oriented software development paradigm is recognized to be well-suited to build maintainable and communicable conceptual models. On the other hand, the logical programming paradigm offers semantically founded concepts to represent knowledge and the powerful logical inference systems make it possible to prototype solutions to computational tasks.

Read the full paper here: https://link.springer.com/chapter/10.1007/3-540-45816-6_11