public Set<OWLAxiom> getInstanceExplanation(final OWLIndividual ind, final OWLClassExpression cls) { final OWLClassAssertionAxiom classAssertion = _factory.getOWLClassAssertionAxiom(cls, ind); return getEntailmentExplanation(classAssertion); }
public Set<OWLAxiom> getSubClassExplanation(final OWLClassExpression subClass, final OWLClassExpression superClass) { final OWLSubClassOfAxiom subClassAxiom = _factory.getOWLSubClassOfAxiom(subClass, superClass); return getEntailmentExplanation(subClassAxiom); }
public Set<OWLAxiom> getSubClassExplanation(final OWLClassExpression subClass, final OWLClassExpression superClass) { final OWLSubClassOfAxiom subClassAxiom = _factory.getOWLSubClassOfAxiom(subClass, superClass); return getEntailmentExplanation(subClassAxiom); }
public Set<OWLAxiom> getInstanceExplanation(final OWLIndividual ind, final OWLClassExpression cls) { final OWLClassAssertionAxiom classAssertion = _factory.getOWLClassAssertionAxiom(cls, ind); return getEntailmentExplanation(classAssertion); }
public Set<OWLAxiom> getSubClassExplanation(final OWLClassExpression subClass, final OWLClassExpression superClass) { final OWLSubClassOfAxiom subClassAxiom = _factory.getOWLSubClassOfAxiom(subClass, superClass); return getEntailmentExplanation(subClassAxiom); }
public Set<OWLAxiom> getInstanceExplanation(final OWLIndividual ind, final OWLClassExpression cls) { final OWLClassAssertionAxiom classAssertion = _factory.getOWLClassAssertionAxiom(cls, ind); return getEntailmentExplanation(classAssertion); }
@Test public void testPunningSingletonOneOf() { final OWLClass A = OWL.Class("A"); final OWLIndividual a = OWL.Individual("A"); final Set<OWLAxiom> axioms = new HashSet<>(); axioms.add(OWL.equivalentClasses(A, OWL.oneOf(a))); final OWLOntology ontology = OWL.Ontology(axioms); final OpenlletReasoner reasoner = OpenlletReasonerFactory.getInstance().createReasoner(ontology); final PelletExplanation explain = new PelletExplanation(reasoner); assertEquals(axioms, explain.getEntailmentExplanation(OWL.classAssertion(a, A))); }
@Test public void testPunningOneOf() { final OWLClass A = OWL.Class("A"); final OWLIndividual a = OWL.Individual("A"); final OWLIndividual b = OWL.Individual("b"); final Set<OWLAxiom> axioms = new HashSet<>(); axioms.add(OWL.equivalentClasses(A, OWL.oneOf(a, b))); final OWLOntology ontology = OWL.Ontology(axioms); final OpenlletReasoner reasoner = OpenlletReasonerFactory.getInstance().createReasoner(ontology); final PelletExplanation explain = new PelletExplanation(reasoner); assertEquals(axioms, explain.getEntailmentExplanation(OWL.classAssertion(a, A))); }