我已经使用了owl-api版本3.5,现在我想切换到版本4,但是我得到了一个运行时异常。如下面的示例代码(在3.5版中运行良好),它在每次调用函数"manager.addAxiom(...)semanticweb/owlapi/model/OWLAxiom;)Lorg/semanticweb/owlapi/model/parameters/ChangeApplied;
at de.ifak.Writer.OWL.Example.OWL
目前我正在使用Jena处理本体文件,但是找不到从某些属性中删除功能属性的方法。我想要做的是遍历本体中的所有属性,如果发现functionalProperty,则将其转换为非功能属性 Iterator<OntProperty> ont = model.listOntPropertiesOntProperty p = ont.next(); p.rem
我想推断,每个相关属性为true的A实例也是我的示例类的一个实例,在我自己的本体中定义为eg:Example a owl:class。在我自己的本体(只包含示例类)中,按照先前的建议,我尝试使用这个公理:
A and (inverse defines some) and definedBy some (hasS some (hasI我认为我对inverse的理解是不正确的(我认为它是使用的,因为A1是三重R1 defines A1中的对象;所以我也尝试了inverse defines self),但我无法理解。在我的例子<