Semantics of conceptual graphs