INFRAWEBS 公理编辑器——用于创建复杂逻辑表达式的图形化本体驱动工具
软件工程
2012-01-10 v2
摘要
当前的 INFRAWEBS 欧洲研究项目旨在开发 ICT 框架，使软件和服务提供商能够为 Web 服务应用程序生成和建立开放且可扩展的开发平台。具体的项目目标之一是开发一个全生命周期的软件工具集，用于创建和维护基于 Web 服务建模本体框架、支持特定应用的语义 Web 服务。根据 WSMO，语义 Web 服务的功能和行为描述可以通过复杂的逻辑表达式（公理）来表示。本文描述了一个专门用于构建和编辑此类公理的用户友好型工具——INFRAWEBS 公理编辑器。在讨论了编辑器的主要设计原则之后，简要介绍了其功能架构。该工具是在 Eclipse 图形环境框架和 Eclipse 富客户端平台上实现的。
引用
@article{arxiv.0904.0293,
title = {INFRAWEBS axiom editor - a graphical ontology-driven tool for creating complex logical expressions},
author = {Gennady Agre and Petar Kormushev and Ivan Dilov},
journal= {arXiv preprint arXiv:0904.0293},
year = {2012}
}
备注
This preprint has been withdrawn by the author for revision