数据和知识组

―知识表示和推理

隐士OWL推理机

OWL街区的新小子

在Java应用程序中使用HermiT

要开始使用HermiT编程,请尝试构建并运行一个简单的演示程序(或下载一个)在这里). 使用编译演示

javac-cp HermiT.jar演示.java

然后使用以下命令运行程序,对于Windows,将冒号(:)替换为分号(;):

java-cp.:HermiT.jar演示

HermiT 1.2对使用本体等对象提供了本机支持和OWL API 3.0.0中的类表达式。

现在可以通过创建Reasoner的实例在演示程序中实例化HermiTorg.semanticweb包中的类。赫米特。以下内容代码加载本体,创建推理器对象,并输出本体是否一致(假设HermitT.jar在类路径上)。

OWLOntologyManager m=OWLManager.createOWLOntologyManager();OWLOntology o=m.loadOntologyFromOntology文档(IRI.create(“someIRI”));Reasoner hermit=新Reasonen(o);System.out.println(hermit.isConsistent());

要使用OWL API(包org.semanticweb.owlapi.inference)中的OWLReasoner接口而不是HermiT的Reasoner类上面的第三行必须替换为:

OWLReasoner reasoner=新的Resoner。ReasonerFactory().createReasoner(o);

HermiT根据LGPL获得许可,因此您可以自由修改并扩展推理以满足您的需求。发布包含文件夹项目,其中包含EclipseJava项目,包括所有库和源。一些Javadoc包含在标准HermiT分布中,可以使用以下命令提取:

jar-xf HermiT.jar javadoc

马文

要将HermiT与Maven一起使用,请将以下内容添加到依赖项部分你的pom文件。

<依赖性>
<groupId>com.hermit-reasoner</groupId>
org.semanticweb.hermit
<版本>1.3.8.4
</依赖性>

maven版本号与主版本相同,带有中间版本更新OWL API时点释放。