将MKM语义服务经济高效地集成到编辑环境中
人机交互
2012-04-26 v2
摘要
将MKM服务集成到编辑器中一直是MKM正式和非正式领域都非常感兴趣的话题。到目前为止，将MKM服务集成到编辑环境中的大多数努力都是单独进行的，导致高昂的创建和维护成本。在本文中，我提出了一种架构，允许编辑环境和MKM服务以更高效的方式集成。这是通过将编辑器和服务仅与实时文档同步和服务代理集成一次来实现的。这样做简化了服务的开发以及编辑器集成。我的经验表明，将新服务集成到任意数量的已集成编辑器中，可能只需要3-4小时的工作。
引用
@article{arxiv.1203.3316,
title = {Cost-Effective Integration of MKM Semantic Services into Editing Environments},
author = {Constantin Jucovschi},
journal= {arXiv preprint arXiv:1203.3316},
year = {2012}
}
备注
Intelligent Computer Mathematics, CICM 2012