我想要在查询中绑定特定主题变量。例如，假设Op是subOp，下面是我试图使用的变压器。但是，最后，当我打印query时，我的主题变量是相同的，并没有被绑定。为什么？ Op BindedQueryWithKey = Transformer.transform(new TransformCopy(){
public Op transform(OpTriple optp, Op subOp)
我一直在使用耶拿OWL里森纳一些测试，但我不明白一些成果获得，例如，如果我有以下KB： Class A
Class B
Class C rdfs:subClassOf A
A owl:disjointWith B
...如果我问"C owl:disjointWith B"？到推理模型，得到的答复是前人的精力"yes"，但耶拿OWL推理机答案是否定的......我检查这个使用... if