A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux

Tractable and Decidable Fragments of Conceptual Graphs

ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices

Dynamic Semantics for Conceptual Graphs

ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices

Bibliography

The description logic handbook

A new method to interrogate and check UML class diagrams

ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge

CbSSDF: A Two-Layer Conceptual Graph Approach to Web Services Description and Composition-A Scenario Based Solution Analysis and Comparison with OWL-S

International Journal of Information System Modeling and Design