OWL-DL Domain-Models as Abstract Workflows

  • Ian Wood
  • Ben Vandervalk
  • Luke McCarthy
  • Mark D. Wilkinson
Conference paper

DOI: 10.1007/978-3-642-34032-1_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7610)
Cite this paper as:
Wood I., Vandervalk B., McCarthy L., Wilkinson M.D. (2012) OWL-DL Domain-Models as Abstract Workflows. In: Margaria T., Steffen B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. Lecture Notes in Computer Science, vol 7610. Springer, Berlin, Heidelberg

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.

Keywords

OWL-DL ontologies workflow workflow modeling SPARQL Semantic Web Semantic Web Services 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Ian Wood
    • 1
  • Ben Vandervalk
    • 1
  • Luke McCarthy
    • 1
  • Mark D. Wilkinson
    • 2
  1. 1.Institute for Heart + Lung Health, St. Paul’s HospitalUniversity of British ColumbiaVancouverCanada
  2. 2.Centro de Biotecnología y Genómica de PlantasUniversidad Politécnica de MadridMadridEspaña

Personalised recommendations