Detection method, detection apparatus, and non-transitory computer-readable storage medium

A detection apparatus comprising:

• a memory;
• and
• a processor coupled to the memory and configured to
• execute first processing that includes
• comparing an input class with a first class, the input class including one or more of pairs each including an attribute and an attribute value associated with the attribute, the first class including one or more pieces of first condition information each indicating a condition to be compared with the attribute value of a corresponding attribute from among the one or more of pairs included in the input class, and
• in response to the comparing of the input class and the first class, obtaining a first determination result by determining, for each of the one or more pieces of first condition information included in the first class, whether the condition indicated by the respective first condition information is satisfied by the attribute value of the corresponding attribute from among the one or more of pairs included in the input class;
• execute second processing in response to the first determination result indicating that the condition indicated by at least any one of the one or more pieces of first condition information included in the first class has not been satisfied by the input class, the second processing including
• comparing the input class with a second class, the second class including one or more pieces of second condition information each indicating a condition to be compared with the attribute value of a corresponding attribute from among the one or more of pairs included in the input class, the condition indicated in each of the one or more pieces of second condition information being a condition contradicting the respective condition indicated by the first class, and
• in response to the comparing of the input class and the second class, obtaining a second determination result by determining, for each of the one or more pieces of second condition information included in the second class, whether the condition indicated by the respective second condition information is satisfied by the attribute value of the corresponding attribute from among the one or more of pairs included in the input class;
• and
• execute third processing that includes
• outputting first information in response to the first determination result indicating that the condition indicated by each of the one or more pieces of first condition information included in the first class has been satisfied by the input class,
• outputting second information in response to the second determination result indicating that the condition indicated by each of the one or more pieces of second condition information included in the second class has been satisfied by the input class, the second information being associated with a status in that at least any one of the one or more of pairs included in the input class has the attribute value contradicting any of the one or more pieces of first condition information included in the first class, and
• outputting third information in response to the second determination result indicating that the condition indicated by any of the one or more pieces of second condition information included in the second class has not been satisfied by the input class, the third information being associated with a status in that at least any one of the one or more of pairs included in the input class has no attribute value.

A non-transitory computer-readable storage medium for storing a detection program that causes a computer to execute a process, the process comprising:

• executing first processing that includes
• comparing an input class with a first class, the input class including one or more of pairs each including an attribute and an attribute value associated with the attribute, the first class including one or more pieces of first condition information each indicating a condition to be compared with the attribute value of a corresponding attribute from among the one or more of pairs included in the input class, and
• in response to the comparing of the input class and the first class, obtaining a first determination result by determining, for each of the one or more pieces of first condition information included in the first class, whether the condition indicated by the respective first condition information is satisfied by the attribute value of the corresponding attribute from among the one or more of pairs included in the input class;
• executing second processing in response to the first determination result indicating that the condition indicated by at least any one of the one or more pieces of first condition information included in the first class has not been satisfied by the input class, the second processing including
• comparing the input class with a second class, the second class including one or more pieces of second condition information each indicating a condition to be compared with the attribute value of a corresponding attribute from among the one or more of pairs included in the input class, the condition indicated in each of the one or more pieces of second condition information being a condition contradicting the respective condition indicated by the first class, and
• in response to the comparing of the input class and the second class, obtaining a second determination result by determining, for each of the one or more pieces of second condition information included in the second class, whether the condition indicated by the respective second condition information is satisfied by the attribute value of the corresponding attribute from among the one or more of pairs included in the input class;
• and
• executing third processing that includes
• outputting first information in response to the first determination result indicating that the condition indicated by each of the one or more pieces of first condition information included in the first class has been satisfied by the input class,
• outputting second information in response to the second determination result indicating that the condition indicated by each of the one or more pieces of second condition information included in the second class has been satisfied by the input class, the second information being associated with a status in that at least any one of the one or more of pairs included in the input class has the attribute value contradicting any of the one or more pieces of first condition information included in the first class, and
• outputting third information in response to the second determination result indicating that the condition indicated by any of the one or more pieces of second condition information included in the second class has not been satisfied by the input class, the third information being associated with a status in that at least any one of the one or more of pairs included in the input class has no attribute value.