@Override public boolean isEntailed(Set<? extends OWLAxiom> axioms) { checkPreConditions(axioms.toArray(new OWLObject[0])); if (!m_isConsistent.booleanValue()) return true; EntailmentChecker checker=new EntailmentChecker(this,getDataFactory()); return checker.entails(axioms); }
public boolean isEntailed(Set<? extends OWLAxiom> axioms) { checkPreConditions(axioms.toArray(new OWLObject[0])); if (!m_isConsistent) return true; EntailmentChecker checker=new EntailmentChecker(this,getDataFactory()); return checker.entails(axioms); }
@Override public boolean isEntailed(OWLAxiom axiom) { checkPreConditions(axiom); if (!isConsistent()) return true; EntailmentChecker checker=new EntailmentChecker(this,getDataFactory()); return checker.entails(axiom); } @Override
public boolean isEntailed(OWLAxiom axiom) { checkPreConditions(axiom); if (!isConsistent()) return true; EntailmentChecker checker=new EntailmentChecker(this,getDataFactory()); return checker.entails(axiom); } public boolean isEntailed(Set<? extends OWLAxiom> axioms) {
@Override public void run(Reasoner hermit,StatusOutput status,PrintWriter output,boolean ignoreOntologyPrefixes) { status.log(2,"Checking whether the loaded ontology entails the conclusion ontology"); OWLOntologyManager m=OWLManager.createOWLOntologyManager(); try { OWLOntology conclusions = m.loadOntology(conclusionIRI); status.log(2,"Conclusion ontology loaded."); EntailmentChecker checker=new EntailmentChecker(hermit, m.getOWLDataFactory()); boolean isEntailed=checker.entails(conclusions.getLogicalAxioms()); status.log(2,"Conclusion ontology is "+(isEntailed?"":"not ")+"entailed."); output.println(isEntailed); } catch (OWLOntologyCreationException e) { e.printStackTrace(); } output.flush(); } }