ProvXML

From Provenance WG Wiki
Revision as of 14:15, 2 February 2012 by Jcheney (Talk | contribs)

Jump to: navigation, search

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.

PROV-XML schema

[TODO]

Translation from PROV-DM to PROV-XML

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!]