Model Checking of Workflow Schemas
EDOC '00 Proceedings of the 4th International conference on Enterprise Distributed Object Computing
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
A survey of data provenance in e-science
ACM SIGMOD Record
Provenance-based validation of e-science experiments
Web Semantics: Science, Services and Agents on the World Wide Web
Special Issue: The First Provenance Challenge
Concurrency and Computation: Practice & Experience - The First Provenance Challenge
A Semantic Web approach to the provenance challenge
Concurrency and Computation: Practice & Experience - The First Provenance Challenge
Semantic Provenance for eScience: Managing the Deluge of Scientific Data
IEEE Internet Computing
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Conjunctive query answering for the description logic SHIQ
Journal of Artificial Intelligence Research
A proof markup language for Semantic Web services
Information Systems
The Open Provenance Model core specification (v1.1)
Future Generation Computer Systems
| Hi-index | 0.00 |
Data provenance is the history of derivation of a data artifact from its original sources. As the real-life provenance records can likely cover thousands of data items and derivation steps, one of the pressing challenges becomes development of formal frameworks for their automated verification. In this paper, we consider data expressed in standard Semantic Web ontology languages, such as OWL, and define a novel verification formalism called provenance specification logic, building on dynamic logic. We validate our proposal by modeling the test queries presented in The First Provenance Challenge, and conclude that the logic core of such queries can be successfully captured in our formalism.