Fig. 10

Results from the reasoner of class CaseID$X_1 specified in Fig. 8. Lighter-coloured nodes depict primitive classes, and darker-coloured nodes depict defined classes
Results from the reasoner of class CaseID$X_1 specified in Fig. 8. Lighter-coloured nodes depict primitive classes, and darker-coloured nodes depict defined classes