Warning:
This wiki has been archived and is now read-only.
ProvXML
Contents
Introduction
This docment describes an XML schema called PROV-XML for representing provenance data in XML, and a mapping from PROV-DM instances to XML.
This page is now out of date. For the current version of the evolving PROV-XML schema, please go to PROV-XML.
PROV-XML schema
See PROV-XML.
Also see ProvXMLNamespaces discussion.
Translation from PROV-DM to PROV-XML (Outdated)
We define a translation from PROV-DM formulas to XML conforming to PROV-XML as follows.
Translating element formulas
<math> \begin{array}{lcl} entity(id,[attr_1=val_1,...,attr_n=val_n]) &\to & \texttt{<entity~id}=id~attr_1=val_1~...~attr_n=val_n\texttt{/>} \\\\ activity(id,plan,st,et,[attr_1=val_1,...,attr_n=val_n]) &\to & \texttt{<activity~id}=id~\texttt{hadPlan}=plan~\texttt{startedAt}=st~\texttt{endedAt}=et~ attr_1=val_1~...~attr_n=val_n\texttt{/>}
\\\\ agent(id,[attr_1=val_1,...,attr_n=val_n]) &\to & \texttt{<agent~id}=id~attr_1=val_1~...~attr_n=val_n\texttt{/>} \\\\ note(id,[attr_1=val_1,...,attr_n=val_n]) &\to & \texttt{<note~id}=id~attr_1=val_1~...~attr_n=val_n\texttt{/>} \end{array} </math>
Translating relation formulas
<math> \begin{array}{lcl} wasGeneratedBy(id,e,a,attrs,t) &\to& \texttt{<wasGeneratedBy~id}=id~ \texttt{entity}=e~\texttt{activity}=a~attr_1=val_1~\cdots~attr_n=val_n\texttt{/>} \\\\ used(id,e,a,attrs,t) &\to& \texttt{<used~id}=id~ \texttt{entity}=e~\texttt{activity}=a~attr_1=val_1~\cdots~attr_n=val_n\texttt{/>} \\\\ wasStartedBy(id,a,ag,attrs) &\to& \texttt{<wasStartedBy~id}=id~ \texttt{activity}=a~\texttt{agent}=ag~attr_1=val_1~\cdots~attr_n=val_n\texttt{/>} \\\\ wasEndedBy(id,a,ag,attrs) &\to& \texttt{<wasEndedBy~id}=id~ \texttt{activity}=a~\texttt{agent}=ag~attr_1=val_1~\cdots~attr_n=val_n\texttt{/>} \\\\
alternateOf(e_1,e_2) &\to&
\texttt{<alternateOf~ent1}=e_1~ \texttt{ent2}=e_2\texttt{/>} \\\\ specializationOf(e_1,e_2) &\to& \texttt{<specializationOf~ent1}=e_1~ \texttt{ent2}=e_2\texttt{/>} \\\\
hasAnnotation(r,n,attrs) &\to&
\texttt{<hasAnnotation~ent1}=e_1~ \texttt{ent2}=e_2~attr_1=val_1~\cdots~attr_n=val_n\texttt{/>} \end{array} </math>
Questions/problems
From PROV-XML to PROV-DM
[TODO: Flesh this out!]