OWL-DL domain-models as abstract workflows

  • Authors:
  • Ian Wood;Ben Vandervalk;Luke McCarthy;Mark D. Wilkinson

  • Affiliations:
  • Institute for Heart + Lung Health, St. Paul's Hospital, University of British Columbia, Vancouver, BC, Canada;Institute for Heart + Lung Health, St. Paul's Hospital, University of British Columbia, Vancouver, BC, Canada;Institute for Heart + Lung Health, St. Paul's Hospital, University of British Columbia, Vancouver, BC, Canada;Centro de Biotecnología y Genómica de Plantas, Universidad Politécnica de Madrid, Madrid, España

  • Venue:
  • ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
  • Year:
  • 2012
  • Bioscientific data processing and modeling

    ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II

Quantified Score

Hi-index 0.00

Visualization

Abstract

Workflows are an increasingly common way of representing and sharing complex in silico analytical methodologies. Workflow authoring systems such as Taverna and Galaxy precisely capture the services and service connections created by domain experts, and these workflows are then shared through repositories like myExperiment, which encourages users to discover, reuse, and repurpose them. Repurposing, however, is not trivial: ostensibly straightforward modifications are quite troublesome in practice and workflows tend not to be well-annotated at any level of granularity. As such, a "concrete" workflow, where the component services are explicitly declared, may not be a particularly effective way of sharing these analytical methodologies. Here we propose, and demonstrate, that a domain model for a given concept, formalized in OWL, can be used as an abstract workflow model, which can be automatically converted into a context-specific, concrete, self-annotating workflow.