• Save
Supporting Domain Experts Understanding of Process Executions by means of Problem Solving Methods
Upcoming SlideShare
Loading in...5
×
 

Supporting Domain Experts Understanding of Process Executions by means of Problem Solving Methods

on

  • 631 views

Provenance information can be seen as a pyramid with four main levels: Data, Organization, Process, and, on top of the pyramid, Knowledge. The first three levels are focused on how data is transformed ...

Provenance information can be seen as a pyramid with four main levels: Data, Organization, Process, and, on top of the pyramid, Knowledge. The first three levels are focused on how data is transformed across the execution of a process, what the roles of the actors involved are, and which tasks were comprised in it. However, the increasing complexity of distributed data-intensive applications that produce larger amounts of provenance information require more advanced analytical capabilities with a higher level of abstraction. In this regard, we approach knowledge provenance as the provenance perspective focused on providing users with meaningful interpretations of process executions, explaining provenance in a way closer to how domain experts reason on a given problem and facilitating their comprehension. Our approach towards knowledge provenance is based on Problem Solving Methods (PSM). PSMs have been traditionally used in application development as generic and reusable strategies to model, establish, and control the sequence of actions required to accomplish tasks in different application domains. In this work, we use PSMs for a different purpose: we exploit their analytical power as high-level, domain-independent, knowledge templates to support user-focused interpretation of the execution of past processes. Our approach has been implemented as the Knowledge-Oriented Provenance Environment (KOPE) and evaluated through its participation in the Provenance Challenge.

Statistics

Views

Total Views
631
Slideshare-icon Views on SlideShare
631
Embed Views
0

Actions

Likes
0
Downloads
0
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment
  • In our context, tasks can be understood as processes
  • We use the PSM analytic approach to interpret Provenance at the knowledge level
  • Currently only applied to interaction p-assertions. Might be applied to the other types. Annotations constrained to the data exchanged only, and only at domain level.
  • Several types of matching: is-a, subclass-of, part-of, etc Several degrees of matching

Supporting Domain Experts Understanding of Process Executions by means of Problem Solving Methods Supporting Domain Experts Understanding of Process Executions by means of Problem Solving Methods Presentation Transcript

  • Monterey, July 26th 2007 KOPE: Knowledge-Oriented Provenance Environment Jose Manuel Gómez-Pérez , Francisco Javier García (iSOCO), Rafael González (UPM), Chris Van Aart (Y’All) FP6-511513 OntoGrid: Paving the way for Knowledgeable Grid Services and Systems www.ontogrid.net
  • Motivation
    • Goals
      • Increase understanding of process execution
      • Explain provenance in a way closer to how domain experts reason on a given problem
    • Problem Solving Methods [McDermott,1988]
    Provenance (Source: UoS micro-site) Provenance Pyramid (Source: myGrid)
  • Problem Solving Methods (PSM)
    • PSM are knowledge templates that
      • Establish and control the sequence of actions required to perform a task
      • Define the kind of knowledge necessary at each task step
      • Hierarchically specify how tasks decompose into subtasks down to the level of primitive actions
      • Describe tasks at several levels of refinement
    • PSM are domain-independent
      • PSM inputs and outputs modelled as generic roles
      • Reusable across different domains
  • Problem Solving Methods Visualization Paradigm Decomposition view Interaction view Knowledge Flow view
  • Applications of Problem Solving Methods
    • Knowledge Engineering
      • Knowledge acquisition : Guidelines to acquire problem solving knowledge
      • Reasoning : Enable flexible reasoning by selecting methods during problem solving
      • Process analysis : Description of the main rationale of (reasoning) processes
    • Provenance Interpretation
      • Explain the results of queries on process documentation
  • Who defines Problem Solving Methods?
    • Ideally, collaboratively defined by a community of domain experts
      • Canonical specifications of domain processes
      • Agreed throughout the community
      • Examples:
        • Regulations for good medical praxis
        • Diagnosis
        • Reasoning ( CommonKADS )
    • Also possible: knowledge engineer with a little domain knowledge, e.g. population-based brain atlas
  • Provenance Interpretation Workflow
  • Semantic Resources PSM meta-model Domain ontology Roles (catalogue task)
    • Bridge : Explicit definition of mappings between domain and PSM entities
    • Refiner : Specification of task decomposition into subtasks
  • Annotation of Process Documentation PASOA interaction p-assertion Automatically annotated against the domain ontology during process execution <content> <items xmlns=&quot;&quot;> <item1> http://www.ontogrid.net/#AtlasGraphicX </item1> <item2> http://www.ontogrid.net/#AtlasGraphicY     </item2> <item3> http://www.ontogrid.net/#AtlasGraphicZ </item3> </items> </content>
  • Twig Matching Algorithm
    • twig_join (D, i(P), o(P)) is a boolean function which checks whether a twig exists that connects i(P) and o(P) in D , where:
      • P is a problem solving method
      • i(P) is the set of input roles of P
      • o(P) is the set of output roles of P
      • D is the provenance DAG of the documented process, returned by a provenance query
    • We consider P as an interpretation of a process if twig_join(D, i(P), o(P)) = true
    • Bridges allow detecting occurrences of PSM roles in D
    • Refiners allow applying the algorithm recursively across the PSM hierarchy
  • Twig Matching for Brain Atlas workflow and Catalogue Brain Atlas Provenance Data Flow Prime Catalogue Method Knowledge Flow Brain Atlas Workflow
  • Demo
  • Thanks for your attention! iSOCO Valencia +34 96 3467143 Oficina 107 C/ Prof. Beltrán Báguena 4, 46009 Valencia iSOCO Barcelona +34 93 5677200 Edifici Testa A C/ Alcalde Barnils 64-68 St. Cugat del Vallès 08190 Barcelona iSOCO Madrid +34 91 3349797 C/Pedro de Valdivia, 10 28006 Madrid iSOCO http://www.isoco.com Jose Manuel Gómez-Pérez [email_address] #T +34 91 334 9778 #M +34 609 077 103