Set<DatabaseFormula> knowledgeDfNotUsedInKB = this.program.getKRInterface().getUnused(getKnowledge(), new LinkedHashSet<Query>(0)); tempQueries.addAll(getGoals()); Set<DatabaseFormula> unusedKnowledgeOrBeliefs = this.program.getKRInterface().getUnused(tempDbfs, tempQueries); tempDbfs.addAll(getGoalDbfs()); tempQueries = new LinkedHashSet<>(getGoalQueries()); Set<DatabaseFormula> unusedGoals = this.program.getKRInterface().getUnused(tempDbfs, tempQueries); knowledgeDfNotUsed.retainAll(unusedGoals);
for (DatabaseFormula unused : kri.getUnused(this.predicateDefinitions, this.predicateQueries)) { if (had.add(unused.getSignature())) { this.beliefsUnused.add(unused);