OWL-DL Domain-Models as Abstract Workflows
- 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
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.
KeywordsOWL-DL ontologies workflow workflow modeling SPARQL Semantic Web Semantic Web Services
Unable to display preview. Download preview PDF.