owltools.diff
Class ReasonerDiff
java.lang.Object
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)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ReasonerDiff
protected ReasonerDiff(List<org.semanticweb.owlapi.model.OWLAxiom> newAxioms,
List<org.semanticweb.owlapi.model.OWLAxiom> removedInferredAxioms)
- Parameters:
newAxioms
- removedInferredAxioms
-
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.