图 书 馆
数据来源记录的正式验证Formal Veri cation of Data Provenance Records |
|
| 课程网址: | http://videolectures.net/iswc2012_klarman_provenance_records/ |
| 主讲教师: | Szymon Klarman |
| 开课单位: | 阿姆斯特丹自由大学 |
| 开课时间: | 2012-12-03 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | 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 veri fication. In this paper, we consider data expressed in standard Semantic Web ontology languages, such as OWL, and de fine a novel verifi cation formalism called provenance speci fication 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. |
| 关 键 词: | 数据来源; 推导; 自动化验证 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-05-06：cwx |
| 阅读次数: | 38 |