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

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.

References

  1. 1.
    Chen, M., Yu, S., Franz, N., Bowers, S., Ludäscher, B.: Euler/X: A toolkit for logic-based taxonomy integration. In: 22nd International Workshop on Functional and (Constraint) LogicProgramming (WFLP), Kiel, Germany (2013)Google Scholar
  2. 2.
    Eiter, T., Gottlob, G.: Hypergraph transversal computation and related problems in logic and AI. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 549–564. Springer, Heidelberg (2002) CrossRefGoogle Scholar
  3. 3.
    Green, T., Karvounarakis, G., Tannen, V.: Provenance semirings. In: ACM Symposium on Principles of Database Systems (PODS), pp. 31–40 (2007)Google Scholar
  4. 4.
    Horridge, M., Parsia, B., Sattler, U.: Explaining inconsistencies in OWL ontologies. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol. 5785, pp. 124–137. Springer, Heidelberg (2009) CrossRefGoogle Scholar
  5. 5.
    Köhler, S., Ludäscher, B., Smaragdakis, Y.: Declarative datalog debugging for mere mortals. In: Barceló, P., Pichler, R. (eds.) Datalog 2.0 2012. LNCS, vol. 7494, pp. 111–122. Springer, Heidelberg (2012) CrossRefGoogle Scholar
  6. 6.
    Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57–95 (1987)MATHMathSciNetCrossRefGoogle Scholar

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