A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
On propagation of deletions and annotations through views
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Why and Where: A Characterization of Data Provenance
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Lineage Tracing for General Data Warehouse Transformations
Proceedings of the 27th International Conference on Very Large Data Bases
On Integrating Scientific Resources through Semantic Registration
SSDBM '04 Proceedings of the 16th International Conference on Scientific and Statistical Database Management
Triana: A Graphical Web Service Composition and Execution Toolkit
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Composing schema mappings: second-order dependencies to the rescue
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Composition of mappings given by embedded dependencies
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A survey of data provenance in e-science
ACM SIGMOD Record
A taxonomy of scientific workflow systems for grid computing
ACM SIGMOD Record
Query reformulation with constraints
ACM SIGMOD Record
MONDRIAN: Annotating and Querying Databases through Colors and Blocks
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
Scientific workflow management and the Kepler system: Research Articles
Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
An annotation management system for relational databases
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Towards automatic generation of semantic types in scientific workflows
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
Actor-oriented design of scientific workflows
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
A new approach to inferences of semantic constraints
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
The GEON portal: accelerating knowledge discovery in the geosciences
WIDM '06 Proceedings of the 8th annual ACM international workshop on Web information and data management
Automatic annotation of Web services based on workflow definitions
ACM Transactions on the Web (TWEB)
Indirectly driven knowledge modelling in ecology
International Journal of Metadata, Semantics and Ontologies
Scalable Semantic Annotation Using Lattice-Based Ontologies
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Knowledge annotations in scientific workflows: an implementation in Kepler
SSDBM'11 Proceedings of the 23rd international conference on Scientific and statistical database management
Documenting and sharing scientific research over the semantic web
Proceedings of the 12th International Conference on Knowledge Management and Knowledge Technologies
On assisting scientific data curation in collection-based dataflows using labels
WORKS '13 Proceedings of the 8th Workshop on Workflows in Support of Large-Scale Science
Hi-index | 0.00 |
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks, chaining together processing components (called actors) that query, transform, analyse, and visualize scientific datasets. Semantic annotations relate data and actor schemas with conceptual information from a shared ontology, to support scientific workflow design, discovery, reuse, and validation in the presence of thousands of potentially useful actors and datasets. However, the creation of semantic annotations is complex and time-consuming. We present a calculus and two inference algorithms to automatically propagate semantic annotations through workflow actors described by relational queries. Given an input annotation α and a query q, forward propagation computes an output annotation α′; conversely, backward propagation infers α from q and α′.