我一直试图设置一个类似于这样的查询打印机:,在这里,如果我给它一个曼彻斯特语法的查询,我就可以得到一个响应,它反映了我在protege中得到的内容。我用Openllet交换了隐士推理者,似乎再也找不到任何一个人了。
出于种种原因,如果可能的话,我想离耶拿远点。
OntController.java
public class OntController {
//declared variables here
public OntController(String name) throws OWLOntologyCreationException, OWLOntologyStorageEx
早上好,我正在编写一个可以管理本体的java类,特别是我想找到所有的属性(名称、子类、超类、ecc.)一个OWLClass,但我无法尝试执行隐士,我也不明白为什么。我使用Eclipse项目,pom文件中的依赖项是从隐士示例中复制的,OWLapi依赖项也是如此。
java控制台中的错误是:
Exception in thread "main" java.lang.NullPointerException
at org.semanticweb.HermiT.Reasoner.<init>(Reasoner.java:210)
at org.semanti
我正试图在一个本体上运行推理。Hermit显示以下错误:
Error 1 Logged at Tue Apr 12 22:20:40 EDT 2016
UnsupportedFacetException: The facet with URI 'http://www.w3.org/2001/XMLSchema#minInclusive' does not support '"0.5"^^xsd:double' as value. The value should be an integer, a decimal, or a rational, b
我在使用HermiT推理器库时遇到了问题。
有没有人能理解我做错了什么?
public static void main(String[] args) {
try {
// First, we create an OWLOntologyManager object. The manager will load and
// save ontologies.
OWLOntologyManager manager=OWLManager.createOWLOntologyManager();
// Now, we create
假设我有以下类型类
class Silly (t :: * -> *) where
-- details
我希望能够表达以下约束,但我不确定这是否可能。
class (Silly s) => Willy (s t) where
-- details
基本上,我想对类型构造函数施加一个约束,而不是整个类型。这句话能表达吗?我甚至不知道这种约束会被称为什么,所以谷歌一直没有帮助。
编辑:我有一个数据类型
data Reasoner logic atoms a = Reasoner { unReasoner :: MassAssignment atoms -> a
我开始使用Pellet在我的OWLApi应用程序中创建推理器。与示例中一样,我从下面的代码开始:
Reasoner reasoner = new Reasoner( manager );
但是Eclipse在“新的推理机”上给了我这个错误:
The type org.semanticweb.owl.model.OWLOntologyManager cannot be resolved.
It is indirectly referenced from required .class files
我该如何解决这个问题?我在谷歌上搜索,但唯一的回应并不清楚。
我已经使用Protege 4.1alpha创建了一个RDF/OWL文件。我还在Protege中创建了一个名为CheapPhone的已定义类。该类有一个限制,如下所示:
(hasPrice some integer[< 350])
当一部手机的价格低于350美元时,就会被推断为CheapPhone。在Protege 4.1 alpha中推断这一点没有问题。但是,我不能使用Jena推断这一点。
我还创建了一个名为SmartPhone的已定义类。这个类还有一个限制,如下所示:
(has3G value true) and (hasInternet value true)
只要一部手机有3G和互
我想看看本体论是否一致。本体可以是一致的,但仍然可能有一些不可满足的类。我们称之为A案。
但我的问题是,当本体无法通过一致性测试时,即是内部一致性(案例B)。我的问题是,即使在B种情况下,我也无法得到无法满足的本体类。
我的最终目标是对不可满足的类进行处理,对它们进行一些修改,并将不一致的本体变为一致的类。因此,我可以达到我的目标,以防A(我可以访问不可满足的类),我处理和修改其中的一些。但是,现在,我能为B案做些什么
下面的代码显示了这两种情况。
OWLReasonerFactory reasonerFactory = new PelletReasonerFactory();
O
我正在使用owlapi来返回给定类的个体。在使用匹萨本体测试代码时,它工作得非常完美,但是当我在本体上测试它时,会出现以下异常:
Exception in thread "main" java.lang.NoClassDefFoundError: dk/brics/automaton/BasicAutomata
at org.semanticweb.HermiT.datatypes.rdfplainliteral.RDFPlainLiteralPatternValueSpaceSubset.<clinit>(RDFPlainLiteralPatternVal