NKIMathE – a multi-purpose knowledge management environment for mathematical concepts

Authors:
Qingtian Zeng;Cungen Cao;Hua Duan;Yongquan Liang
Affiliations:
Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China;Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China;College of Information Science and Technology, Shandong University of Science and Technology, Qingdao, China;College of Information Science and Technology, Shandong University of Science and Technology, Qingdao, China
Venue:
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Year:
2006

Citing 9
Cited 2

Progress in the development of national knowledge infrastructure

Journal of Computer Science and Technology
HELM and the Semantic Math-Web

TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Comparing Mathematical Provers

MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Medical Knowledge Acquisition from the Electronic Encyclopedia of China

AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
System Description: MBASE, an Open Mathematical Knowledge Base

CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Combining Theorem Proving and Symbolic Mathematical Computing

AISMC-2 Selected Papers from the Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence
Domain-specific ontology of botany

Journal of Computer Science and Technology
Domain-specific formal ontology of archaeology and its application in knowledge acquisition and analysis

Journal of Computer Science and Technology
Knowledge modeling and acquisition of traditional Chinese herbal drugs and formulae from text

Artificial Intelligence in Medicine

Proposal of ontology for resource matchmaking schema in emergency response systems

KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Domain Ontology Design and Reasoning for Resource Matchmaking in Emergency Response Systems

International Journal of Knowledge and Systems Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

In 2001, NKIMath, as the mathematics knowledge component of National Knowledge Infrastructure, was initiated to elaborate in China. In order to help knowledge engineers acquire and manage the mathematical knowledge especially the conceptual knowledge, a knowledge management environment, NKIMathE has been designed and developed. NKIMathE integrates three main components: (1) a platform for knowledge acquisition, syntax checking and organization for mathematical concepts; (2) a module for multi-lingual knowledge translation and transform for mathematical concepts; and (3) a Web-based and a mobile knowledge Q-A platforms for mathematical concepts.