Model Task Force First Provenance WG F2F Satya Sahoo, Paolo Missier, Khalid Belhajjame, Jun Zhao Boston, MA.

Slides:



Advertisements
Similar presentations
©2003, Karl Aberer, EPFL, School of Computer and Communication Sciences Some Requirements for Semantic Web Serivce from CROSSFLOW and OPELIX Karl Aberer.
Advertisements

1 ICS-FORTH EU-NSF Semantic Web Workshop 3-5 Oct Christophides Vassilis Database Technology for the Semantic Web Vassilis Christophides Dimitris Plexousakis.
Content Working Group Paolo Manghi ISTI-CNR
IPAW'08 – Salt Lake City, Utah, June 2008 Data lineage model for Taverna workflows with lightweight annotation requirements Paolo Missier, Khalid Belhajjame,
Chronos: A Tool for Handling Temporal Ontologies in Protégé
PROV-Ontology (PROV-O) Satya Sahoo, Khalid Belhajjame, James Cheney, Daniel Garijo, Timothy Lebo, Deborah McGuinness, Stephan Zednik, Stian Soiland-Reyes.
Semantic Web Thanks to folks at LAIT lab Sources include :
Circular A-16 Revision 6 February Milo Robinson Framework Coordinator, FGDC.
Gerhard Dueck -- CS3013Capturing Requirements as Use Cases 1 Capturing the Requirements as use Cases  Requirements Description  We need to describe –The.
© Tefko Saracevic, Rutgers University1 metadata considerations for digital libraries.
Intelligent Systems Semantic Web. Aims of the session To introduce the basic concepts of semantic web ontologies.
The RDF meta model: a closer look Basic ideas of the RDF Resource instance descriptions in the RDF format Application-specific RDF schemas Limitations.
Kmi.open.ac.uk Semantic Execution Environments Service Engineering and Execution Barry Norton and Mick Kerrigan.
LSU 07/07/2004Communication1 Communication & Documentation Project Management Unit – Lecture 8.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. Towards Translating between XML and WSML based on mappings between.
Practical RDF Chapter 1. RDF: An Introduction
Logics for Data and Knowledge Representation
Rathachai Chawuthai. Preface Draft idea only Something may be informal – Formula sign may be informal, such as, dark delta – No any axioms – Not enough.
RDF and OWL Developing Semantic Web Services by H. Peter Alesso and Craig F. Smith CMPT 455/826 - Week 6, Day Sept-Dec 2009 – w6d21.
The Agricultural Ontology Service (AOS) A Tool for Facilitating Access to Knowledge AGRIS/CARIS and Documentation Group Library and Documentation Systems.
Definitions Priority terms: Use case User story Scenario Public Health event Participant / Actor Public Health report Public Health Reporting Trigger Data.
Semantic Web - an introduction By Daniel Wu (danielwujr)
1 What is OO Design? OO Design is a process of invention, where developers create the abstractions necessary to meet the system’s requirements OO Design.
Access and Query Task Force Status at F2F1 Simon Miles.
updated ’08CmpE 583 Fall 2008Introduction- 1 CmpE 583- Web Semantics: Theory and Practice Atilla ELÇİ Computer Engineering Department Eastern.
Management Task Force W3C Face To Face 03/04/03. Deliverables Proposed from January F2F Deliver –Proposal for base manageability requirements (All) Web.
Introduction to Semantic Web Service Architecture ► The vision of the Semantic Web ► Ontologies as the basic building block ► Semantic Web Service Architecture.
Common Terminology Services 2 CTS 2 Submission Team Status Update HL7 Vocabulary Working Group May 17, 2011.
Trustworthy Semantic Webs Dr. Bhavani Thuraisingham The University of Texas at Dallas Lecture #4 Vision for Semantic Web.
User Profiling using Semantic Web Group members: Ashwin Somaiah Asha Stephen Charlie Sudharshan Reddy.
The RDF meta model Basic ideas of the RDF Resource instance descriptions in the RDF format Application-specific RDF schemas Limitations of XML compared.
MyGrid/Taverna Provenance Daniele Turi University of Manchester OMII f2f Meeting, London, 19-20/4/06.
WIGOS Data model – standards introduction.
Access and Query Task Force Status at F2F1 Simon Miles.
Requirements Workshop Techniques for E-Business Projects
Geospatial Enterprise Architecture Meeting Summary / Program Plan May 11, 2005 EPA.
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. SOA-RM Overview and relation with SEE Adrian Mocan
1 © 2013 Cengage Learning. All Rights Reserved. This edition is intended for use outside of the U.S. only, with content that may be different from the.
Knowledge Representation Part I Ontology Jan Pettersen Nytun Knowledge Representation Part I, JPN, UiA1.
Research Objects Preserving scientific data and methods Stian Soiland-Reyes, Khalid Belhajjame School of Computer Science, Univ of Manchester myGrid NIHBI.
Database Systems: Design, Implementation, and Management Tenth Edition
Linked Data Competency Index
Paul Eglitis [IEEE] and Siri Jodha S. Khalsa [IEEE]
An Overview of Requirements Engineering Tools and Methodologies*
Hans-Peter Plag Global Change and Sustainability Research Institute
DOMAIN ONTOLOGY DESIGN
SysML 2.0 Formalism Requirements and Potential Language Architectures
Cross Support Architecture WG: Charter and Work Plan
Ontology From Wikipedia, the free encyclopedia
Agenda All-Monday 15 Sep 0800 Welcome - Opening remarks
Web Ontology Language for Service (OWL-S)
Alan Williams, Donal Fellows, Finn Bacall,
SDMX Information Model
Formal Language.
Inducements Mike Ashley – IESBA Member and Task Force Chair
Structure of the Code Don Thomson, Task Force Chair IESBA Meeting
2. An overview of SDMX (What is SDMX? Part I)
2. An overview of SDMX (What is SDMX? Part I)
Database Systems Instructor Name: Lecture-3.
Architecture Description Languages
IDEAS Core Model Concept
Working Group on Population and Housing Censuses
X-DIS/XBRL Phase 2 Kick-Off
Classification of learning activities
Semantic Resolution in a Simple E-Commerce Application
Chair: Jin Seop Park, Republic of Korea Secretary: Thomas Kinsky, OICA
Web-based Imaging Management System Working Group - WIMS
PASSI (Process for Agent Societies Specification and Implementation)
Task Force Household Budget Survey Innovative tools and sources
Software Development Process Using UML Recap
Presentation transcript:

