{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:59:34Z","timestamp":1725559174687},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261247"},{"type":"electronic","value":"9783540315476"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11431053_16","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T04:48:34Z","timestamp":1279082914000},"page":"226-240","source":"Crossref","is-referenced-by-count":37,"title":["Debugging and Semantic Clarification by Pinpointing"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Schlobach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook","year":"2003","key":"16_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"16_CR2","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. Technical Report RR-93-20, Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz GmbH (1993)"},{"key":"16_CR3","unstructured":"Borgida, A., Franconi, E., Horrocks, I.: Explaining \n                    \n                      \n                    \n                    $\\mathcal{ALC}$\n                   subsumption. In: Proc. of the 14th Eur. Conf. on Artificial Intelligence, pp. 209\u2013213 (2000)"},{"key":"16_CR4","unstructured":"Cornet, R., Abu-Hanna, A.: Evaluation of a frame-based ontology. A formalization-oriented approach. In: Proceedings of MIE 2002, Studies in Health Technology & Information, vol. 90, 488-93 (2002)"},{"key":"16_CR5","unstructured":"DAML ontology library, URL: \n                    \n                      http:\/\/www.daml.org\/ontologies\/"},{"key":"16_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, p. 701. Springer, Heidelberg (2001)"},{"key":"16_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-69778-0_30","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: The FaCT system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 307\u2013312. Springer, Heidelberg (1998)"},{"issue":"1","key":"16_CR8","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"issue":"2","key":"16_CR9","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1023\/A:1010595019595","volume":"67","author":"P. Marquis","year":"2001","unstructured":"Marquis, P., Lang, J.: Removing inconsistencies in assumption-based theories through knowledge-gathering actions. Studia Logica\u00a067(2), 179\u2013214 (2001)","journal-title":"Studia Logica"},{"key":"16_CR10","unstructured":"McGuinness, D., Fikes, R., Rice, J., Wilder, S.: The Chimaera Ontology Environment. In: The Seventeenth National Conference on Artificial Intelligence (2000)"},{"key":"16_CR11","first-page":"235","volume":"43","author":"B. Nebel","year":"1990","unstructured":"Nebel, B.: Terminological reasoning is inherently intractable. AI\u00a043, 235\u2013249 (1990)","journal-title":"AI"},{"key":"16_CR12","unstructured":"Noy, N., Musen, M.: Prompt: Algorithm and tool for automated ontology merging and alignment. In: Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, pp. 450\u2013455. AAAI Press \/ The MIT Press (2000)"},{"key":"16_CR13","unstructured":"http:\/\/www.opencyc.org\/"},{"key":"16_CR14","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, 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"16_CR15","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artif. Intell.\u00a074(2), 249\u2013310 (1995)","journal-title":"Artif. Intell."},{"key":"16_CR16","volume-title":"Proceedings of the eighteenth International Joint Conference on Artificial Intelligence, IJCAI 2003","author":"S. Schlobach","year":"2003","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 2003. Morgan Kaufmann, San Francisco (2003)"},{"key":"16_CR17","unstructured":"Sumo (Suggested Upper Merged Ontology), as visited on April 16 (2004), URL: \n                    \n                      http:\/\/ontology.teknowledge.com\/"},{"key":"16_CR18","unstructured":"Web-ontology (WebOnt) working group of the W3C, as of April 16 (2004), URL: \n                    \n                      http:\/\/www.w3.org\/2001\/sw\/WebOnt\/"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11431053_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:13Z","timestamp":1619507473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11431053_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261247","9783540315476"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11431053_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}