Examples of IsEntailed


Examples of org.semanticweb.owlapi.owllink.builtin.requests.IsEntailed

  public final void testIsEntailed() throws OWLReasonerRuntimeException {
    Set<OWLAxiom> axioms = ontology.getAxioms();
        IsEntailed[] queriesExpected = new IsEntailed[axioms.size()];
        int i = 0;
        for (OWLAxiom axiom : axioms) {
            queriesExpected[i++] = new IsEntailed(referenceReasoner.getDefaultKB(), axiom);
        }
    ResponseMessage expected = referenceReasoner.answer(queriesExpected);
   
        IsEntailed[] queriesActual = new IsEntailed[axioms.size()];
        i = 0;
        for (OWLAxiom axiom : axioms) {
            queriesActual[i++] = new IsEntailed(referenceReasoner.getDefaultKB(), axiom);
        }
    ResponseMessage actual = referenceReasoner.answer(queriesActual);
    assertEquals( expected, actual );
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.