final ATermAppl saI2 = arguments.get(1); for (final ATermAppl known : getSymmetricCandidates(VarType.INDIVIDUAL, saI1, saI2)) for (final ATermAppl known : getSymmetricCandidates(VarType.INDIVIDUAL, dfI1, dfI2)) for (final ATermAppl dependent : _kb.getDifferents(known)) runSymetricCheck(current, dfI1, known, dfI2, dependent, binding); for (final ATermAppl known : getSymmetricCandidates(VarType.CLASS, eqcLHS, eqcRHS)) for (final ATermAppl known : getSymmetricCandidates(VarType.CLASS, dwLHS, dwRHS)) for (final Set<ATermAppl> dependents : _kb.getDisjointClasses(known)) for (final ATermAppl dependent : dependents) for (final ATermAppl known : getSymmetricCandidates(VarType.CLASS, coLHS, coRHS)) for (final ATermAppl dependent : _kb.getComplements(known)) runSymetricCheck(current, coLHS, known, coRHS, dependent, binding); for (final ATermAppl known : getSymmetricCandidates(VarType.PROPERTY, eqpLHS, eqpRHS)) runAllPropertyChecks(current, arguments.get(0), _kb.getSymmetricProperties(), binding); else for (final ATermAppl known : getSymmetricCandidates(VarType.PROPERTY, ioLHS, ioRHS)) for (final ATermAppl known : getSymmetricCandidates(VarType.PROPERTY, dwLHSp, dwRHSp)) for (final Set<ATermAppl> dependents : _kb.getDisjointProperties(known)) for (final ATermAppl dependent : dependents)
final ATermAppl saI2 = arguments.get(1); for (final ATermAppl known : getSymmetricCandidates(VarType.INDIVIDUAL, saI1, saI2)) for (final ATermAppl known : getSymmetricCandidates(VarType.INDIVIDUAL, dfI1, dfI2)) for (final ATermAppl dependent : _kb.getDifferents(known)) runSymetricCheck(current, dfI1, known, dfI2, dependent, binding); for (final ATermAppl known : getSymmetricCandidates(VarType.CLASS, eqcLHS, eqcRHS)) for (final ATermAppl known : getSymmetricCandidates(VarType.CLASS, dwLHS, dwRHS)) for (final Set<ATermAppl> dependents : _kb.getDisjointClasses(known)) for (final ATermAppl dependent : dependents) for (final ATermAppl known : getSymmetricCandidates(VarType.CLASS, coLHS, coRHS)) for (final ATermAppl dependent : _kb.getComplements(known)) runSymetricCheck(current, coLHS, known, coRHS, dependent, binding); for (final ATermAppl known : getSymmetricCandidates(VarType.PROPERTY, eqpLHS, eqpRHS)) runAllPropertyChecks(current, arguments.get(0), _kb.getSymmetricProperties(), binding); else for (final ATermAppl known : getSymmetricCandidates(VarType.PROPERTY, ioLHS, ioRHS)) for (final ATermAppl known : getSymmetricCandidates(VarType.PROPERTY, dwLHSp, dwRHSp)) for (final Set<ATermAppl> dependents : _kb.getDisjointProperties(known)) for (final ATermAppl dependent : dependents)
final ATermAppl saI2 = arguments.get(1); for (final ATermAppl known : getSymmetricCandidates(VarType.INDIVIDUAL, saI1, saI2)) for (final ATermAppl known : getSymmetricCandidates(VarType.INDIVIDUAL, dfI1, dfI2)) for (final ATermAppl dependent : _kb.getDifferents(known)) runSymetricCheck(current, dfI1, known, dfI2, dependent, binding); for (final ATermAppl known : getSymmetricCandidates(VarType.CLASS, eqcLHS, eqcRHS)) for (final ATermAppl known : getSymmetricCandidates(VarType.CLASS, dwLHS, dwRHS)) for (final Set<ATermAppl> dependents : _kb.getDisjointClasses(known)) for (final ATermAppl dependent : dependents) for (final ATermAppl known : getSymmetricCandidates(VarType.CLASS, coLHS, coRHS)) for (final ATermAppl dependent : _kb.getComplements(known)) runSymetricCheck(current, coLHS, known, coRHS, dependent, binding); for (final ATermAppl known : getSymmetricCandidates(VarType.PROPERTY, eqpLHS, eqpRHS)) runAllPropertyChecks(current, arguments.get(0), _kb.getSymmetricProperties(), binding); else for (final ATermAppl known : getSymmetricCandidates(VarType.PROPERTY, ioLHS, ioRHS)) for (final ATermAppl known : getSymmetricCandidates(VarType.PROPERTY, dwLHSp, dwRHSp)) for (final Set<ATermAppl> dependents : _kb.getDisjointProperties(known)) for (final ATermAppl dependent : dependents)