使用 java OWL API 声明对象 属性

Question

创建 OWL class 的声明很容易，即

Declaration(Class(:ComponentIT))

使用 java OWL API v5:

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

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

Declaration(ObjectProperty(:hasValue))

Answer 1

getOWLDeclarationAxiom() 方法对属性的处理方式与 类 相同，即

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