Argumentative logics: reasoning with classically inconsistent information
Data & Knowledge Engineering
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
PrediCalc: a logical spreadsheet management system
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Trio: a system for data, uncertainty, and lineage
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Databases with uncertainty and lineage
The VLDB Journal — The International Journal on Very Large Data Bases
Predicalc: A logical spreadsheet management system
The Knowledge Engineering Review
Answer Set Programming with Constraints Using Lazy Grounding
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
What is answer set programming?
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Logic programs for consistently querying data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
REASONING WITH INCONSISTENT ONTOLOGIES THROUGH ARGUMENTATION
Applied Artificial Intelligence - Knowledge Representation and Ontology Research
RDFProv: A relational RDF store for querying and managing scientific workflow provenance
Data & Knowledge Engineering
The Open Provenance Model core specification (v1.1)
Future Generation Computer Systems
Linked provenance data: A semantic Web-based approach to interoperable workflow traces
Future Generation Computer Systems
Linear Reduction Reasoning with Inconsistent Ontology
CSO '11 Proceedings of the 2011 Fourth International Joint Conference on Computational Sciences and Optimization
Paraconsistent Inference from Data Using Existential Omega-Entailment
DEXA '11 Proceedings of the 2011 22nd International Workshop on Database and Expert Systems Applications
Data integration and answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Hi-index | 0.00 |
Open collections of data and rules on the web are typically characterized by heterogeneous quality and imperfect consistency. In reasoning with data and rules on the web, it is important to know where an answer comes from (provenance) and whether the it is reasonable considering the inconsistencies (inconsistency-tolerance). In this paper, I draw attention to the idea that provenance and inconsistency-tolerance play mutually supporting roles under the theme of reasoning with imperfect information on the web. As a specific example, I make use of basic provenance information to avoid unreasonable answers in reasoning with rules and inconsistent data.