PROVO PROVs OWL Ontology Tim Lebo Rensselaer Polytechnic

PROV-O: PROV’s OWL Ontology Tim Lebo @ Rensselaer Polytechnic Institute prov: acted. On. Behalf. Of <prov-o_team>.

<http: //www. w 3. org/ns/prov#> • A lightweight OWL-RL ontology – Encodes PROV-DM’s “abstract model” in RDF – Provenance information interchange – Domain-neutral • Designed to be extensible – Dublin Core profile – the Provenance Vocabulary extension (http: //purl. org/net/provenance/ns#) – PML 3. 0 6/18/12 http: //www. w 3. org/TR/prov-o/ 2

Overview Part 1: Part 2: 6/18/12 http: //www. w 3. org/TR/prov-o/ 3

GET http: //www. w 3. org/ns/prov# • Latest editor’s draft: – http: //bit. ly/prov-o-html – http: //bit. ly/prov-o (OWL file) • Latest public draft: – curl -H "Accept: text/html" -L http: //www. w 3. org/ns/prov# – curl -H "Accept: application/rdf+xml" -L http: //www. w 3. org/ns/prov# – curl -H "Accept: text/turtle" -L http: //www. w 3. org/ns/prov# 6/18/12 http: //www. w 3. org/TR/prov-o/ 4

Namespaces • • • @prefix @prefix rdfs: xsd: owl: prov: : <http: //www. w 3. org/2000/01/rdf-schema#>. <http: //www. w 3. org/2001/XMLSchema#>. <http: //www. w 3. org/2002/07/owl#>. <http: //www. w 3. org/ns/prov#>. <http: //example. com/>. • “When in doubt, prefix. cc. ” (e. g. http: //prefix. cc/rdfs) 6/18/12 http: //www. w 3. org/TR/prov-o/ 5

PROV-O at a glance • Starting point terms – The basis for the rest of the ontology – 3 classes + 9 properties – Simple, binary relations • Expanded terms – 5 classes + 16 properties – Adds subclasses and subproperties • Terms to Qualify relationships – Describes 14 binary Starting + Expanded relationships • Collections 6/18/12 http: //www. w 3. org/TR/prov-o/ 6

(1/4) Starting Points The 3 main classes (Entity, Activity, Agent) can be organized by time or responsibility. 6/18/12 http: //www. w 3. org/TR/prov-o/ 7

(1/4) Starting Points The 3 main classes (Entity, Activity, Agent) can be organized by time or responsibility. • acted. On. Behalf. Of • was. Attributed. To • was. Associated. With • used, was. Derived. From • was. Informed. By, was. Generated. By • started. At. Time, ended. At. Time 6/18/12 http: //www. w 3. org/TR/prov-o/ 8

(1/4) Starting Points example http: //www. w 3. org/TR/prov-o/ 9. <> prov: was. Quoted. From <http: //aquarius. tw. rpi. edu/prov-wg/prov-o#started. At. Time> 6/18/12

(2/4) Expanded Terms Subclasses and subproperties of Starting Point Terms, plus a few extras. 6/18/12 http: //www. w 3. org/TR/prov-o/ 10

Extended Terms (1/5): prov: at. Location prov: Location can be geographic or non-geographic (directory, row, column, URL) 6/18/12 http: //www. w 3. org/TR/prov-o/ 11

Extended Terms (2/5): prov: value 6/18/12 http: //www. w 3. org/TR/prov-o/ 12

Extended Terms (3/5): prov: specialization. Of “provenance of dynamic resources” 6/18/12 http: //www. w 3. org/TR/prov-o/ 13

Extended Terms (3/5): prov: specialization. Of “provenance of dynamic resources” 6/18/12 http: //www. w 3. org/TR/prov-o/ 14

Extended Terms: prov: Bundle (4/5) provenance of provenance with a single Class! 6/18/12 http: //www. w 3. org/TR/prov-o/ 15

Extended Terms (5/5): prov: contextualized, prov: in. Context 6/18/12 http: //www. w 3. org/TR/prov-o/ 16

<> a : Slides; prov: was. Derived. From [ a : Slides; prov: was. Attributed. To : Jun_Zhao ]. 6/18/12 17

(3/4) Terms to Qualify • Starting point and Expanded relations are binary: • But we may want to provide more details about that use, or association… – When and where did the Activity use the Entity? – How did the Agent perform in the Activity? 6/18/12 http: //www. w 3. org/TR/prov-o/ 18

(3/4) Qualifying Usage 6/18/12 http: //www. w 3. org/TR/prov-o/ 19

(3/4) Qualifying Association 6/18/12 http: //www. w 3. org/TR/prov-o/ 20

(3/4) Qualifying Association: prov: had. Role prov: Role and prov: had. Plan prov: Plan Association, Start, Usage, Generation, End, and Invalidation may have roles. 6/18/12 http: //www. w 3. org/TR/prov-o/ 21

(3/4) The Qualification Pattern 6/18/12 http: //www. w 3. org/TR/prov-o/ Trace Derivation Quotation Revision Source Start Usage Communication Generation End Invalidation Association Attribution Delegation 22

(3/4) Qualifying Terms: prov: at. Location prov: Location (Again!) Location can be geographic or non-geographic (directory, row, column, URL) 6/18/12 http: //www. w 3. org/TR/prov-o/ 23

PROV-O at a glance • Starting point terms – The basis for the rest of the ontology – 3 classes + 9 properties – Simple, binary relations • Expanded terms – 5 classes + 16 properties – Adds subclasses and subproperties • Terms to Qualify relationships – Describes 14 binary Starting + Expanded relationships • Collections 6/18/12 http: //www. w 3. org/TR/prov-o/ 24