数据和知识组

―知识表示和推理

ISG工具

位置模块提取程序

概述

此工具构建在OWL API之上，实现了中描述的基于逻辑的模块提取“本体的模块化重用：理论与实践”. 提取器还考虑注释的可选包含，这些注释可以作为OWL注释公理或OWL个体附加（例如一些OBO本体）。

模块提取器最初由Ernesto Jimenez Ruiz与Ulrike Sattler和Thomas Schneider合作于2007年实现（曼彻斯特大学IMG集团）、Bernardo Cuenca Grau（KRR集团）和Rafael Berlanga（卡斯特隆Jaume I大学TKBG集团）。目前，KRR集团对其进行了更新。

提取器是开源的，发布于GNU较低GPL.



下载

使用模块提取器

研究人员

埃内斯托·吉梅内兹·鲁伊斯,Bernardo Cuenca Grau公司,伊恩·霍洛克斯,乌尔里克·萨特勒,托马斯·施奈德,和拉斐尔·贝兰加

主要出版物

  • E.Jimenez-Ruiz、B.Cuenca-Grau、U.Sattler、T.Schneider和R.Berlanga。“本体论的安全和经济重用：基于逻辑的方法和工具支持”。程序中。第五届欧洲语义网络会议（ESWC 2008），西班牙特内里费，2008年6月。LNCS 5021，国际标准图书编号：978-3-540-68233-2，第185-199页。[doi参考].
  • B.Cuenca Grau？I.Horrocks？Y.Kazakov和U.Sattler。本体的模块化重用：理论与实践。人工智能研究（JAIR）杂志。第31卷。第273至318页。2008[pdf格式]