创建OWL类的声明很容易,即

Declaration(Class(:ComponentIT))


使用java OWL API v5

OWLClass A = df.getOWLClass(IOR + "#ComponentIT");
OWLDeclarationAxiom da = df.getOWLDeclarationAxiom(A);


问题是
如何使用OWL API创建对象属性的声明(用于插入OWLOntology对象的公理),即

Declaration(ObjectProperty(:hasValue))

最佳答案

getOWLDeclarationAxiom()方法对属性起作用的方式与对类相同,即

OWLObjectProperty hasValue = df.getOWLObjectProperty(IOR + "#hasValue");
OWLDeclarationAxiom d_hasValue = df.getOWLDeclarationAxiom(hasValue);

关于java - 使用Java OWL API声明对象属性,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/52109860/

10-10 18:02