public static class JustifyAssertionsTool.JustifyResult extends Object
Constructor and Description |
---|
JustifyResult() |
Modifier and Type | Method and Description |
---|---|
Set<org.semanticweb.owlapi.model.OWLAxiom> |
getExistsEntailed() |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
getExistsNotEntailed() |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
getExistsRedundant() |
Set<org.semanticweb.owlapi.model.OWLAxiom> |
getNewInferred() |
public Set<org.semanticweb.owlapi.model.OWLAxiom> getNewInferred()
public Set<org.semanticweb.owlapi.model.OWLAxiom> getExistsEntailed()
public Set<org.semanticweb.owlapi.model.OWLAxiom> getExistsRedundant()
public Set<org.semanticweb.owlapi.model.OWLAxiom> getExistsNotEntailed()
Copyright © 2010–2016. All rights reserved.