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 early in design. In our conceptual design