International Workshop on Rules and Rule Markup Languages for the Semantic Web

RuleML 2014: Rules on the Web. From Theory to Applications pp 127-141

A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning

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

DOI: 10.1007/978-3-319-09870-8_9

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8620)
Cite this paper as:
Chen M., Yu S., Franz N., Bowers S., Ludäscher B. (2014) A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning. In: Bikakis A., Fodor P., Roman D. (eds) Rules on the Web. From Theory to Applications. RuleML 2014. Lecture Notes in Computer Science, vol 8620. Springer, Cham

Abstract

We study model-based diagnosis and propose a new approach of hybrid diagnosis combining black-box and white-box reasoning. We implemented and compared different diagnosis approaches including the standard hitting set algorithm and new approaches using answer set programming engines (DLV, Potassco) in the application of Euler/X toolkit, a logic-based toolkit for alignment of multiple biological taxonomies. Our benchmarks show that the new hybrid diagnosis approach runs about twice fast as the black-box diagnosis approach of the hitting set algorithm.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Mingmin Chen
    • 1
  • Shizhuo Yu
    • 1
  • Nico Franz
    • 2
  • Shawn Bowers
    • 3
  • Bertram Ludäscher
    • 1
  1. 1.Dept. of Computer ScienceUniversity of CaliforniaDavisUSA
  2. 2.School of Life SciencesArizona State UniversityUSA
  3. 3.Dept. of Computer ScienceGonzaga UniversityUSA

Personalised recommendations