private void runAllPropertyChecks(@SuppressWarnings("unused") final QueryAtom current, final ATermAppl var, final Set<ATermAppl> candidates, final ResultBinding binding) { if (isDownMonotonic(var)) for (final TaxonomyNode<ATermAppl> topNode : _kb.getRoleTaxonomy(true).getTop().getSubs()) { final ATermAppl top = topNode.getName(); if (candidates.contains(top)) runRecursively(_kb.getRoleTaxonomy(true), var, topNode.getName(), binding, new HashSet<>(candidates), false, false); } else for (final ATermAppl candidate : candidates) { final ResultBinding candidateBinding = binding.duplicate(); candidateBinding.setValue(var, candidate); exec(candidateBinding); } }
private void runAllPropertyChecks(@SuppressWarnings("unused") final QueryAtom current, final ATermAppl var, final Set<ATermAppl> candidates, final ResultBinding binding) { if (isDownMonotonic(var)) for (final TaxonomyNode<ATermAppl> topNode : _kb.getRoleTaxonomy(true).getTop().getSubs()) { final ATermAppl top = topNode.getName(); if (candidates.contains(top)) runRecursively(_kb.getRoleTaxonomy(true), var, topNode.getName(), binding, new HashSet<>(candidates), false, false); } else for (final ATermAppl candidate : candidates) { final ResultBinding candidateBinding = binding.duplicate(); candidateBinding.setValue(var, candidate); exec(candidateBinding); } }
private void runAllPropertyChecks(@SuppressWarnings("unused") final QueryAtom current, final ATermAppl var, final Set<ATermAppl> candidates, final ResultBinding binding) { if (isDownMonotonic(var)) for (final TaxonomyNode<ATermAppl> topNode : _kb.getRoleTaxonomy(true).getTop().getSubs()) { final ATermAppl top = topNode.getName(); if (candidates.contains(top)) runRecursively(_kb.getRoleTaxonomy(true), var, topNode.getName(), binding, new HashSet<>(candidates), false, false); } else for (final ATermAppl candidate : candidates) { final ResultBinding candidateBinding = binding.duplicate(); candidateBinding.setValue(var, candidate); exec(candidateBinding); } }
else final boolean lhsDM = isDownMonotonic(scLHS); final boolean rhsDM = isDownMonotonic(scRHS); else final boolean lhsDM = isDownMonotonic(spLHS); final boolean rhsDM = isDownMonotonic(spRHS);
else final boolean lhsDM = isDownMonotonic(scLHS); final boolean rhsDM = isDownMonotonic(scRHS); else final boolean lhsDM = isDownMonotonic(spLHS); final boolean rhsDM = isDownMonotonic(spRHS);
else final boolean lhsDM = isDownMonotonic(scLHS); final boolean rhsDM = isDownMonotonic(scRHS); else final boolean lhsDM = isDownMonotonic(spLHS); final boolean rhsDM = isDownMonotonic(spRHS);