• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Intelligent computer mathematics >The MMT API: A Generic MKM System
【24h】

The MMT API: A Generic MKM System

机译：MMT API：通用MKM系统

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The Mmt language has been developed as a scalable representation and interchange language for formal mathematical knowledge. It permits natural representations of the syntax and semantics of virtually all declarative languages while making MMT-based MKM services easy to implement. It is foundationally unconstrained and can be instantiated with specific formal languages. The Mmt API implements the Mmt language along with multiple backends for persistent storage and frontends for machine and user access. Moreover, it implements a wide variety of MMT-based knowledge management services. The API and all services are generic and can be applied to any language represented in Mmt. A plugin interface permits injecting syntactic and semantic idiosyncrasies of individual formal languages.
机译：Mmt语言已被开发为形式数学知识的可扩展表示形式和交换语言。它允许几乎所有声明性语言的语法和语义的自然表示，同时使基于MMT的MKM服务易于实现。它从根本上不受限制，可以使用特定的形式语言实例化。 Mmt API实现Mmt语言以及用于持久存储的多个后端以及用于机器和用户访问的前端。此外，它实现了多种基于MMT的知识管理服务。 API和所有服务都是通用的，可以应用于Mmt表示的任何语言。插件接口允许注入各种形式语言的句法和语义特质。

著录项

  • 来源
    《Intelligent computer mathematics》|2013年|339-343|共5页
  • 会议地点 Bath(GB)
  • 作者

    Florian Rabe;

  • 作者单位

    Computer Science, Jacobs University Bremen, Germany;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号