120
R. Pandey and M. Pande
9 Scenario Assertions for Provenance Representation
This section demonstrates the implementation aspects of provenance with the help
of an ontology. The demonstrations are corroborated using a built-in reasoner named
Hermit. In order to embedded trust in an ontology, we have discussed above that the
entire model is divided into Entity, Agent, and Activity [42, 43].
An Entity being any real or hypothetical object has a URL/URI associated with
it.
In the undermentioned demonstration, the University_Journal is an Entity on
which the provenance trail of Activity in relation to an Agent is explored in the
following sections.
The Agent involved in performing some Activity is usually one of three typespersonal agent, human agent, and organizational agent.
Activity-Activity is a process through which the agent performs some task.
Figure 9 shows that Rohit and Shivam are types of human agents.
The screenshots have been created using Protege [43] and have been shown to be
consistent using the Hermit reasoner. The screenshots further prove that the PROVDM data model can be successfully implemented in ontologies and the same can be
shown to be valid for various provenance assertions.
Figures 9 and 10 have been reproduced to illustrate the graphical inference and
the textual inference respectively, that is rendered through the reasoner for an Agent.
Code for an asserted model of the ontology showing the provenance assertion for
Agent:
It can further be asserted that the agent Rohit teaches Artificial_Intelligence and
thus the same can be classified as a human agent. Thus, establishing a provenance
assertion between Agent and Entity.
It is further stated that entity Artificial_Intelligence an individual of class Entity
is related to Agent Rohit by the relationship teaches. Figure 12 shows the asserted
model of the ontology while Fig. 11 represents the inferred model for the same
(Fig. 13).
R. Pandey and M. Pande
9 Scenario Assertions for Provenance Representation
This section demonstrates the implementation aspects of provenance with the help
of an ontology. The demonstrations are corroborated using a built-in reasoner named
Hermit. In order to embedded trust in an ontology, we have discussed above that the
entire model is divided into Entity, Agent, and Activity [42, 43].
An Entity being any real or hypothetical object has a URL/URI associated with
it.
In the undermentioned demonstration, the University_Journal is an Entity on
which the provenance trail of Activity in relation to an Agent is explored in the
following sections.
The Agent involved in performing some Activity is usually one of three typespersonal agent, human agent, and organizational agent.
Activity-Activity is a process through which the agent performs some task.
Figure 9 shows that Rohit and Shivam are types of human agents.
The screenshots have been created using Protege [43] and have been shown to be
consistent using the Hermit reasoner. The screenshots further prove that the PROVDM data model can be successfully implemented in ontologies and the same can be
shown to be valid for various provenance assertions.
Figures 9 and 10 have been reproduced to illustrate the graphical inference and
the textual inference respectively, that is rendered through the reasoner for an Agent.
Code for an asserted model of the ontology showing the provenance assertion for
Agent:
It can further be asserted that the agent Rohit teaches Artificial_Intelligence and
thus the same can be classified as a human agent. Thus, establishing a provenance
assertion between Agent and Entity.
It is further stated that entity Artificial_Intelligence an individual of class Entity
is related to Agent Rohit by the relationship teaches. Figure 12 shows the asserted
model of the ontology while Fig. 11 represents the inferred model for the same
(Fig. 13).