public class ReasonerDiff extends Object
Modifier | Constructor and Description |
---|---|
protected |
ReasonerDiff(List<org.semanticweb.owlapi.model.OWLAxiom> newAxioms,
List<org.semanticweb.owlapi.model.OWLAxiom> removedInferredAxioms) |
Modifier and Type | Method and Description |
---|---|
static ReasonerDiff |
createReasonerDiff(OWLGraphWrapper baseLine,
OWLGraphWrapper change,
String reasoner) |
List<org.semanticweb.owlapi.model.OWLAxiom> |
getNewAxioms() |
List<org.semanticweb.owlapi.model.OWLAxiom> |
getRemovedInferredAxioms() |
public List<org.semanticweb.owlapi.model.OWLAxiom> getNewAxioms()
public List<org.semanticweb.owlapi.model.OWLAxiom> getRemovedInferredAxioms()
public static ReasonerDiff createReasonerDiff(OWLGraphWrapper baseLine, OWLGraphWrapper change, String reasoner) throws org.semanticweb.owlapi.model.OWLException
org.semanticweb.owlapi.model.OWLException
Copyright © 2010–2015. All rights reserved.