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

被引：5
|
作者：
Fürst, F [1 ]
Leclère, M [1 ]
Trichet, F [1 ]
机构：
[1] Univ Nantes, Comp Sci Res Inst, IRIN, F-44322 Nantes, France
来源：
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE | 2003年 / 38卷 / 1-3期
关键词：
ontology; operationalization; conceptual graphs; projective geometry;
D O I：
10.1023/A:1022911730013
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The work presented in this paper deals with the formalization of the ontology underlying projective geometry. This formalization is done by using the conceptual graph model which has been defined in the Artificial Intelligence community. Through this experiment, we endeavour to show that applying knowledge representation techniques to mathematical fields is a relevant way to improve the reliability and efficiency of tools dedicated to mathematical knowledge management. Our proposal is based on the construction of knowledge bases (defined according to ontologies) which must be considered as the core of any mathematical knowledge management tool such as mathematical search engines on the web, mathematical intelligent tutoring systems, mathematical theorem provers, etc. This paper also aims at highlighting the contributions provided by ontological engineering when dealing with mathematical knowledge management.
引用
收藏
页码：65 / 89
页数：25
相关论文
共 50 条
  • [1] Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry
    F. Fürst
    M. Leclère
    F. Trichet
    Annals of Mathematics and Artificial Intelligence, 2003, 38 : 65 - 89
  • [2] OntoMODEL: Ontological Mathematical Modeling Knowledge Management
    Suresh, Pradeep
    Joglekar, Girish
    Hsu, Shuohuan
    Akkisetty, Pavan
    Hailemariam, Leaelaf
    Jain, Ankur
    Reklaitis, Gintaras
    Venkatasubramanian, Venkat
    18TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING, 2008, 25 : 985 - 990
  • [3] An ontological approach to knowledge management in engineering companies of the energy sector
    Batzias, FA
    Spanidis, FMP
    ENERGY AND THE ENVIRONMENT, 2003, 7 : 349 - 359
  • [4] An ontological framework for the formalization, organization and usage of TCM-Knowledge
    Hai Long
    Yan Zhu
    Lirong Jia
    Bo Gao
    Jing Liu
    Lihong Liu
    Heinrich Herre
    BMC Medical Informatics and Decision Making, 19
  • [5] An ontological framework for the formalization, organization and usage of TCM-Knowledge
    Long, Hai
    Zhu, Yan
    Jia, Lirong
    Gao, Bo
    Liu, Jing
    Liu, Lihong
    Herre, Heinrich
    BMC MEDICAL INFORMATICS AND DECISION MAKING, 2019, 19 (Suppl 2)
  • [6] Towards mathematical knowledge management for electrical engineering
    Rowinska-Schwarzweller, Agnieszka
    Schwarzweller, Christoph
    TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS, 2007, 4573 : 371 - +
  • [7] Ontological Engineering of Knowledge Space for Situational Management in Russian Energy Sector
    Massel, L., V
    Vorozhtsova, T. N.
    PROCEEDINGS OF THE 2018 3RD RUSSIAN-PACIFIC CONFERENCE ON COMPUTER TECHNOLOGY AND APPLICATIONS (RPC), 2018,
  • [8] Ontological Approach Toward Security Knowledge Management for Secure Software Engineering
    Lasmar, Sarra
    Ben Ghezala, Henda Hajjemi
    EDUCATION EXCELLENCE AND INNOVATION MANAGEMENT: A 2025 VISION TO SUSTAIN ECONOMIC DEVELOPMENT DURING GLOBAL CHALLENGES, 2020, : 6402 - 6413
  • [9] Ontological engineering for practical knowledge work
    Gavrilova, Tatiana
    Knowledge-Based Intelligent Information and Engineering Systems: KES 2007 - WIRN 2007, Pt II, Proceedings, 2007, 4693 : 1154 - 1161
  • [10] ENGINEERING INTELLIGENT SYSTEMS ON THE KNOWLEDGE FORMALIZATION CONTINUUM
    Baumeister, Joachim
    Reutelshoefer, Jochen
    Puppe, Frank
    INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2011, 21 (01) : 27 - 39
12345