Representing Mathematical Problems by means of Protégé OWL
msra(2005)
摘要
With the objective of improving Mathematical supervisory capacity of Computer Aided Systems, we are developing a system which makes use of an ontology for the representation of knowledge in Mathematics, with the purpose of making use of the same by means of specific applications (for example carrying out geometric demonstrations). The distributed architecture of our system is composed of a series of modules that work in different virtual machines. The system is structured in two main subsystems:
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络