runSymetricCheck(current, saI1, known, saI2, dependent, binding); for (final ATermAppl known : getSymmetricCandidates(VarType.INDIVIDUAL, dfI1, dfI2)) for (final ATermAppl dependent : _kb.getDifferents(known)) runSymetricCheck(current, dfI1, known, dfI2, dependent, binding); else if (_logger.isLoggable(Level.FINER)) runSymetricCheck(current, eqcLHS, known, eqcRHS, dependent, binding); for (final Set<ATermAppl> dependents : _kb.getDisjointClasses(known)) for (final ATermAppl dependent : dependents) runSymetricCheck(current, dwLHS, known, dwRHS, dependent, binding); else _logger.finer("Atom " + current + "cannot be satisfied in any consistent ontology."); runSymetricCheck(current, coLHS, known, coRHS, dependent, binding); else _logger.finer("Atom " + current + "cannot be satisfied in any consistent ontology."); runSymetricCheck(current, eqpLHS, known, eqpRHS, dependent, binding); if (_result.size() == size) runSymetricCheck(current, ioLHS, known, ioRHS, dependent, binding); break; for (final Set<ATermAppl> dependents : _kb.getDisjointProperties(known)) for (final ATermAppl dependent : dependents) runSymetricCheck(current, dwLHSp, known, dwRHSp, dependent, binding);
runSymetricCheck(current, saI1, known, saI2, dependent, binding); for (final ATermAppl known : getSymmetricCandidates(VarType.INDIVIDUAL, dfI1, dfI2)) for (final ATermAppl dependent : _kb.getDifferents(known)) runSymetricCheck(current, dfI1, known, dfI2, dependent, binding); else if (_logger.isLoggable(Level.FINER)) runSymetricCheck(current, eqcLHS, known, eqcRHS, dependent, binding); for (final Set<ATermAppl> dependents : _kb.getDisjointClasses(known)) for (final ATermAppl dependent : dependents) runSymetricCheck(current, dwLHS, known, dwRHS, dependent, binding); else _logger.finer("Atom " + current + "cannot be satisfied in any consistent ontology."); runSymetricCheck(current, coLHS, known, coRHS, dependent, binding); else _logger.finer("Atom " + current + "cannot be satisfied in any consistent ontology."); runSymetricCheck(current, eqpLHS, known, eqpRHS, dependent, binding); if (_result.size() == size) runSymetricCheck(current, ioLHS, known, ioRHS, dependent, binding); break; for (final Set<ATermAppl> dependents : _kb.getDisjointProperties(known)) for (final ATermAppl dependent : dependents) runSymetricCheck(current, dwLHSp, known, dwRHSp, dependent, binding);
runSymetricCheck(current, saI1, known, saI2, dependent, binding); for (final ATermAppl known : getSymmetricCandidates(VarType.INDIVIDUAL, dfI1, dfI2)) for (final ATermAppl dependent : _kb.getDifferents(known)) runSymetricCheck(current, dfI1, known, dfI2, dependent, binding); else if (_logger.isLoggable(Level.FINER)) runSymetricCheck(current, eqcLHS, known, eqcRHS, dependent, binding); for (final Set<ATermAppl> dependents : _kb.getDisjointClasses(known)) for (final ATermAppl dependent : dependents) runSymetricCheck(current, dwLHS, known, dwRHS, dependent, binding); else _logger.finer("Atom " + current + "cannot be satisfied in any consistent ontology."); runSymetricCheck(current, coLHS, known, coRHS, dependent, binding); else _logger.finer("Atom " + current + "cannot be satisfied in any consistent ontology."); runSymetricCheck(current, eqpLHS, known, eqpRHS, dependent, binding); if (_result.size() == size) runSymetricCheck(current, ioLHS, known, ioRHS, dependent, binding); break; for (final Set<ATermAppl> dependents : _kb.getDisjointProperties(known)) for (final ATermAppl dependent : dependents) runSymetricCheck(current, dwLHSp, known, dwRHSp, dependent, binding);