Model Task Force First Provenance WG F2F Satya Sahoo, Paolo Missier, Khalid Belhajjame, Jun Zhao Boston, MA

Background Objective: Define the provenance model to be used in PIL Tasks  Identify and provide description of provenance concepts using o Provenance XG final report Provenance XG final report o Journalism example scenario Journalism example scenario  Use Semantic Web technologies to define the provenance concepts  Provide formal semantics of the provenance model

Agenda for first F2F A set of prioritized provenance concepts identified (ref: journalism example)  Thing  Invariant View or Perspective on Thing  Process Execution  Derivation  Use  Generation  Agent  Temporal ordering Reach agreement on the definitions of prioritized provenance concepts

Agenda for first F2F Work completed prior to first F2F  Review, curation, and consolidation of prioritized concept definitions  Enumerate outstanding issues related to prioritized concepts Issues for discussion:  Finalize definitions of prioritized concepts (reconcile outstanding issues)  Evolve consolidated list of prioritized concepts towards a report/descriptive document  Review status of concepts not prioritized for F2F  Coordinate with provenance access and query task force

Agreement on Provenance Concepts Agreement reached during weekly meetings among WG members  The subject of provenance may be anything, whether physical, digital, conceptual or otherwise  To define provenance-related concepts independently of the web architecture in a first instance  Definition of thing and the invariant view or perspective of thingthinginvariant view or perspective of thing  Definition of process execution (differentiate between execution and specification, has duration, and start of execution is always in past)process execution  Definition of derivationderivation  PIL is an assertion language  Use constraints introduced in definitions of concepts as building blocks for understanding PIL

Outstanding Issues Resolve outstanding issues for concepts with agreement over their definitions  IVPT  Process execution  Derivation Agree on definitions of following prioritized concepts  Agent  Use  Generation  Ordering of process execution  Time

Next steps for the Model TF Formalization of the prioritized provenance concepts Describe the journalism example using the prioritized concepts  Represent the description using Semantic Web technologies (RDF)  Define semantics of the encoding Rephrase provenance queries in journalism example using prioritized concepts Primer on provenance model