java - 如何从关联案例的 ObjectProperty 创建 SubOjectProperty？

Question

我正在使用 OWL API 和 Java (Eclipse) 开发一种算法。对于我的 ASSOCIATION 案例，我需要创建一个公理，其中 AGGREGATION 和 COMPOSITION 作为 ASSOCIATION 对象的 SubObjectProperty。然而，从我的代码中，我不断提示将 ASSOCIATION 对象更改为我不喜欢的类。我该如何解决这个问题？

我尝试使用 OWLSubObjectPropertyOfAxiom 创建公理，但提示将参数 ASSOCIATION 转换为 OWLClassExpression(我不喜欢这样做)。

OWLObjectProperty ASSOCIATION = df.getOWLObjectProperty(IOR + "/ASSOCIATION");
OWLObjectProperty AGGREGATION = df.getOWLObjectProperty(IOR + "/AGGREGATION");
OWLObjectProperty COMPOSITION = df.getOWLObjectProperty(IOR + "/COMPOSITION");
OWLSubObjectPropertyOfAxiom axAssociation = df.getOWLSubObjectPropertyOfAxiom
(
df.getOWLObjectSomeValuesFrom(AGGREGATION, ASSOCIATION),
df.getOWLObjectSomeValuesFrom(COMPOSITION, ASSOCIATION)
);

I am expecting to be able to create an axiom for AGGREGATION to be a SubObjectProperty from ASSOCIATION object.

Answer 1

but prompted to cast argument ASSOCIATION to OWLClassExpression

这是不正确的。参数类型为 OWLObjectPropertyExpression，并且它必须接受类型为 OWLObjectProperty 的参数。

如果这不能帮助解决您的问题，请发布完整的类，包括导入语句以及您正在使用的 OWLAPI 版本，以便可以复制该情况。