conceptual graphs [8), and terminological description logics [9) which are representation formalisms used in computational linguistics. Entity-relation diagrams [10] are similar to a graph conceptual model, but they require more decisions to be made earily in design. In our conceptual design