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); }
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<Set<OWLAxiom>> getInstanceExplanations(final OWLIndividual ind, final OWLClassExpression cls) { final OWLClassAssertionAxiom classAssertion = _factory.getOWLClassAssertionAxiom(cls, ind); return getEntailmentExplanations(classAssertion); }
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>> getInstanceExplanations(final OWLIndividual ind, final OWLClassExpression cls, final int maxExplanations) { final OWLClassAssertionAxiom classAssertion = _factory.getOWLClassAssertionAxiom(cls, ind); return getEntailmentExplanations(classAssertion, maxExplanations); }
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 Set<Set<OWLAxiom>> getSubClassExplanations(final OWLClassExpression subClass, final OWLClassExpression superClass) { final OWLSubClassOfAxiom subClassAxiom = _factory.getOWLSubClassOfAxiom(subClass, superClass); return getEntailmentExplanations(subClassAxiom); }
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<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); }