我正在尝试查看本体是否一致。本体可以是一致的,但仍然可能有一些无法满足的类。我们称它为案例 A。
但我的问题是,当本体不能通过一致性测试时,即不一致(案例B)。我的问题是,即使在Case B中我也无法获得无法满足的本体类。
我的最终目标是处理不可满足的类以对其进行一些更改,并将不一致的本体变为一致的本体。所以,我可以在案例 A中实现我的目标(我可以访问无法满足的类),我处理它们并修改其中的一些。但是,现在,我能为案例 B做些什么呢?
以下代码显示了这两种情况。
OWLReasonerFactory reasonerFactory = new PelletReasonerFactory();
OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(myOntology);
if (reasoner.isConsistent()) {
if (reasoner.getUnsatisfiableClasses().getEntitiesMinusBottom().size() > 0) {
System.out.println("ontology is consistent but has unsatisfiable classes! FAILED");
// CASE A
} else {
System.out.println("ontology is consistent and safe without any unsatisfiable classes! PASSED");
}
} else {
System.out.println("ontology is inconsistent!FAILED");
// CASE B
}
对于案例 B,我该怎么办?在这里,它写道:
如果要查找无法满足的类,只需对所有类调用 isSatisfiable 方法即可:
reasoner.isSatisfiable(className);
我将以下代码放在案例 B中:
Iterator<OWLClass> cAll = myOntology.getClassesInSignature().iterator();
while (cAll.hasNext()) {
OWLClass c = cAll.next();
if (!reasoner.isSatisfiable(c)) {
System.out.println("class " + c + "is not satisfibale");
}
}
但我收到一个错误,如:
Exception in thread "main" org.semanticweb.owlapi.reasoner.InconsistentOntologyException: Inconsistent ontology
at com.clarkparsia.pellet.owlapiv3.PelletReasoner.convert(PelletReasoner.java:360)
at com.clarkparsia.pellet.owlapiv3.PelletReasoner.isSatisfiable(PelletReasoner.java:890)
那么如何处理案例 B中的本体呢?
更新
根据@Ignazio 的评论,在我的问题代码中,在 //CASE B 的位置,我调用了这个新函数:
public static void run(OWLOntology myOnt) {
// save the Tbox and Abox of the original ontology
Set<OWLAxiom> originalTboxAxioms = myOnt.getTBoxAxioms(true);
Set<OWLAxiom> originalAboxAxioms = myOnt.getABoxAxioms(true);
// create new empty ontology
String name = "local_path//name.owl";
OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
File fileM = new File(name);
OWLOntology newOntology = null;
try {
newOntology = manager.createOntology(IRI.create(fileM));
} catch (OWLOntologyCreationException e) {
e.printStackTrace();
}
// add only Tboxes from the orginal ontology to the new one
manager.addAxioms(newOntology, originalTboxAxioms);
// checking the consistency of the new ontology which contain only tbox
OWLReasonerFactory reasonerFactory = new PelletReasonerFactory();
Configuration configuration = new Configuration();
configuration.throwInconsistentOntologyException = false;
OWLReasoner reasoner = reasonerFactory.createNonBufferingReasoner(newOntology, configuration);
if (reasoner.isConsistent()) {
Set<OWLClass> unSat = reasoner.getUnsatisfiableClasses().getEntitiesMinusBottom();
if (unSat.size() > 0) {
Iterator<OWLClass> unClassList = unSat.iterator();
Set<OWLClass> listOfUnsatisfiableClasses = new HashSet<OWLClass>();
while (unClassList.hasNext()) {
/*
* if the unsatisfiable class appear in the original Abox,
* we mark it as an unsatisfiable class
*/
OWLClass myClass = unClassList.next();
Iterator<OWLAxiom> iter = originalAboxAxioms.iterator();
while (iter.hasNext()){
OWLAxiom ax = iter.next();
if (ax.getClassesInSignature().contains(myClass)){
listOfUnsatisfiableClasses.add(myClass);
}
}
}
System.out.println("number of unsatisfiable classes: " + listOfUnsatisfiableClasses.size());
}
}
System.out.println("The ontology is inconsistent but does not have any unsatisfiable classes!!!!!");
}
即使有了这个新功能,也找不到不满意的课程!
我还尝试了@Ignazio在此处发布的代码。对于那里给定的示例,该代码将在几秒钟内运行,但对于我的小型不一致本体,即使在 1 天后,也不会打印任何结果。
还有更多想法如何获得不满意的课程以及他们的理由集吗?