Tracing the lineage of view data in a warehousing environment
ACM Transactions on Database Systems (TODS)
Evaluating Explanations: A Content Theory
Evaluating Explanations: A Content Theory
Explanations in Knowledge Systems: Design for Explainable Expert Systems
IEEE Expert: Intelligent Systems and Their Applications
Why and Where: A Characterization of Data Provenance
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Meta-Cases: Explaining Case-Based Reasoning
EWCBR '96 Proceedings of the Third European Workshop on Advances in Case-Based Reasoning
Transformation of WordNet Glosses into Logic Forms
Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference
SemTag and seeker: bootstrapping the semantic web via automated semantic annotation
WWW '03 Proceedings of the 12th international conference on World Wide Web
Explaining reasoning in description logics
Explaining reasoning in description logics
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)
Exploiting unannotated corpora for tagging and chunking
ACLdemo '04 Proceedings of the ACL 2004 on Interactive poster and demonstration sessions
A proof markup language for Semantic Web services
Information Systems
Explaining answers from the Semantic Web: the Inference Web approach
Web Semantics: Science, Services and Agents on the World Wide Web
Towards knowledge acquisition from information extraction
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Text2Onto: a framework for ontology learning and data-driven change discovery
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
IWTrust: improving user trust in answers from the web
iTrust'05 Proceedings of the Third international conference on Trust Management
What Makes You Think That? The Semantic Web's Proof Layer
IEEE Intelligent Systems
Proceedings of the 17th international conference on World Wide Web
Case Provenance: The Value of Remembering Case Sources
ICCBR '07 Proceedings of the 7th international conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Using Case Provenance to Propagate Feedback to Cases and Adaptations
ECCBR '08 Proceedings of the 9th European conference on Advances in Case-Based Reasoning
Inference Web in Action: Lightweight Use of the Proof Markup Language
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Querying for provenance, trust, uncertainty and other meta knowledge in RDF
Web Semantics: Science, Services and Agents on the World Wide Web
Adaptive systems in the era of the semantic and social web, a survey
User Modeling and User-Adapted Interaction
Semantic annotation of maps through knowledge provenance
GeoS'07 Proceedings of the 2nd international conference on GeoSpatial semantics
Towards knowledge acquisition from information extraction
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Towards explanation of scientific and technological emergence
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Hi-index | 0.00 |
The ubiquitous non-semantic web includes a vast array of unstructured information such as HTML documents. The semantic web provides more structured knowledge such as hand-built ontologies and semantically aware databases. To leverage the full power of both the semantic and non-semantic portions of the web, software systems need to be able to reason over both kinds of information. Systems that use both structured and unstructured information face a significant challenge when trying to convince a user to believe their results: the sources and the kinds of reasoning that are applied to the sources are radically different in their nature and their reliability. Our work aims at explaining conclusions derived from a combination of structured and unstructured sources. We present our solution that provides an infrastructure capable of encoding justifications for conclusions in a single format. This integration provides an end-to-end description of the knowledge derivation process including access to text or HTML documents, descriptions of the analytic processes used for extraction, as well as descriptions of the ontologies and many kinds of information manipulation processes, including standard deduction. We produce unified traces of extraction and deduction processes in the Proof Markup Language (PML), an OWL-based formalism for encoding provenance for inferred information. We provide a browser for exploring PML and thus enabling a user to understand how some conclusion was reached.