得到两个猫头鹰表达式的交集

Question

我需要获得两个表达式的交集结果，更准确地说，检查交集是否等于空集。我尝试使用以下代码，但它只返回交集的表达式。如果您知道它如何返回交集的结果或具有空集的情况

OWLDataFactory factory = manager.getOWLDataFactory();
Set<OWLClassExpression> Set = new HashSet<OWLClassExpression>();
Set.add(e.getNNF());
Set.add(e.getComplementNNF());
System.out.println(" the intersection is : "+factory.getOWLObjectIntersectionOf(Set));

谢谢

Answer 1

你想要验证的是两个类表达式的交集是否可以满足，我相信 - 这意味着交集可以具有实例。为此，您需要一个推理器，您可以使用isSatisfiable()方法完成工作。