棱镜
概述
PrisM是OWL2本体的模块提取器。它提供了为几个不同的不可分割关系提取模块的可能性,例如模型不可分割、查询不可分割和分类不可分割等。它的工作原理是将模块提取问题简化为数据日志中的推理问题然后使用数据日志引擎解决问题RDFox公司.
PrisM支持大多数OWL 2功能;但是,它不支持以下构造:
- OWLHasKeyAxiom,
- OWLDataRanges不是原子或OWLDataOneOf的实例,
- 其数据类型在OWL2数据类型映射之外的OWL迭代,
- OWL数据类型定义Axiom
- SWRLDataRangeAtom(在SWRLRule中)。
下载
PrisM可以从下载在这里