{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T03:14:27Z","timestamp":1776309267012,"version":"3.50.1"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319900490","type":"print"},{"value":"9783319900506","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-90050-6_19","type":"book-chapter","created":{"date-parts":[[2018,4,17]],"date-time":"2018-04-17T08:33:32Z","timestamp":1523954012000},"page":"340-359","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["OntoDebug: Interactive Ontology Debugging Plug-in for Prot\u00e9g\u00e9"],"prefix":"10.1007","author":[{"given":"Konstantin","family":"Schekotihin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8178-4692","authenticated-orcid":false,"given":"Patrick","family":"Rodler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Schmid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,18]]},"reference":[{"issue":"1","key":"19_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/exn058","volume":"20","author":"F Baader","year":"2010","unstructured":"Baader, F., Pe\u00f1aloza, R.: Axiom pinpointing in general tableaux. J. Log. Comput. 20(1), 5\u201334 (2010)","journal-title":"J. Log. Comput."},{"issue":"4","key":"19_CR2","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1016\/0010-0285(71)90023-5","volume":"2","author":"J Ceraso","year":"1971","unstructured":"Ceraso, J., Provitera, A.: Sources of error in syllogistic reasoning. Cogn. Psychol. 2(4), 400\u2013410 (1971)","journal-title":"Cogn. Psychol."},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/11574620_19","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"G Friedrich","year":"2005","unstructured":"Friedrich, G., Shchekotykhin, K.: A general diagnosis method for ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 232\u2013246. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11574620_19"},{"key":"19_CR4","unstructured":"Horridge, M.: Justification based explanation in ontologies. Ph.D. thesis, University of Manchester (2011)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-88564-1_21","volume-title":"The Semantic Web - ISWC 2008","author":"M Horridge","year":"2008","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in OWL. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 323\u2013338. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88564-1_21"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1146\/annurev.psych.50.1.109","volume":"50","author":"PN Johnson-Laird","year":"1999","unstructured":"Johnson-Laird, P.N.: Deductive reasoning. Annu. Rev. Psychol. 50, 109\u2013135 (1999)","journal-title":"Annu. Rev. Psychol."},{"key":"19_CR7","unstructured":"Junker, U.: QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems. In: AAAI 2004, vol. 3, pp. 167\u2013172 (2004)"},{"key":"19_CR8","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\/ISWC -2007. LNCS, vol. 4825, pp. 267\u2013280. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76298-0_20"},{"issue":"2","key":"19_CR9","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.websem.2005.10.001","volume":"4","author":"A Kalyanpur","year":"2006","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C., Hendler, J.A.: Swoop: a web ontology editing browser. J. Web Semant. 4(2), 144\u2013153 (2006)","journal-title":"J. Web Semant."},{"issue":"1","key":"19_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32(1), 97\u2013130 (1987)","journal-title":"Artif. Intell."},{"issue":"2","key":"19_CR11","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(98)00086-1","volume":"106","author":"RE Korf","year":"1998","unstructured":"Korf, R.E.: A complete anytime algorithm for number partitioning. Artif. Intell. 106(2), 181\u2013203 (1998)","journal-title":"Artif. Intell."},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-642-17749-1_12","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"J Lehmann","year":"2010","unstructured":"Lehmann, J., B\u00fchmann, L.: ORE - a tool for repairing and enriching knowledge bases. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010. LNCS, vol. 6497, pp. 177\u2013193. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17749-1_12"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-642-39799-8_39","volume-title":"Computer Aided Verification","author":"J Marques-Silva","year":"2013","unstructured":"Marques-Silva, J., Janota, M., Belov, A.: Minimal sets over monotone predicates in Boolean formulae. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 592\u2013607. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_39"},{"key":"19_CR14","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B Motik","year":"2009","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165\u2013228 (2009)","journal-title":"J. Artif. Intell. Res."},{"issue":"4","key":"19_CR15","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/2757001.2757003","volume":"1","author":"Mark A. Musen","year":"2015","unstructured":"Musen, M.A., The Prot\u00e9g\u00e9 Team: The prot\u00e9g\u00e9 project: a look back and a look forward. AI Matters 1(4), 4\u201312 (2015)","journal-title":"AI Matters"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proceedings of 14th international conference on WWW, pp. 633\u2013640. ACM (2005)","DOI":"10.1145\/1060745.1060837"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-540-76298-0_28","volume-title":"The Semantic Web","author":"G Qi","year":"2007","unstructured":"Qi, G., Hunter, A.: Measuring incoherence in description logic-based ontologies. In: Aberer, K., et al. (eds.) ASWC\/ISWC -2007. LNCS, vol. 4825, pp. 381\u2013394. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76298-0_28"},{"key":"19_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-30202-5_5","volume-title":"Engineering Knowledge in the Age of the Semantic Web","author":"A Rector","year":"2004","unstructured":"Rector, A., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H., Wroe, C.: OWL pizzas: practical experience of teaching OWL-DL: common errors & common patterns. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) EKAW 2004. LNCS, vol. 3257, pp. 63\u201381. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30202-5_5"},{"issue":"1","key":"19_CR19","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. Artif. Intell. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"19_CR20","unstructured":"Rodler, P.: Interactive debugging of knowledge bases. Ph.D. thesis, Alpen-Adria Universit\u00e4t Klagenfurt (2015). http:\/\/arxiv.org\/pdf\/1605.05950v1.pdf"},{"key":"19_CR21","unstructured":"Rodler, P.: On active learning strategies for sequential diagnosis. In: 28th International Workshop on Principles of Diagnosis (DX 2017). Kalpa Publications in Computing, vol. 4, pp. 264\u2013283. EasyChair (2018). https:\/\/easychair.org\/publications\/paper\/zHgj"},{"key":"19_CR22","unstructured":"Rodler, P., Schekotihin, K.: Reducing model-based diagnosis to knowledge base debugging. In: 28th International Workshop on Principles of Diagnosis (DX 2017). Kalpa Publications in Computing, vol. 4, pp. 284\u2013296. EasyChair (2018). https:\/\/easychair.org\/publications\/paper\/3g9Q"},{"key":"19_CR23","unstructured":"Rodler, P., Schmid, W., Schekotihin, K.: Inexpensive cost-optimized measurement proposal for sequential model-based diagnosis. In: 28th International Workshop on Principles of Diagnosis (DX 2017). Kalpa Publications in Computing, vol. 4, pp. 200\u2013218. EasyChair (2018). https:\/\/easychair.org\/publications\/paper\/HhPf"},{"key":"19_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-39666-3_12","volume-title":"Web Reasoning and Rule Systems","author":"P Rodler","year":"2013","unstructured":"Rodler, P., Shchekotykhin, K., Fleiss, P., Friedrich, G.: RIO: minimizing user interaction in ontology debugging. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol. 7994, pp. 153\u2013167. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39666-3_12"},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"Roussey, C., Corcho, O., Vilches-Bl\u00e1zquez, L.M.: A catalogue of OWL ontology antipatterns. In: International Conference on Knowledge Capture, pp. 205\u2013206. ACM, Redondo Beach (2009)","DOI":"10.1145\/1597735.1597784"},{"key":"19_CR26","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: IJCAI-2003, Proceedings of 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, 9\u201315 August 2003, pp. 355\u2013362. Morgan Kaufmann (2003)"},{"issue":"3","key":"19_CR27","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s10817-007-9076-z","volume":"39","author":"S Schlobach","year":"2007","unstructured":"Schlobach, S., Huang, Z., Cornet, R., Harmelen, F.: Debugging incoherent terminologies. J. Autom. Reason. 39(3), 317\u2013349 (2007)","journal-title":"J. Autom. Reason."},{"key":"19_CR28","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/j.websem.2011.12.006","volume":"12","author":"KM Shchekotykhin","year":"2012","unstructured":"Shchekotykhin, K.M., Friedrich, G., Fleiss, P., Rodler, P.: Interactive ontology debugging: two query strategies for efficient fault localization. J. Web Semat. 12, 88\u2013103 (2012)","journal-title":"J. Web Semat."},{"key":"19_CR29","unstructured":"Shchekotykhin, K.M., Friedrich, G., Rodler, P., Fleiss, P.: Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation. In: ECAI 2014\u201321st European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 813\u2013818. IOS Press (2014)"},{"key":"19_CR30","unstructured":"Shchekotykhin, K.M., Jannach, D., Schmitz, T.: Mergexplain: fast computation of multiple conflicts for diagnosis. In: Proceedings of 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25\u201331 July 2015, pp. 3221\u20133228. AAAI Press (2015)"},{"issue":"2","key":"19_CR31","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. Web Semant.: Sci. Serv. Agents World Wide Web 5(2), 51\u201353 (2007)","journal-title":"Web Semant.: Sci. Serv. Agents World Wide Web"},{"key":"19_CR32","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1016\/S1574-6526(07)03010-6","volume-title":"Handbook of Knowledge Representation","author":"Peter Struss","year":"2008","unstructured":"Struss, P.: Model-based problem solving. In: Handbook of Knowledge Representation, Foundations of Artificial Intelligence, vol. 3, pp. 395\u2013465. Elsevier (2008)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90050-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T22:28:53Z","timestamp":1571178533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90050-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319900490","9783319900506"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90050-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}