Provenance for Explaining Taxonomy Alignments
- Cite this paper as:
- Chen M., Yu S., Kianmajd P., Franz N., Bowers S., Ludäscher B. (2015) Provenance for Explaining Taxonomy Alignments. In: Ludäscher B., Plale B. (eds) Provenance and Annotation of Data and Processes. IPAW 2014. Lecture Notes in Computer Science, vol 8628. Springer, Cham
Derivations and proofs are a form of provenance in automated deduction that can assist users in understanding how reasoners derive logical consequences from premises. However, system-generated proofs are often overly complex or detailed, and making sense of them is non-trivial. Conversely, without any form of provenance, it is just as hard to know why a certain fact was derived.