{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:54:09Z","timestamp":1725573249148},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297543"},{"type":"electronic","value":"9783540320821"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11574620_19","type":"book-chapter","created":{"date-parts":[[2005,10,16]],"date-time":"2005-10-16T01:05:16Z","timestamp":1129424716000},"page":"232-246","source":"Crossref","is-referenced-by-count":24,"title":["A General Diagnosis Method for Ontologies"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"Friedrich","sequence":"first","affiliation":[]},{"given":"Kostyantyn","family":"Shchekotykhin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Bechhofer, S., Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Scheider, P., Stein, L.: OWL Web Ontology Language Reference. W3C Recommendation (2004), available at \n \n http:\/\/www.w3.org\/TR\/2004\/REC-owl-ref-20040210\/"},{"issue":"4","key":"19_CR2","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/j.websem.2004.06.003","volume":"1","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.: Reducing OWL entailment to description logic satisfiability. J. of Web Semantics\u00a01(4), 345\u2013357 (2004)","journal-title":"J. of Web Semantics"},{"key":"19_CR3","unstructured":"Haarslev, V., M\u00f6ller, R.: High performance reasoning with very large knowledge bases: A practical case study. In: IJCAI 2001, Seattle, WA, USA, pp. 161\u2013168 (2001)"},{"key":"19_CR4","series-title":"Lecture Notes in Artificial Intelligence","first-page":"355","volume-title":"Intelligent Techniques for Web Personalization","author":"S. Schlobach","year":"2005","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Mobasher, B., Anand, S.S. (eds.) ITWP 2003. LNCS (LNAI), vol.\u00a03169, pp. 355\u2013362. Springer, Heidelberg (2005)"},{"key":"19_CR5","volume-title":"WWW 2005","author":"B. Parsion","year":"2005","unstructured":"Parsion, B., Sirin, E., Kalyanpur, A.: Debugging owl ontologies. In: WWW 2005, Chiba, Japan. ACM, New York (2005)"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A. Borgida","year":"1996","unstructured":"Borgida, A.: On the relative expressive power of description logics and predicate calculus. Artificial Intelligence\u00a082, 353\u2013367 (1996)","journal-title":"Artificial Intelligence"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"19_CR7","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 (2003)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M.: Consistency-based diagnosis of configuration knowledge bases. Artificial Intelligence\u00a0152 (2004)","DOI":"10.1016\/S0004-3702(03)00117-6"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"23","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a023, 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"19_CR10","unstructured":"Saraswat, V.A., de Kleer, J., Raiman, O.: Critical Reasoning. In: Proc. IJCAI 1993, pp. 18\u201323 (1993)"},{"key":"19_CR11","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 Reiter\u2019s theory of diagnosis. Artificial Intelligence\u00a041, 79\u201388 (1989)","journal-title":"Artificial Intelligence"},{"key":"19_CR12","unstructured":"Junker, U.: QUICKXPLAIN: Preferred explanations and relaxations for over-constrained problems. In: Proc. AAAI 2004, San Jose, CA, USA, pp. 167\u2013172 (2004)"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G. Friedrich","year":"1999","unstructured":"Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. Artificial Intelligence\u00a0111, 3\u201339 (1999)","journal-title":"Artificial Intelligence"},{"key":"19_CR14","unstructured":"McGuinness, D.: Explaining Reasoning in Description Logics. PhD thesis, Department of Computer Science, Rutgers University (1996)"},{"key":"19_CR15","unstructured":"Borgida, A., Franconi, E., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F.: Explaining ALC subsumption. In: International Workshop on Description Logics, CEUR Workshop Proc. (CEUR-WS.org), vol.\u00a022 (1999)"},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/503124.503150","volume":"45","author":"N. Guarino","year":"2002","unstructured":"Guarino, N., Welty, C.: Evaluating Ontological Decisions with Ontoclean. Communications of the ACM\u00a045, 61\u201365 (2002)","journal-title":"Communications of the ACM"},{"key":"19_CR17","unstructured":"G\u00f3mez-P\u00e9rez, A., Su\u00e1rez-Figueroa, M.C.: Results of Taxonomic Evaluation of RDF(S) and DAML+OIL ontologies using RDF(S) and DAML+OIL Validation Tools and Ontology Platforms import services. In: Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools, CEUR Workshop Proc (CEUR-WS.org), vol.\u00a087 (2003)"},{"key":"19_CR18","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1023\/B:APIN.0000033635.98612.1e","volume":"21","author":"F. Wotawa","year":"2004","unstructured":"Wotawa, F.: Debugging VHDL designs: Introducing multiple models and first empirical results. Applied Intelligence\u00a021, 159\u2013172 (2004)","journal-title":"Applied Intelligence"},{"key":"19_CR19","unstructured":"Chen, R., Wotawa, F.: Exploiting alias information to fault localization for Java programs. In: International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2004), Gold Coast, Australia (2004)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11574620_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:42:03Z","timestamp":1619505723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11574620_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297543","9783540320821"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11574620_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}