{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,3]],"date-time":"2026-11-03T06:02:24Z","timestamp":1793685744529,"version":"4.5.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540762973","type":"print"},{"value":"9783540762980","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-76298-0_20","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T14:13:59Z","timestamp":1193408039000},"page":"267-280","source":"Crossref","is-referenced-by-count":146,"title":["Finding All Justifications of OWL DL Entailments"],"prefix":"10.1007","author":[{"given":"Aditya","family":"Kalyanpur","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Horridge","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Evren","family":"Sirin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"20_CR1","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":"20_CR2","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\u00a04(2) (2006)","DOI":"10.1016\/j.websem.2005.10.001"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11762256_15","volume-title":"The Semantic Web: Research and Applications","author":"A. Kalyanpur","year":"2006","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.: Repairing unsatisfiable concepts in owl ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, Springer, Heidelberg (2006)"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Schlobach, S., Huang, C.R., Van-Harmelen, F.: Debugging incoherent terminologies. In: Journal of Automated Reasoning (JAL) (in press, 2007)","DOI":"10.1007\/s10817-007-9076-z"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in OWL ontologies. Journal of Web Semantics\u00a03(4) (2005)","DOI":"10.1016\/j.websem.2005.09.005"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Patel-Schneider, P.: Reducing OWL entailment to description logic satisfiability. In: International Semantic Web Conference (2003)","DOI":"10.1007\/978-3-540-39718-2_2"},{"key":"20_CR7","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":"20_CR8","unstructured":"Sirin, E., Parsia, B.: Pellet system description. In: Description Logics (DL) (2004)"},{"key":"20_CR9","unstructured":"Horrocks, I.: FaCT and iFaCT. In: Description Logics (1999)"},{"key":"20_CR10","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms (Technical Report RR-93-20)"},{"key":"20_CR11","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI 2003 (2003)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76298-0_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:46:09Z","timestamp":1619520369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76298-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540762973","9783540762980"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76298-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}