Ontological engineering and mathematical knowledge management: A formalization of projective geometry

Annals of Mathematics and Artificial Intelligence

Volumn 38, Issue 1-3, 2003, Pages 65-89

  Furst F ^a   Leclere M ^a   Trichet, F ^a  

^a UNIVERSITÉ DE NANTES   (France)

Author keywords

Conceptual graphs; Ontology; Operationalization; Projective geometry

Indexed keywords

EID: 0345864042     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1022911730013     Document Type: Conference Paper

References (40)

1. 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).
2. 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).
3. 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.
4. T. Berners-Lee, J. Handler and O. Lassila, The semantic Web, Scientific American 248 (2001) 35-43.
5. 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).
6. 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.
7. L. Doyle, Indexing and Abstracting by Association (American Documentation, 1962) pp. 378-390.
8. 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.
9. D. Fensel, Ontologies: Silver Bullet for Knowledge Management and Electronic Commerce (Springer, Berlin, 2001).
10. 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.
11. M. Fox and M. Gruninger, Enterprise modeling, AI Magazine 19(3) (1999) 109-121.
12. 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.
13. 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.lirmml.fr/~cogito/ cogitant.
14. A. Gomez-Perez, Knowledge Sharing and Reuse, Handbook on Applied Expert Systems (CRC Press, Boca Raton, FL, 1998).
15. T. Gruber, A translation approach to portable ontologies, Knowledge Acquisition 5(2) (1993) 199-220.
16. 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.
17. T. Gruber and G. Olsen, An ontology for engineering mathematics, Technical report KSL-94-18, Knowledge Systems Laboratory (Stanford University) (1994).
18. 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.
19. 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.
20. J. Hendler and D. McGuinness, The Darpa agent markup language, IEEE Intelligent System 25(6) (2000) 67-73. http://www.daml.org.
21. D. Hilbert, Les fondements de la géométrie (Editions Jacques Gabay, 1997). Introduction of the book intitled Grundlagen der Geometrie.
22. 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.
23. 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).
24. 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.
25. 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.
26. 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).
27. 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.
28. 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.
29. B. Nebel, Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Artificial Intelligence, Vol. 422 (Springer, Berlin, 1990).
30. 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.
31. N. Noy, Tutorial on ontology engineering, in: International Semantic Web Working Symposium (SWWS'2001) (2001), http://www.semanticweb.org/SWWS/program/tutorials/tutorial1/.
32. N. Noy and D. McGuinness, Ontology development 101: A guide to creating your first ontology, Stanford Medical Informatics Report SMI-2001-0880 (2001).
33. 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.
34. M. Quillian, Semantic memory, in: Semantic Information Processing (MIT Press, Cambridge, MA, 1968).
35. RDFS, Resource description framework schema specification 1.0 (2000), http://www.w3.org/TR/ 2000/CR-rdf-schema-20000327/.
36. 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.
37. J. Sowa, Conceptual Structures - Information Processing in Mind and Machine (Addison-Wesley, Reading, MA, 1984).
38. R. Studer, R. Benjamins and D. Fensel, Knowledge engineering: Principles and methods, Data and Knowledge Engineering 25(1) (1998) 161-197.
39. M. Uschold and M. Gruninger, Ontologies: Principles, methods and applications, Knowledge Engineering Review 11 (2) (1996).
40. 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).