@Override public Set<ATermAppl> getResults(final KnowledgeBase kb) { return kb.getAllClasses(); } });
@Override public Collection<ATermAppl> getSubjects(final KnowledgeBase kb) { return kb.getAllClasses(); }
@Override public Collection<ATermAppl> getSubjects(final KnowledgeBase kb) { return kb.getAllClasses(); }
@Override public Set<ATermAppl> getResults(final KnowledgeBase kb) { return kb.getAllClasses(); } });
@Override public Collection<ATermAppl> getSubjects(final KnowledgeBase kb) { return kb.getAllClasses(); }
@Override public Collection<ATermAppl> getSubjects(final KnowledgeBase kb) { return kb.getAllClasses(); }
@Override public Collection<ATermAppl> getSubjects(final KnowledgeBase kb) { return kb.getAllClasses(); }
@Override public Set<ATermAppl> getResults(final KnowledgeBase kb) { return kb.getAllClasses(); } });
@Override public Collection<ATermAppl> getSubjects(final KnowledgeBase kb) { return kb.getAllClasses(); }
@Override public Collection<ATermAppl> getSubjects(final KnowledgeBase kb) { return kb.getAllClasses(); }
@Override public Set<ATermAppl> getResults(final KnowledgeBase kb) { return kb.getAllClasses(); } });
@Override public Collection<ATermAppl> getSubjects(final KnowledgeBase kb) { return kb.getAllClasses(); }
@Override public Collection<ATermAppl> getSubjects(final KnowledgeBase kb) { return kb.getAllClasses(); }
@Override public Set<ATermAppl> getResults(final KnowledgeBase kb) { return kb.getAllClasses(); } });
@Override public Set<ATermAppl> getResults(final KnowledgeBase kb) { return kb.getAllClasses(); } });
@Override public Collection<ATermAppl> getSubjects(final KnowledgeBase kb) { return kb.getAllClasses(); }
@Override public Collection<ATermAppl> getSubjects(final KnowledgeBase kb) { return kb.getAllClasses(); }
@Override public Collection<ATermAppl> getSubjects(final KnowledgeBase kb) { return kb.getAllClasses(); }
private void processClasses() { final TBox tbox = _KB.getTBox(); for (final ATermAppl c : _KB.getAllClasses()) { final Iterator<Unfolding> unfoldC = tbox.unfold(c); while (unfoldC.hasNext()) { final Unfolding unf = unfoldC.next(); _visitor.visit(unf.getResult()); } } }
private void processClasses() { final TBox tbox = _KB.getTBox(); for (final ATermAppl c : _KB.getAllClasses()) { final Iterator<Unfolding> unfoldC = tbox.unfold(c); while (unfoldC.hasNext()) { final Unfolding unf = unfoldC.next(); _visitor.visit(unf.getResult()); } } }