{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:05:21Z","timestamp":1746158721394,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642540240"},{"type":"electronic","value":"9783642540257"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-54025-7_21","type":"book-chapter","created":{"date-parts":[[2013,12,20]],"date-time":"2013-12-20T05:40:54Z","timestamp":1387518054000},"page":"235-238","source":"Crossref","is-referenced-by-count":0,"title":["Implementation and Evaluation of a Backtracking Algorithm for Finding All Justifications in OWL 2 EL"],"prefix":"10.1007","author":[{"given":"Zhangquan","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Guilin","family":"Qi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ Envelope. In: IJCAI, pp. 364\u2013369 (2005)","key":"21_CR1"},{"key":"21_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-74565-5_7","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"F. Baader","year":"2007","unstructured":"Baader, F., Pe\u00f1aloza, R., Suntisrivaraporn, B.: Pinpointing in the Description Logic $\\mathcal{EL}^{+}$ . In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol.\u00a04667, pp. 52\u201367. Springer, Heidelberg (2007)"},{"unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic $\\mathcal{EL}^{+}$ . In: KR-MED (2008)","key":"21_CR3"},{"doi-asserted-by":"crossref","unstructured":"Cheng, X., Qi, G.: An algorithm for axiom pinpointing in $\\mathcal{EL}^{+}$ and its incremental variant. In: CIKM, pp. 2433\u20132436 (2011)","key":"21_CR4","DOI":"10.1145\/2063576.2063985"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"The Semantic Web","author":"A. Kalyanpur","year":"2007","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding All Justifications of OWL DL Entailments. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 267\u2013280. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.A.: Debugging unsatisfiable classes in OWL ontologies. J. Web Sem., 268\u2013293 (2005)","key":"21_CR6","DOI":"10.1016\/j.websem.2005.09.005"},{"unstructured":"Schlobach, S., Cornet, R.: Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. In: IJCAI, pp. 355\u2013362 (2003)","key":"21_CR7"},{"doi-asserted-by":"crossref","unstructured":"Suntisrivaraporn, B.: Finding all justifications in SNOMED CT. Research Article, 79\u201390 (2013)","key":"21_CR8","DOI":"10.2306\/scienceasia1513-1874.2013.39.079"}],"container-title":["Communications in Computer and Information Science","Linked Data and Knowledge Graph"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54025-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T08:11:07Z","timestamp":1746087067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54025-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642540240","9783642540257"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54025-7_21","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}