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

问题描述 投票:0回答:1

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

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));

谢谢

java owl owl-api
1个回答
0
投票

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

© www.soinside.com 2019 - 2024. All rights reserved.