Kỹ Thuật Tầng Tri Thức và Quản Lý Tri Thức Toán Học: Một Hình Thức Hóa Hình Học Chiếu

B. Bachimont, Engagement sémantique et engagement ontologique: conception et réalisation d'ontologies en ingénierie des connaissances, in: Ingénierie des connaissances: évolutions récentes et nouveaux défis, eds. J. Charlet, M. Zacklad, G. Kassel and D. Bourigault (Eyrolles, 2000) pp. 305–323 (in French). J. Baget, D. Genest and M. Mugnier, Knowledge acquisition with a pure graph-based knowledge representation model. Application to the Sisyphus-I case study, in: Proceedings of Knowledge Acquisition Workshop (KAW'1999), Lecture Notes in Artificial Intelligence, Vol. 954 (Springer, Berlin, 1999). J. Baget and M. Mugnier, The SG family: Extensions of simple conceptual graphs, in: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI'2001) (2001) pp. 205–210. T. Berners-Lee, J. Handler and O. Lassila, The semantic Web, Scientific American 248 (2001) 35–43. D. Bourigault, LEXTER, a terminology extraction software for knowledge acquisition from texts, in: Proceedings of the 9th Knowledge Acquisition for Knowledge Based System Workshop (KAW'95) (Banff, Canada, 1995). O. Corby, R. Dieng and C. Hebert, A conceptual graph model for W3C resource description framework, in: Proceedings of the 8th international Conference on Conceptual Structures, Lecture Notes in Artificial Intelligence, Vol. 1867 (Springer, Berlin, 2000) pp. 468–482. L. Doyle, Indexing and Abstracting by Association (American Documentation, 1962) pp. 378–390. D. Fensel, OIL in a nutshell, in: Proceedings of European Knowledge Acquisition Workshop (EKAW'2000), Lecture Notes in Artificial Intelligence, Vol. 1937 (Springer, Berlin, 2000) pp. 1–16. D. Fensel, Ontologies: Silver Bullet for Knowledge Management and Electronic Commerce (Springer, Berlin, 2001). M. Fernandez, A. Gomez-Perez and N. Juristo, Building a chemical ontology using METHONTOLOGY and the ontology design environment, IEEE Intelligent Systems and Their Applications 4(1) (1999) 37–45. M. Fox and M. Gruninger, Enterprise modeling, AI Magazine 19(3) (1999) 109–121. F. Gandon, Engineering an ontology for a multi-agents corporate memory system, in: Proceedings of the Eighth International Symposium on the Management of Industrial and Corporate Knowledge (ISMICK'2001) (2001) pp. 209–228. D. Genest and E. Salvat, A platform allowing typed nested graphs: how CoGITo became CoGITaNT, in: Proceedings of the 6th International Conference on Conceptual Structures, Lecture Notes in Artificial Intelligence, Vol. 1453 (Springer, Berlin, 1998) pp. 154–161. http://www.lirmm.fr/~cogito/cogitant. A. Gomez-Perez, Knowledge Sharing and Reuse, Handbook on Applied Expert Systems (CRC Press, Boca Raton, FL, 1998). T. Gruber, A translation approach to portable ontologies, Knowledge Acquisition 5(2) (1993) 199–220. T. Gruber, Toward principles for the design of ontologies used for knowledge sharing, International Journal of Human Computer Studies 43(5/6) (1995) 907–928. T. Gruber and G. Olsen, An ontology for engineering mathematics, Technical report KSL–94–18, Knowledge Systems Laboratory (Stanford University) (1994). N. Guarino and C. Welty, A formal ontology of properties, in: Knowledge Engineering and Knowledge Management: Methods, Models and Tools. International Conference EKAW'2000, eds. R. Dieng and O. Corby (Springer, Berlin, 2000) pp. 97–112. N. Guarino and C. Welty, Identity, unity, and individuality: Towards a formal toolkit for ontological analysis, in: European Conference on Artificial Intelligence (ECAI'2000), ed. H. Werner (IOS Press, 2000) pp. 219–223. J. Hendler and D. McGuinness, The Darpa agent markup language, IEEE Intelligent System 25(6) (2000) 67–73. http://www.daml.org. D. Hilbert, Les fondements de la géométrie (Editions Jacques Gabay, 1997). Introduction of the book intitled Grundlagen der Geometrie. A. Kabbaj, From PROLOG++ to PROLOG+CG: A CG object-oriented logic programming language, in: Proceedings of the 8th International Conference on Conceptual Structures, Lecture Notes in Artificial Intelligence, Vol. 1867 (Springer, Berlin, 2000) pp. 540–554. G. Kassel, M.-H. Abel, C. Barry, P. Boulitreau, C. Irastorza and S. Perpette, Evaluation de langages opérationnels de représentation d'ontologies, in: Actes des journées francophones d'Ingénierie des Connaissances (IC'2001) (Presse Universitaire Grenobloise, 2001) pp. 309–328 (in French). M. Leclère, Reasoning with type definitions, in: Proceedings of the 5th International Conference on Conceptual Structures, Lecture Notes in Artificial Intelligence, Vol. 1257 (Springer, Berlin, 1997) pp. 401–415. O. Lhomme, P. Kuzo and P. Macé, Desargues, a constraint-based system for 3D projective geometry, in: Geometric Constraint Solving and Applications, eds. B. Brüderlin and D. Roller (Springer, Berlin, 1998) pp. 114–127. S. Morris and G. Spanoudakis, UML: An evaluation of the visual syntax of the language, in: Proceedings of 34th Annual Hawaii International Conference on System Sciences (HICSS-34), ed. R.H. Sprague, Jr. (IEEE Computer Society, 2001). M. Mugnier, Knowledge representation and reasonings based on graph homomorphism, in: Proceedings of the 8th International Conference on Conceptual Structures, Lecture Notes in Artificial Intelligence, Vol. 1867 (Springer, Berlin, 2000) pp. 172–192. M. Mugnier and M. Chein, Représenter des connaissances et raisonner avec des graphes, Revue d'Intelligence Artificielle (RIA), Hermès 10(1) (1996) 7–56. B. Nebel, Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Artificial Intelligence, Vol. 422 (Springer, Berlin, 1990). J. Nobécourt and B. Biébow, MDOS: A modelling language to build a formal ontology in either Description Logics or Conceptual Graphs, in: Proceedings of the 12th International Conference on Knowledge Engineering and Management (EKAW'2000), Lecture Notes in Artificial Intelligence, Vol. 1937 (Springer, Berlin, 2000) pp. 57–64. N. Noy, Tutorial on ontology engineering, in: International Semantic Web Working Symposium (SWWS'2001) (2001), http://www.semanticweb.org/SWWS/program/tutorials/tutorial1/. N. Noy and D. McGuinness, Ontology development 101: A guide to creating your first ontology, Stanford Medical Informatics Report SMI-2001–0880 (2001). OntoWeb, Ontology-based information exchange for knowledge management and electronic commerce (2001), http://babage.dia.fi.upm.es/ontoweb/wp1/OntoRoadMap/index/ontology_frame.html. M. Quillian, Semantic memory, in: Semantic Information Processing (MIT Press, Cambridge, MA, 1968). RDFS, Resource description framework schema specification 1.0 (2000), http://www.w3.org/TR/2000/CR-rdf-schema-20000327/. E. Salvat and M. Mugnier, Sound and complete forward and backward chaining of graph rules, in: Proceedings of the 4th International Conference on Conceptual Structures, Lecture Notes in Artificial Intelligence, Vol. 1115 (Springer, Berlin, 1996) pp. 248–262. J. Sowa, Conceptual Structures – Information Processing in Mind and Machine (Addison-Wesley, Reading, MA, 1984). R. Studer, R. Benjamins and D. Fensel, Knowledge engineering: Principles and methods, Data and Knowledge Engineering 25(1) (1998) 161–197. M. Uschold and M. Gruninger, Ontologies: Principles, methods and applications, Knowledge Engineering Review 11(2) (1996). M. Wermelinger, Conceptual graphs and first-order logic, in: Proceedings of the 3rd International Conference on Conceptual Structures, Lecture Notes in Artificial Intelligence, Vol. 954 (Springer, Berlin, 1995).