owltools.diff
Class ReasonerDiff

java.lang.Object
  extended by owltools.diff.ReasonerDiff

public class ReasonerDiff
extends Object


Constructor Summary
protected ReasonerDiff(List<org.semanticweb.owlapi.model.OWLAxiom> newAxioms, List<org.semanticweb.owlapi.model.OWLAxiom> removedInferredAxioms)
           
 
Method Summary
static ReasonerDiff createReasonerDiff(OWLGraphWrapper baseLine, OWLGraphWrapper change, String reasoner)
           
 List<org.semanticweb.owlapi.model.OWLAxiom> getNewAxioms()
           
 List<org.semanticweb.owlapi.model.OWLAxiom> getRemovedInferredAxioms()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ReasonerDiff

protected ReasonerDiff(List<org.semanticweb.owlapi.model.OWLAxiom> newAxioms,
                       List<org.semanticweb.owlapi.model.OWLAxiom> removedInferredAxioms)
Parameters:
newAxioms -
removedInferredAxioms -
Method Detail

getNewAxioms

public List<org.semanticweb.owlapi.model.OWLAxiom> getNewAxioms()
Returns:
the newAxioms

getRemovedInferredAxioms

public List<org.semanticweb.owlapi.model.OWLAxiom> getRemovedInferredAxioms()
Returns:
the removedInferredAxioms

createReasonerDiff

public static ReasonerDiff createReasonerDiff(OWLGraphWrapper baseLine,
                                              OWLGraphWrapper change,
                                              String reasoner)
                                       throws org.semanticweb.owlapi.model.OWLException
Throws:
org.semanticweb.owlapi.model.OWLException


Copyright © 2010-2012. All Rights Reserved.