A semantic validation of conceptual graphs

Knowledge-Based Systems

Volumn 19, Issue 7, 2006, Pages 498-510

  Dibie Barthélemy, Juliette ^a   Haemmerlé, Ollivier ^a,b   Salvat, Eric ^c  

^a AGROPARISTECH   (France)

^b UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

^c IMERIR   (France)

Author keywords

Conceptual graphs; Knowledge base validation; Knowledge representation

Indexed keywords

CONSTRAINT THEORY; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS; SEMANTICS;

CONCEPTUAL GRAPHS; GRAPH MODELS; KNOWLEDGE BASE VALIDATION;

GRAPH THEORY;

EID: 33749685640     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2005.04.002     Document Type: Article

References (38)

1. M. Ayel, Protocols for consistency checking in expert system knowledge bases, in: European Conference of Artificial Intelligence, ECAI'88, 1988, pp. 220-225.
2. Baget J.F., and Mugnier M.L. Extensions of simple conceptual graphs: the complexity of rules and constraints. Journal of Artificial Intelligence Research 16 (2002) 425-465
3. A. Bendou, M. Ayel, Validation of rule bases containing constraints, in: European Conference of Artificial Intelligence, ECAI'96, Workshop on Validation, Verification and Refinement of KBS, August 1996.
4. Bos C., Botella B., and Vanheeghe P. Modelling and simulating human behaviours with conceptual graphs. Proceedings of the 5th International Conference on Conceptual Structures, ICCS'97. Lecture Notes in Artificial Intelligence vol. 1257 (1997), Springer Verlag, Seattle, USA 275-289
5. F. Bouali, S. Loiseau, M.C. Rousset, Revision of rule bases, in: EUROpean conference on VAlidation and Verification of knowledge based systems, EUROVAV'97, 1997, pp. 193-201.
6. Buche P., Haemmerlé O., and Thomopoulos R. Integration of heterogeneous, imprecise and incomplete data: an application to the microbiological risk assessment. Proceedings of the 14th International Symposium on Methodologies for Intelligent Systems, ISMIS'2003. Lecture Notes in Artificial Intelligence vol. 2871 (2003), Springer, Maebashi, Japan 98-107
7. Chein M., and Mugnier M.L. Conceptual graphs: fundamental notions. Revued'Intelligence Artificielle 6 4 (1992) 365-406
8. Chein M., and Mugnier M.L. Positive nested conceptual graphs. Proceedings of the 5th International Conference on Conceptual Structures, ICCS'97. Lecture Notes in Artificial Intelligence vol. 1257 (1997), Springer Verlag, Berlin 95-109
9. Cogis O., and Guinaldo O. A linear descriptor for conceptual graphs and a class for polybomila isomorphism. Proceedings of the 3rd International Conference on Conceptual Structures, ICCS'95. Lecture Notes in Artificial Intelligence vol. 954 (1995), Springer Verlag, Berlin 263-277
10. Dibie J., Haemmerlé O., and Loiseau S. A semantic validation of conceptual graphs. Proceedings of the 6th International Conference on Conceptual Structures, ICCS'98. Lecture Notes in Artificial Intelligence (1998), Springer Verlag, Montpellier, France 80-93
11. J. Dibie-Barthélemy, Validation et Réparation des Graphes Conceptuels, PhD thesis, Université PARIS-IX Dauphine, octobre 2000.
12. J. Dibie-Barthélemy, O. Haemmerlé, S. Loiseau, Constraints for validation of conceptual graphs, in: EUROpean conference on VAlidation and Verification of knowledge based systems, EUROVAV'99, 1999, pp. 79-91.
13. R. Dieng, Comparison of conceptual graphs for modelling knowledge of multiple experts: application to traffic accident analysis, Rapport de recherche 3161, INRIA, Sophia Antipolis, April 1997.
14. D. Genest, Extension du modèle des graphes conceptuels pour la recherche d'informations, PhD thesis, Université Montpellier II, 2000.
15. Genest D., and Salvat E. A platform allowing typed nested graphs: how cogito became cogitant. Proceedings of the 6th International Conference on Conceptual Structures, ICCS'98. LNAI vol. 1453 (1998), Springer Verlag, Montpellier, France 154-161
16. Ginsberg A., and Williamson K. Inconsistency and redundancy checking for quasi-first-order-logic knowledge bases. International Journal of Expert Systems 6 3 (1993) 321-340
17. O. Haemmerlé, CoGITo: une plate-forme de développement de logiciels sur les graphes conceptuels, PhD thesis, Université Montpellier II, January 1995.
18. C. Haouche, J. Charlet, KBS validation: a knowledge acquisition perspective, in: European Conference of Artificial Intelligence, ECAI'96, 1996, pp. 433-437.
19. P. Hors, M.C. Rousset, Modeling and verifying complex objects: a declarative approach based on description logics, in: European Conference of Artificial Intelligence, ECAI'96, 1996, pp. 328-332.
20. Kocura P. Conceptual graph canonicity and semantic constraints. In: Eklund P.W., Ellis G., and Mann G. (Eds). Conceptual Structures: Knowledge Representation as Interlingua - Auxiliary Proceedings of the 4th International Conference on Conceptual Structures (1996), Springer Verlag, Sydney, Australia 133-145
21. Lee J., Lai L.F., and Yang S.J. A high-level petri nets-based approach to verifying task structures. IEEE Transactions on Knowledge and Data Engineering 14 2 (2002) 316-335
22. Leemans P., Treur J., and Willems M. A semantical perspective on verification of knowledge. Data and Knowledge Engineering 40 1 (2002) 33-70
23. S. Loiseau, Refinement of knowledge bases based on consistency, in: European Conference of Artificial Intelligence, ECAI'92, 1992, pp. 845-849.
24. Mineau G.W., and Missaoui R. The representation of semantic constraints in conceptual graph systems. Proceedings of the 5th International Conference on Conceptual Structures, ICCS'97. Lecture Notes in Artificial Intelligence vol. 1257 (1997), Springer Verlag, Seattle, USA 138-152
25. Mugnier M.L. On generalization/specialization for conceptual graphs. Journal of Experimental and Theoretical Artificial Intelligence 10 (1995) 325-344
26. Mugnier M.L., and Chein M. Représenter des connaissances et raisonner avec des graphes. Revued'Intelligence Artificielle 7 1 (1996) 7-56
27. T.A. Nguyen, W.A. Perkins, T.J. Laffrey, D. Pecora, Checking an expert system knowledge base for consistency and completness, in: International Joint Conference of Artificial Intelligence, IJCAI'85, vol. 1, 1985, pp. 375-378.
28. Preece A.D., and Shinghal R. Foundation and application of knowledge base verification. International Journal of Intelligent Systems 9 8 (1994) 683-702
29. Djelouah R., Duval B., and Loiseau S. Validation and reparation of knowledge bases. ISMIS 02. Lecture Notes in Artificial Intelligence vol. 2366 (2002), Springer, Berlin 312-320
30. M.C. Rousset, On the consistency of knowledge bases: the COVADIS system, in: European Conference of Artificial Intelligence, ECAI'88, 1988, pp. 79-84.
31. Rousset M.C., and Levy A.Y. Verification of knowledge bases based on containment checking. Artificial Intelligence 101 (1998)
32. E. Salvat, Raisonner avec des opérations de graphes :graphes conceptuels et régles d'inférence, PhD thesis, Université Montpellier II, LIRMM, Décembre 1997.
33. Salvat E., and Mugnier M.L. Sound and complete forward and backward chainings of graph rules. Proceedings of the 4th International Conference on Conceptual Structures, ICCS'96. Lecture Notes in Artificial Intelligence vol. 1115 (1996), Springer Verlag, Sydney, Australia 248-262
34. Shanks G., Tansley E., and Weber R. Using ontology to validate conceptual models. Communications of ACM 46 10 (2003) 85-89
35. Sowa J.F. Conceptual Structures: Information Processing in Mind and Machine (1984), Addison Wesley Publishing Company
36. Strupchanska A., Yankova M., and Boytcheva S. Conceptual graphs self-tutoring system. Proceedings of the 11th International Conference on Conceptual Structures, ICCS'2003. Lecture Notes in Computer Science vol. 2746 (2003), Springer Verlag, Dresden, Germany 323-336
37. Suwa M., Scott A.C., and Shortliffe E.H. An approach to verifying completeness and consistency in a rule-based expert system. Artificial Intelligence Magazine 3 4 (1982) 16-21
38. Tsai W.T., Vishnuvajjala R., and Zhang D. Verification and validation of knowledge-based systems. IEEE Transactions on Knowledge and Data Engineering 11 1 (1999) 202-212