Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A relational model of data for large shared data banks
Communications of the ACM
Some ideas and examples to evaluate ontologies
CAIA '95 Proceedings of the 11th Conference on Artificial Intelligence for Applications
WWW '05 Proceedings of the 14th international conference on World Wide Web
Bridging the gap between OWL and relational databases
Proceedings of the 16th international conference on World Wide Web
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Instance Data Evaluation for Semantic Web-Based Knowledge Management Systems
HICSS '09 Proceedings of the 42nd Hawaii International Conference on System Sciences
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Debugging OWL-DL ontologies: a heuristic approach
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Resolving inconsistencies in evolving ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
| Hi-index | 0.00 |
This paper presents our work on supporting evaluation of integrity constraint issues in semantic web instance data. We propose an alternative semantics for the ontology language, i.e., OWL, a decision procedure for constraint evaluation by query answering, and an approach of explaining and repairing integrity constraint violations by utilizing the justifications of conjunctive query answers.