/** * Very important initialization step that needs to be called once before a reasoner is created. This function will be called automatically when * GlassBoxExplanation is loaded by the class loader. This function simply calls the {@link GlassBoxExplanation#setup()} function. */ public static void setup() { GlassBoxExplanation.setup(); }
public Set<OWLAxiom> getSubClassExplanation(final OWLClassExpression subClass, final OWLClassExpression superClass) { final OWLSubClassOfAxiom subClassAxiom = _factory.getOWLSubClassOfAxiom(subClass, superClass); return getEntailmentExplanation(subClassAxiom); }
public Set<OWLAxiom> getEntailmentExplanation(final OWLAxiom axiom) { final OWLClassExpression unsatClass = _converter.convert(axiom); return getUnsatisfiableExplanation(unsatClass); }
public Set<Set<OWLAxiom>> getEntailmentExplanations(final OWLAxiom axiom) { final OWLClassExpression unsatClass = _converter.convert(axiom); return getUnsatisfiableExplanations(unsatClass); }
public Set<Set<OWLAxiom>> getInstanceExplanations(final OWLIndividual ind, final OWLClassExpression cls) { final OWLClassAssertionAxiom classAssertion = _factory.getOWLClassAssertionAxiom(cls, ind); return getEntailmentExplanations(classAssertion); }
/** * Very important initialization step that needs to be called once before a reasoner is created. This function will be called automatically when * GlassBoxExplanation is loaded by the class loader. This function simply calls the {@link GlassBoxExplanation#setup()} function. */ public static void setup() { GlassBoxExplanation.setup(); }
public Set<OWLAxiom> getInstanceExplanation(final OWLIndividual ind, final OWLClassExpression cls) { final OWLClassAssertionAxiom classAssertion = _factory.getOWLClassAssertionAxiom(cls, ind); return getEntailmentExplanation(classAssertion); }
public Set<Set<OWLAxiom>> getEntailmentExplanations(final OWLAxiom axiom, final int maxExplanations) { final OWLClassExpression unsatClass = _converter.convert(axiom); return getUnsatisfiableExplanations(unsatClass, maxExplanations); }
public Set<Set<OWLAxiom>> getInstanceExplanations(final OWLIndividual ind, final OWLClassExpression cls, final int maxExplanations) { final OWLClassAssertionAxiom classAssertion = _factory.getOWLClassAssertionAxiom(cls, ind); return getEntailmentExplanations(classAssertion, maxExplanations); }
public Set<OWLAxiom> getEntailmentExplanation(final OWLAxiom axiom) { final OWLClassExpression unsatClass = _converter.convert(axiom); return getUnsatisfiableExplanation(unsatClass); }
/** * Very important initialization step that needs to be called once before a reasoner is created. This function will be called automatically when * GlassBoxExplanation is loaded by the class loader. This function simply calls the {@link GlassBoxExplanation#setup()} function. */ public static void setup() { GlassBoxExplanation.setup(); }
public Set<OWLAxiom> getSubClassExplanation(final OWLClassExpression subClass, final OWLClassExpression superClass) { final OWLSubClassOfAxiom subClassAxiom = _factory.getOWLSubClassOfAxiom(subClass, superClass); return getEntailmentExplanation(subClassAxiom); }
public Set<Set<OWLAxiom>> getSubClassExplanations(final OWLClassExpression subClass, final OWLClassExpression superClass, final int maxExplanations) { final OWLSubClassOfAxiom subClassAxiom = _factory.getOWLSubClassOfAxiom(subClass, superClass); return getEntailmentExplanations(subClassAxiom, maxExplanations); }
public OpenlletExplain() { GlassBoxExplanation.setup(); }
public Set<OWLAxiom> getInstanceExplanation(final OWLIndividual ind, final OWLClassExpression cls) { final OWLClassAssertionAxiom classAssertion = _factory.getOWLClassAssertionAxiom(cls, ind); return getEntailmentExplanation(classAssertion); }
public Set<Set<OWLAxiom>> getInstanceExplanations(final OWLIndividual ind, final OWLClassExpression cls) { final OWLClassAssertionAxiom classAssertion = _factory.getOWLClassAssertionAxiom(cls, ind); return getEntailmentExplanations(classAssertion); }
public Set<OWLAxiom> getSubClassExplanation(final OWLClassExpression subClass, final OWLClassExpression superClass) { final OWLSubClassOfAxiom subClassAxiom = _factory.getOWLSubClassOfAxiom(subClass, superClass); return getEntailmentExplanation(subClassAxiom); }
public Set<Set<OWLAxiom>> getInstanceExplanations(final OWLIndividual ind, final OWLClassExpression cls) { final OWLClassAssertionAxiom classAssertion = _factory.getOWLClassAssertionAxiom(cls, ind); return getEntailmentExplanations(classAssertion); }
public Set<Set<OWLAxiom>> getSubClassExplanations(final OWLClassExpression subClass, final OWLClassExpression superClass) { final OWLSubClassOfAxiom subClassAxiom = _factory.getOWLSubClassOfAxiom(subClass, superClass); return getEntailmentExplanations(subClassAxiom); }
public Set<Set<OWLAxiom>> getSubClassExplanations(final OWLClassExpression subClass, final OWLClassExpression superClass, final int maxExplanations) { final OWLSubClassOfAxiom subClassAxiom = _factory.getOWLSubClassOfAxiom(subClass, superClass); return getEntailmentExplanations(subClassAxiom, maxExplanations); }