@Override public Set<ATermAppl> getSubjects(final KnowledgeBase kb, final ATermAppl p) { return kb.getInverses(p); } });
@Override public Set<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl p) { return kb.getInverses(p); } });
@Override public Set<ATermAppl> getSubjects(final KnowledgeBase kb, final ATermAppl p) { return kb.getInverses(p); } });
@Override public Set<ATermAppl> getSubjects(final KnowledgeBase kb, final ATermAppl p) { return kb.getInverses(p); } });
@Override public Set<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl p) { return kb.getInverses(p); } });
@Override public Set<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl p) { return kb.getInverses(p); } });
@Override public Iterator<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl subj) { return kb.getInverses(subj).iterator(); }
@Override public Iterator<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl subj) { return kb.getInverses(subj).iterator(); }
@Override public Iterator<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl subj) { return kb.getInverses(subj).iterator(); }
@Override public Node<OWLObjectPropertyExpression> getInverseObjectProperties(final OWLObjectPropertyExpression pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { refreshCheck(); try { return toObjectPropertyNode(_kb.getInverses(term(pe))); } catch (final PelletRuntimeException e) { throw convert(e); } }
@Override public Node<OWLObjectPropertyExpression> getInverseObjectProperties(final OWLObjectPropertyExpression pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { refreshCheck(); try { return toObjectPropertyNode(_kb.getInverses(term(pe))); } catch (final PelletRuntimeException e) { throw convert(e); } }
@Override public Node<OWLObjectPropertyExpression> getInverseObjectProperties(final OWLObjectPropertyExpression pe) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException { refreshCheck(); try { return toObjectPropertyNode(_kb.getInverses(term(pe))); } catch (final PelletRuntimeException e) { throw convert(e); } }
directSuperProperties.put(p, _kb.getSuperProperties(p, true).size()); equivProperties.put(p, ATermUtils.primitiveOrBottom(_kb.getEquivalentProperties(p)).size() + 1); inverses.put(p, _kb.getInverses(p).size());
directSuperProperties.put(p, _kb.getSuperProperties(p, true).size()); equivProperties.put(p, ATermUtils.primitiveOrBottom(_kb.getEquivalentProperties(p)).size() + 1); inverses.put(p, _kb.getInverses(p).size());
final Set<ATermAppl> inverses = _kb.getInverses(name); if (!inverses.isEmpty())
final Set<ATermAppl> inverses = _kb.getInverses(name); if (!inverses.isEmpty())
final Set<ATermAppl> inverses = _kb.getInverses(name); if (!inverses.isEmpty())
final Set<ATermAppl> s = kb.getInverses(p); System.out.println(s); assertTrue(s.contains(invP)); final Set<ATermAppl> s = kb.getInverses(q); System.out.println(s); assertTrue(s.contains(invQ)); final Set<ATermAppl> s = kb.getInverses(invP); System.out.println(s); assertTrue(s.contains(p)); final Set<ATermAppl> s = kb.getInverses(invQ); System.out.println(s); assertTrue(s.contains(q)); assertEquals(Collections.singleton(invP), kb.getInverses(p)); assertEquals(Collections.singleton(invQ), kb.getInverses(q)); assertEquals(Collections.singleton(p), kb.getInverses(invP)); assertEquals(Collections.singleton(q), kb.getInverses(invQ));
for (final ATermAppl known : getSymmetricCandidates(VarType.PROPERTY, ioLHS, ioRHS)) for (final ATermAppl dependent : _kb.getInverses(known)) runSymetricCheck(current, ioLHS, known, ioRHS, dependent, binding); break;
for (final ATermAppl known : getSymmetricCandidates(VarType.PROPERTY, ioLHS, ioRHS)) for (final ATermAppl dependent : _kb.getInverses(known)) runSymetricCheck(current, ioLHS, known, ioRHS, dependent, binding); break;