Fig. 2
From: Toward a standard formal semantic representation of the model card report
A descriptive visualization showing the instances displayed through Protégé and their mapping to a segment of the MCRO model. The numbers from MCRO model (right) demonstrates how the model is manifested in the ontology artifact with matching numbers in the Protégé viewer. The yellow highlights shows the inferred assertions resulting from the OWL2 semantics and the FaCT++ reasoner