owl-api

3热度

2回答

我在eclipse 3.4中使用OWL Api 4.0和Protege 4中的简单本体论。我有两个“Ward”和“Gaurdian”类。这些类的个体通过对象属性isWardOf关联。我怎样才能找回有关同一个人Gaurdian类的病房的个人。考虑如下图所示： - 我要检索的事实，彼得和Allice相关或兄弟姐妹，因为它们都连接到杰克。关于如何使用OWL API 4.0来实现这个任何粗略的线索。我的

1热度

3回答

GWT（Maven的）项目：依赖冲突

我有以下依赖性 <dependency> <groupId>com.google.gwt.inject</groupId> <artifactId>gin</artifactId> <version>2.1.2</version> </dependency> <dependency> <groupId>net.sourcefor

0热度

2回答

OWL API支持Oasis XML目录吗？

OWL API提供了几个IRI映射器来本地缓存本体文档。他们中的任何一个都使用Oasis XML目录，就像Protege那样？更好的是，有没有人在本地自动缓存读入本体，并在使用本地副本之前检查原始IRI以进行更新？

0热度

1回答

如何使用OWL API获取对象属性声明的注释

假设以下示例（参见下图）：单个“bmw-x5”具有对象属性断言“has-type car”。此对象属性具有值为“4”的注释属性“wheels”。使用OWL API，我设法获得了单个“bmw-x5”，对象属性断言“hastype car”。我现在坚持注解属性“轮子”。我如何从OWL API获得它的价值？ <ObjectPropertyAssertion> <Annotation>

0热度

1回答

如何在推断和明确公理之间进行区分？

我有一个关于使用OWL API和reasoners的基本问题。我试过JFact Reasoner，成功运行它并获得了很多公理（其中一些推理，其中一些在原始本体中明确声明）。我需要区分他们，但我真的找不到任何方法来做到这一点。在OWLClass或其他地方有什么方法吗？

-2热度

1回答

在android中加载猫头鹰文件

我知道这个问题之前已经提出过，但现在没有适当的解决方案，所以我要再次提问。我怎样才能加载我的android项目中的猫头鹰文件？该代码在java中工作，但它们在android中无用。当我在Android项目中尝试它们时，无法接受该文件。我正在使用OWLApi 3.4.10。我从我的mainActivity类加载本体。加载在OntologyClass类的loadOntology方法中执行。在主

0热度

2回答

使用OWL API检查本体一致性和可接受性4

我试图检查本体的一致性。本体只包含个体的描述，类和语义规则由导入的本体描述。我想使用isConsistenct方法将是正确的选择。 OWLReasonerFactory reasonerFactory = new StructuralReasonerFactory(); OWLReasoner reasoner = reasonerFactory.createNonBufferingReas

0热度

1回答

打印所有定义的类的子类而不打印不满意的类

我是OWLAPi的新手，我使用Jfact1.2.1推理器。在我的本体论中有两个不可满足的类。我想在没有这两个不满意的类的情况下打印所有的子类。我已经使用数组创建了一些代码，但是我成功了，但是我不喜欢这个数组，因为我不能将它用于其他未知的本体，这可能会有超过2个不可满足的类。所以我的问题是，有没有办法打印出所有定义的类的子类，而不是在其中存在unsitisfiable类？我真的需要别人的帮助，

0热度

1回答

OWL API入门

回答后编辑：这是一个主要由于IDE问题而引起的问题。如果你不熟悉eclipse或java编程，同时也学习OWL，这更有用。我对OWL来说一般都很陌生，并且需要熟悉我正在使用的项目的OWL API。我的Java有点生疏，所以也许我的问题在那里，但我不这么认为。问题：我一直在玩OWL API几天，并且无法找到任何必要的兼容版本库来做任何事情。这是一个非常基本的操作的一些示例代码，我试图执行： pa

0热度

1回答

使用shell中的简单命令行转换RDF/XML中的OWL/XML

我在询问你的帮助，以创建一个将OWL/XML转换为RDF/XML的转换器。我的目的是通过带有bash的简单shell命令来使用OWLapi 2。我的文件在OWL/XML中，但我必须将它们转换为RDF/XML，以便将它们发送到我的fuseki数据库中。我可以通过Protégé或在线转换器来转换每个文件，但我需要转换的文件超过一千个。见我当前的Java文件（但我不知道如何使用它）： package