public Set<OWLAxiom> getEntailmentExplanation(final OWLAxiom axiom) { final OWLClassExpression unsatClass = _converter.convert(axiom); return getUnsatisfiableExplanation(unsatClass); }
public Set<OWLAxiom> getInconsistencyExplanation() { return getUnsatisfiableExplanation(_factory.getOWLThing()); }
public Set<OWLAxiom> getEntailmentExplanation(final OWLAxiom axiom) { final OWLClassExpression unsatClass = _converter.convert(axiom); return getUnsatisfiableExplanation(unsatClass); }
public Set<OWLAxiom> getInconsistencyExplanation() { return getUnsatisfiableExplanation(_factory.getOWLThing()); }
public Set<OWLAxiom> getEntailmentExplanation(final OWLAxiom axiom) { final OWLClassExpression unsatClass = _converter.convert(axiom); return getUnsatisfiableExplanation(unsatClass); }
public Set<OWLAxiom> getInconsistencyExplanation() { return getUnsatisfiableExplanation(_factory.getOWLThing()); }