@Override public Set<ATermAppl> getSubjects(final KnowledgeBase kb, final ATermAppl ind) { return kb.getDifferents(ind); } });
@Override public Set<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl ind) { return kb.getDifferents(ind); } });
@Override public Set<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl ind) { return kb.getDifferents(ind); } });
@Override public Set<ATermAppl> getSubjects(final KnowledgeBase kb, final ATermAppl ind) { return kb.getDifferents(ind); } });
@Override public Set<ATermAppl> getSubjects(final KnowledgeBase kb, final ATermAppl ind) { return kb.getDifferents(ind); } });
@Override public Set<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl ind) { return kb.getDifferents(ind); } });
@Override public Iterator<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl subj) { return kb.getDifferents(subj).iterator(); }
@Override public Iterator<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl subj) { return kb.getDifferents(subj).iterator(); }
@Override public Iterator<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl subj) { return kb.getDifferents(subj).iterator(); }
@Override public NodeSet<OWLNamedIndividual> getDifferentIndividuals(final OWLNamedIndividual ind) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { refreshCheck(); try { return getIndividualNodeSet(_kb.getDifferents(term(ind))); } catch (final PelletRuntimeException e) { throw convert(e); } }
@Override public NodeSet<OWLNamedIndividual> getDifferentIndividuals(final OWLNamedIndividual ind) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { refreshCheck(); try { return getIndividualNodeSet(_kb.getDifferents(term(ind))); } catch (final PelletRuntimeException e) { throw convert(e); } }
@Override public NodeSet<OWLNamedIndividual> getDifferentIndividuals(final OWLNamedIndividual ind) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { refreshCheck(); try { return getIndividualNodeSet(_kb.getDifferents(term(ind))); } catch (final PelletRuntimeException e) { throw convert(e); } }
for (final ATermAppl a : _kb.getDifferents(ind)) makeGraphNode(a).ifPresent(node -> addTriple(triples, s, pX, node));
for (final ATermAppl a : _kb.getDifferents(ind)) makeGraphNode(a).ifPresent(node -> addTriple(triples, s, pX, node));
for (final ATermAppl a : _kb.getDifferents(ind)) makeGraphNode(a).ifPresent(node -> addTriple(triples, s, pX, node));
for (final ATermAppl dependent : _kb.getDifferents(known)) runSymetricCheck(current, dfI1, known, dfI2, dependent, binding); else
for (final ATermAppl dependent : _kb.getDifferents(known)) runSymetricCheck(current, dfI1, known, dfI2, dependent, binding); else
for (final ATermAppl dependent : _kb.getDifferents(known)) runSymetricCheck(current, dfI1, known, dfI2, dependent, binding); else
@Test public void testDifferentFrom2() { final KnowledgeBase kb = new KnowledgeBaseImpl(); kb.addClass(term("C")); kb.addClass(term("D")); kb.addDisjointClass(term("C"), term("D")); kb.addIndividual(term("a")); kb.addType(term("a"), term("C")); kb.addIndividual(term("b")); kb.addType(term("b"), term("D")); kb.classify(); assertTrue(kb.getDifferents(term("a")).contains(term("b"))); assertTrue(kb.getDifferents(term("b")).contains(term("a"))); }