Characterizing and Detecting Integrity Issues in OWL Instance Data.
Jiao Tao, Li Ding, Jie Bao, Deborah L. McGuinness · 2008
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.