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.