{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:52:45Z","timestamp":1773939165281,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540345442","type":"print"},{"value":"9783540345459","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11762256_15","type":"book-chapter","created":{"date-parts":[[2006,5,31]],"date-time":"2006-05-31T19:29:40Z","timestamp":1149103780000},"page":"170-184","source":"Crossref","is-referenced-by-count":87,"title":["Repairing Unsatisfiable Concepts in OWL Ontologies"],"prefix":"10.1007","author":[{"given":"Aditya","family":"Kalyanpur","sequence":"first","affiliation":[]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[]},{"given":"Evren","family":"Sirin","sequence":"additional","affiliation":[]},{"given":"Bernardo","family":"Cuenca-Grau","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Gardenfors, P., Makinson, D., Alchourron, C.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic\u00a050 (1985)","DOI":"10.2307\/2274239"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11574620_14","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"L. Ding","year":"2005","unstructured":"Ding, L., Pan, R., Finin, T.W., Joshi, A., Peng, Y., Kolari, P.: Finding and Ranking Knowledge on the Semantic Web. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 156\u2013170. Springer, Heidelberg (2005)"},{"issue":"2","key":"15_CR3","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. Commun. ACM\u00a045(2), 61\u201365 (2002)","journal-title":"Commun. ACM"},{"key":"15_CR4","unstructured":"Kalyanpur, A., Parsia, B., Cuenca-Grau, B., Sirin, E.: Axiom pinpointing: Finding (precise) justifications for arbitrary entailments in $\\mathcal{SHOIN}$ (owl-dl). Technical report, UMIACS, 2005-66 (2006)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B., Hendler, J.: Swoop: A web ontology editing browser. Journal of Web Semantics (to appear, 2005)","DOI":"10.2139\/ssrn.3199333"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in owl ontologies. Journal of Web Semantics 3(4) (to appear, 2005)","DOI":"10.1016\/j.websem.2005.09.005"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Noy, N., Sintek, M., Decker, S., Crubezy, M., Fergerson, R., Musen, M.: Creating semantic web contents with Prot\u00e9g\u00e9 2000. IEEE Intelligent Systems (2001)","DOI":"10.1109\/5254.920601"},{"key":"15_CR8","series-title":"International Handbooks on Information Systems","first-page":"311","volume-title":"Handbook on Ontologies","author":"D. Oberle","year":"2004","unstructured":"Oberle, D., Volz, R., Motik, B., Staab, S.: An extensible ontology software environment. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, ch.\u00a0III, pp. 311\u2013333. Springer, Heidelberg (2004)"},{"key":"15_CR9","doi-asserted-by":"crossref","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: EKAW, pp. 63\u201381 (2004)","DOI":"10.1007\/978-3-540-30202-5_5"},{"key":"15_CR10","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"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11431053_16","volume-title":"The Semantic Web: Research and Applications","author":"S. Schlobach","year":"2005","unstructured":"Schlobach, S.: Debugging and Semantic Clarification by Pinpointing. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 226\u2013240. Springer, Heidelberg (2005)"},{"key":"15_CR12","unstructured":"Schlobach, S.: Diagnosing terminologies. In: Proceedings of AAAI 2005 (2005)"},{"key":"15_CR13","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of IJCAI (2003)"},{"key":"15_CR14","unstructured":"Sirin, E., Parsia, B., Cuena Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical owl-dl reasoner. Technical report, University of Maryland Institute for Advanced Computes Studies (UMIACS), 2005-68 (2005), Available online at : http:\/\/www.mindswap.org\/papers\/PelletDemo.pdf"}],"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\/11762256_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:10:13Z","timestamp":1619507413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11762256_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540345442","9783540345459"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11762256_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}