{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:52:23Z","timestamp":1773939143845,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,7,10]],"date-time":"2007-07-10T00:00:00Z","timestamp":1184025600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"},{"start":{"date-parts":[[2007,7,10]],"date-time":"2007-07-10T00:00:00Z","timestamp":1184025600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1007\/s10817-007-9076-z","type":"journal-article","created":{"date-parts":[[2007,7,17]],"date-time":"2007-07-17T00:43:03Z","timestamp":1184632983000},"page":"317-349","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":117,"title":["Debugging Incoherent Terminologies"],"prefix":"10.1007","volume":"39","author":[{"given":"Stefan","family":"Schlobach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhisheng","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronald","family":"Cornet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"van Harmelen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,7,10]]},"reference":[{"key":"9076_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge, MA (2003)"},{"key":"9076_CR2","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"F. Baader","year":"1995","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. Autom. Reason. 14, 149\u2013180 (1995)","journal-title":"J. Autom. Reason."},{"key":"9076_CR3","unstructured":"Console, L., Dressler, O.: Model-based diagnosis in the real world: lessons learned and challenges remaining. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI\u201999, pp. 1393\u20131400 (1999)"},{"key":"9076_CR4","doi-asserted-by":"crossref","unstructured":"de\u00a0la Banda, M.G., Stuckey, P.J., Wazny, J.: Finding all minimal unsatisfiable subsets. In: Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, ACM-SGPLAN\u201903, pp. 32\u201343 (2003)","DOI":"10.1145\/888251.888256"},{"key":"9076_CR5","doi-asserted-by":"crossref","unstructured":"Friedrich, G., Shchekotykhin, K.M.: A general diagnosis method for ontologies. In: Proceedings of the 4th International Semantic Web Conference, ISWC\u201905. LNCS, vol. 3729, pp. 232\u2013246 (2005)","DOI":"10.1007\/11574620_19"},{"issue":"1","key":"9076_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiters theory of diagnosis. Artif. Intell. 41(1), 79\u201388 (1989)","journal-title":"Artif. Intell."},{"key":"9076_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics","author":"S. Hansson","year":"1999","unstructured":"Hansson, S.: A Textbook of Belief Dynamics. Kluwer, Dordrecht (1999)"},{"issue":"1","key":"9076_CR8","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1014654208944","volume":"70","author":"S.O. Hansson","year":"2002","unstructured":"Hansson, S.O., Wassermann, R.: Local change. Stud. Log. 70(1), 49\u201376 (2002)","journal-title":"Stud. Log."},{"key":"9076_CR9","unstructured":"Horrocks, I., Patel-Schneider, P.F.: DL systems comparison. In: Proceedings of the 1998 Description Logic Workshop (DL\u201998), pp. 55\u201357 (1998)"},{"key":"9076_CR10","unstructured":"Huang, Z., van Harmelen, F.: Reasoning with inconsistent ontologies: evaluation. Project Report D3.4.2, SEKT (2006)"},{"key":"9076_CR11","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proceedings of the International Joint Conference on Artificial Intelligence \u2013 IJCAI\u201905 (2005)"},{"key":"9076_CR12","unstructured":"Kalyanpur, A.: Debugging and repair of OWL ontologies. Ph.D. thesis, University of Maryland (2006)"},{"key":"9076_CR13","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Cuenca-Grau, B., Sirin, E.: Beyond axioms: fine-grained justifications for arbitrary entailments in OWL-DL. In: Description Logic Workshop (DL\u201906) (2006)","DOI":"10.1007\/978-3-540-76298-0_20"},{"key":"9076_CR14","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable concepts in OWL ontologies. J. Web Sem. 3(4) (2005)","DOI":"10.1016\/j.websem.2005.09.005"},{"key":"9076_CR15","doi-asserted-by":"crossref","unstructured":"Massacci, F., Donini, F.M.: Design and results of TANCS-2000 non-classical (Modal) systems comparison. In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Tableau\u201900, pp. 52\u201356 (2000)","DOI":"10.1007\/10722086_4"},{"key":"9076_CR16","unstructured":"Meyer, T., Lee, K., Booth, R.: Knowledge integration for description logics. In: Proceedings of the Twentieth National Conference on Artificial Intelligence, AAAI\u201905, pp. 645\u2013650 (2005)"},{"key":"9076_CR17","unstructured":"Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic ALC. In: Proceedings of the 21st National Conference on Artificial Intelligence, AAAI\u201906 (2006)"},{"key":"9076_CR18","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B. Nebel","year":"1990","unstructured":"Nebel, B.: Terminological reasoning is inherently intractable. Artif. Intell. 43, 235\u2013249 (1990)","journal-title":"Artif. Intell."},{"key":"9076_CR19","doi-asserted-by":"publisher","first-page":"521","DOI":"10.2307\/2308219","volume":"59","author":"W. Quine","year":"1952","unstructured":"Quine, W.: The problem of simplifying truth functions. Am. Math. Mon. 59, 521\u2013531 (1952)","journal-title":"Am. Math. Mon."},{"issue":"1","key":"9076_CR20","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":"9076_CR21","doi-asserted-by":"crossref","unstructured":"Schlobach, S.: Debugging and semantic clarification by pinpointing. In: Proceedings of the 2nd European Semantic Web Conference \u2013 ESWC\u201905. LNCS, vol. 3532, pp. 226\u2013240 (2005)","DOI":"10.1007\/11431053_16"},{"key":"9076_CR22","unstructured":"Schlobach, S.: Diagnosing terminologies. In: Proceedings of the Twentieth National Conference on Artificial Intelligence, AAAI\u201905, pp. 670\u2013675 (2005)"},{"key":"9076_CR23","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI\u201903 (2003)"},{"key":"9076_CR24","unstructured":"Schlobach, S., Cornet, R., Huang, Z.: Inconsistent ontology diagnosis. Project Report D3.6.2, SEKT (2006)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-007-9076-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10817-007-9076-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-007-9076-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-007-9076-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T18:42:08Z","timestamp":1630435328000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10817-007-9076-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,10]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,10]]}},"alternative-id":["9076"],"URL":"https:\/\/doi.org\/10.1007\/s10817-007-9076-z","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,10]]},"assertion":[{"value":"21 April 2006","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 February 2007","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 July 2007","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}