Characterizing and Detecting Integrity Issues in OWL Instance Data
No Thumbnail Available
Authors
Tao, Jiao
Ding, Li
Bao, Jie
McGuinness, Deborah L.
Issue Date
2008-10-26
Type
Language
Keywords
Inference Web
Alternative Title
Abstract
We view OWL instance data evaluation as a process in which instance data is checked for conformance with application requirements. We previously identified some integrity issues raised by applications demanding closed world reasoning. In this paper, we present a formal characterization of those integrity issues using autoepistemic operators, and a practical SPARQL-based issue checking approach that is a sound approximation for detecting integrity issues.