{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:14:55Z","timestamp":1725534895098},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642021831"},{"type":"electronic","value":"9783642021848"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02184-8_12","type":"book-chapter","created":{"date-parts":[[2009,7,9]],"date-time":"2009-07-09T08:04:13Z","timestamp":1247126653000},"page":"171-185","source":"Crossref","is-referenced-by-count":1,"title":["Incremental Approach to Error Explanations in Ontologies"],"prefix":"10.1007","author":[{"given":"Petr","family":"K\u0159emen","sequence":"first","affiliation":[]},{"given":"Zden\u011bk","family":"Kouba","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica\u00a069, 5\u201340 (2001)","journal-title":"Studia Logica"},{"key":"12_CR2","unstructured":"Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P.(eds.): The Description Logic Handbook, Theory, Implementation and Applications. Cambridge (2003)"},{"key":"12_CR3","unstructured":"Bechhofer, S., Moller, R., Crowther, P.: The DIG Description Logic Interface. In: Proc. of International Workshop on Description Logics, DL 2003 (2003)"},{"key":"12_CR4","unstructured":"CIPHER project homepage, http:\/\/cipherweb.open.ac.uk (cited December 2007)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"De la Banda, M.G., Stuckey, P.J., Wazny, J.: Finding All Minimal Unsatisfiable Subsets. In: PPDP 2003C (2003)","DOI":"10.1145\/888251.888256"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Halaschek-Wiener, C., Parsia, B., Sirin, E.: Description logic reasoning with syntactic updates. In: Proc. of the 5th International Conference on Ontologies, Databases, and Applications of Semantics, ODBASE 2006 (2006)","DOI":"10.21236\/ADA455672"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic Programming and Automated Reasoning","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Expressive Description Logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705. Springer, Heidelberg (1999)"},{"key":"12_CR8","unstructured":"Kalyanpur, A.: Debugging and Repair of OWL Ontologies. PhD thesis, University of Maryland (2006)"},{"key":"12_CR9","unstructured":"K\u0159emen, P.: Inference Support for Creating Semantic Annotations. Technical Report GL 190\/07, CTU FEE in Prague, Dept. of Cybernetics (2007)"},{"key":"12_CR10","unstructured":"Uhl\u00ed\u0159, J., Kouba, Z., K\u0159emen, P.: Graphical Interface to Semantic Annotations. In: Znalosti 2005, pp. 129\u2013132. Ostrava (2005)"},{"key":"12_CR11","unstructured":"Schlobach, S., Huang, Z.: Inconsistent Ontology Diagnosis: Framework and Prototype. Technical Report, Vrije Universiteit Amsterdam (2005)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Schlobach, S., Huang, Z., Cornet, R., Van Harmelen, F.: Debugging Incoherent Terminologies. Technical Report, Vrije Universiteit Amsterdam (2006)","DOI":"10.1007\/s10817-007-9076-z"},{"issue":"1","key":"12_CR13","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\u201396 (1987)","journal-title":"Artificial Intelligence"}],"container-title":["Studies in Computational Intelligence","Networked Knowledge - Networked Media"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02184-8_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T22:59:55Z","timestamp":1685055595000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02184-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642021831","9783642021848"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02184-8_12","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2009]]}}}