International Provenance and Annotation Workshop

IPAW 2014: Provenance and Annotation of Data and Processes pp 258-260

Provenance for Explaining Taxonomy Alignments

  • Mingmin Chen
  • Shizhuo Yu
  • Parisa Kianmajd
  • Nico Franz
  • Shawn Bowers
  • Bertram Ludäscher
Conference paper

DOI: 10.1007/978-3-319-16462-5_27

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8628)
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

Abstract

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.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Mingmin Chen
    • 1
  • Shizhuo Yu
    • 1
  • Parisa Kianmajd
    • 1
  • Nico Franz
    • 2
  • Shawn Bowers
    • 3
  • Bertram Ludäscher
    • 1
  1. 1.Department of Computer ScienceUC DavisDavisUSA
  2. 2.School of Life SciencesArizona State UniversityTempeUSA
  3. 3.Department of Computer ScienceGonzaga UniversitySpokaneUSA

Personalised recommendations