24. A computer program as in claim 23 wherein each of said conceptual models comprises a generic conceptual model in a uniform language.
24. A computer program as in claim 23 wherein each of said conceptual models comprises a generic conceptual model in a uniform language. 25. A computer program as in claim 24 wherein each of said generic conceptual models comprise logic statements, and wherein said integrated semantic model comprises logic statements.