Fig. 5From: An ontology-based approach for developing a harmonised data-validation tool for European cancer registrationSpecific explanation of why the reasoner returned an empty set in Fig. 4. The highlighted statements (1 and 2) refer to the axioms asserted in the input case record. Statement 3) is the reason behind the empty setBack to article page