Skip to main content
Fig. 3 | BMC Medical Informatics and Decision Making

Fig. 3

From: Towards semantic interoperability: finding and repairing hidden contradictions in biomedical ontologies

Fig. 3

Abstract example of the algorithm’s selection of unsatisfiable classes for justification. Each node represents an ontology class, connected by directed arrows indicating subclass relations. White classes are satisfiable, while red classes are unsatisfiable, and blue classes are unsatisfiable classes deselected for evaluation at this stage by the algorithm. In the first step, we have 7 candidate classes. This is reduced two only two in the second step, by removing all classes with parent classes from consideration. In the next step, the number of direct subclasses each remaining unsatisfiable class has are counted, and the maximal value is used. In this example, C has two direct subclasses, while B has only one. Therefore, we select C for examination. By solving the unsatisfiability of class C, we will also resolve the same cause of unsatisfiability for E, F, G, and H (although they may or may not have their own independent causes for unsatisfiability)

Back to article page