Provenance Data Models and Assertions: A Demonstrative Approach
121
Fig. 9 Inference model of the university ontology using the Hermit reasoner for agent
The above assertion demonstrates that e-journal_of_university is an individual of
entity Assigment_Tutorial, these assertions further justify the validity of the ontology
and provenance, else the reasoner would have highlighted that as a data inconsistency.
Figure 14 below, on the other hand, exhibits the instances of the Activity in the left
pane. The instance of class Activity, Academic_Activity is displayed on the top-right
pane with the graphical representation in the bottom right pane.