{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:06:47Z","timestamp":1746331607593,"version":"3.40.4"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319098692"},{"type":"electronic","value":"9783319098708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09870-8_9","type":"book-chapter","created":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T01:06:07Z","timestamp":1405904767000},"page":"127-141","source":"Crossref","is-referenced-by-count":3,"title":["A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning"],"prefix":"10.1007","author":[{"given":"Mingmin","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shizhuo","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nico","family":"Franz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shawn","family":"Bowers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertram","family":"Lud\u00e4scher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Andersen, H.R., Hulgaard, H.: Boolean expression diagrams. In: Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science, LICS 1997, pp. 88\u201398. IEEE (1997)","DOI":"10.1109\/LICS.1997.614938"},{"key":"9_CR2","unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging snomed ct using axiom pinpointing in the description logic $\\mathcal{EL}^{+}$ . In: Proceedings of the International Conference on Representing and Sharing Knowledge Using SNOMED (KR-MED 2008). Citeseer, Phoenix (2008)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-30557-6_14","volume-title":"Practical Aspects of Declarative Languages","author":"J. Bailey","year":"2005","unstructured":"Bailey, J., Stuckey, P.J.: Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization. In: Hermenegildo, M.V., Cabeza, D. (eds.) PADL 2004. LNCS, vol.\u00a03350, pp. 174\u2013186. Springer, Heidelberg (2005)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-73770-4_12","volume-title":"Tests and Proofs","author":"B. Beckert","year":"2007","unstructured":"Beckert, B., Gladisch, C.: White-box testing by combining deduction-based specification extraction and black-box testing. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol.\u00a04454, pp. 207\u2013216. Springer, Heidelberg (2007)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bonatti, P., Calimeri, F., Leone, N., Ricca, F.: Answer set programming. In: Dovier, A., Pontelli, E. (eds.) 25 Years of Logic Programming. LNCS, vol.\u00a06125, pp. 159\u2013182. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-14309-0_8"},{"key":"9_CR6","unstructured":"Chen, M., Yu, S., Franz, N., Bowers, S., Lud\u00e4scher, B.: Euler\/x: A toolkit for logic-based taxonomy integration. In: 22nd Intl. Workshop on Functional and (Constraint) Logic Programming (WFLP), Kiel, Germany (2013)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"de la Banda, M.G., Stuckey, P.J., Wazny, J.: Finding all minimal unsatisfiable subsets. In: Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming, pp. 32\u201343. ACM (2003)","DOI":"10.1145\/888251.888256"},{"key":"9_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/3-540-45757-7_53","volume-title":"Logics in Artificial Intelligence","author":"T. Eiter","year":"2002","unstructured":"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.\u00a02424, pp. 549\u2013564. Springer, Heidelberg (2002)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-03754-2_2","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"T. Eiter","year":"2009","unstructured":"Eiter, T., Ianni, G., Krennwallner, T.: Answer set programming: A primer. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. LNCS, vol.\u00a05689, pp. 40\u2013110. Springer, Heidelberg (2009)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-73770-4_10","volume-title":"Tests and Proofs","author":"C. Engel","year":"2007","unstructured":"Engel, C., H\u00e4hnle, R.: Generating unit tests from formal proofs. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol.\u00a04454, pp. 169\u2013188. Springer, Heidelberg (2007)"},{"key":"9_CR11","unstructured":"Franz, N., Chen, M., Yu, S., Bowers, S., Lud\u00e4scher, B.: Names are not good enough: reasoning over taxonomic change in the andropogon complex. submitted for publication (2014)"},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S147720000800282X","volume":"7","author":"N. Franz","year":"2009","unstructured":"Franz, N., Peet, R.: Perspectives: Towards a language for mapping relationships among taxonomic concepts. Systematics and Biodiversity\u00a07(1), 5\u201320 (2009)","journal-title":"Systematics and Biodiversity"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: Proceedings of the Twenty-sixth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 31\u201340. ACM (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"9_CR14","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-04388-8_11","volume-title":"Scalable Uncertainty Management","author":"M. Horridge","year":"2009","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Explaining inconsistencies in owl ontologies. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS (LNAI), vol.\u00a05785, pp. 124\u2013137. Springer, Heidelberg (2009)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"The Semantic Web","author":"A. Kalyanpur","year":"2007","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of owl dl entailments. In: Aberer, K., et al. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 267\u2013280. Springer, Heidelberg (2007)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-32925-8_12","volume-title":"Datalog in Academia and Industry","author":"S. K\u00f6hler","year":"2012","unstructured":"K\u00f6hler, S., Lud\u00e4scher, B., Smaragdakis, Y.: Declarative datalog debugging for mere mortals. In: Barcel\u00f3, P., Pichler, R. (eds.) Datalog 2.0 2012. LNCS, vol.\u00a07494, pp. 111\u2013122. Springer, Heidelberg (2012)"},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"9_CR18","unstructured":"Tan, J., Narasimhan, P.: Rams and blacksheep: Inferring white-box application behavior using black-box techniques. Technical report, Technical Report CMU-PDL-08-103. Carnegie Mellon University Parallel Data Laboratory (2008)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Thau, D., Bowers, S., Lud\u00e4scher, B.: Merging taxonomies under rcc-5 algebraic articulations. In: 2nd International Workshop on Ontologies and Information Systems for the Semantic Web, pp. 47\u201354. ACM (2008)","DOI":"10.1145\/1458484.1458492"},{"issue":"3","key":"9_CR20","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.ecoinf.2007.07.005","volume":"2","author":"D. Thau","year":"2007","unstructured":"Thau, D., Lud\u00e4scher, B.: Reasoning about taxonomies in first-order logic. Ecological Informatics\u00a02(3), 195\u2013209 (2007)","journal-title":"Ecological Informatics"}],"container-title":["Lecture Notes in Computer Science","Rules on the Web. From Theory to Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09870-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T21:50:43Z","timestamp":1746309043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09870-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319098692","9783319098708"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09870-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}