{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:50:37Z","timestamp":1743123037656,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642177453"},{"type":"electronic","value":"9783642177460"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17746-0_23","type":"book-chapter","created":{"date-parts":[[2010,12,8]],"date-time":"2010-12-08T04:05:44Z","timestamp":1291781144000},"page":"354-369","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Justification Oriented Proofs in OWL"],"prefix":"10.1007","author":[{"given":"Matthew","family":"Horridge","sequence":"first","affiliation":[]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[]},{"given":"Ulrike","family":"Sattler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook (2003)"},{"key":"23_CR2","unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic $\\mathcal{EL}^+$. In: KR-MED 2008 (2008)"},{"key":"23_CR3","unstructured":"Borgida, A., Calvanese, D., Rodriguez, M.: Explanation in DL-Lite. In: DL 2008 (2008)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-88564-1_21","volume-title":"The Semantic Web - ISWC 2008","author":"M. Horridge","year":"2008","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in OWL. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 323\u2013338. Springer, Heidelberg (2008)"},{"key":"23_CR5","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Lemmas for justifications in OWL. In: DL 2009 (2009)"},{"key":"23_CR6","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $\\mathcal{SROIQ}$. In: KR 2006 (2006)"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1007\/3-540-58156-1_53","volume-title":"Automated Deduction - CADE-12","author":"X. Huang","year":"1994","unstructured":"Huang, X.: Reconstructing proofs at the assertion level. In: Bundy, A. (ed.) CADE 1994. LNCS, vol.\u00a0814, pp. 738\u2013752. Springer, Heidelberg (1994)"},{"key":"23_CR8","volume-title":"Deduction","author":"P.N. Johnson-Laird","year":"1991","unstructured":"Johnson-Laird, P.N., Byrne, R.M.J.: Deduction. Psychology Press, San Diego (1991)"},{"key":"23_CR9","unstructured":"Kalyanpur, A.: Debugging and Repair of OWL Ontologies. PhD thesis, The Graduate School of the University of Maryland (2006)"},{"key":"23_CR10","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)"},{"key":"23_CR11","unstructured":"Kwong, F.K.H.: Practical approach to explaining $\\mathcal{ALC}$ subsumption. Technical report, The University of Manchester (2005)"},{"key":"23_CR12","unstructured":"Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Web Ontology Language structural specification and functional style syntax. W3C Recommendation, W3C \u2013 World Wide Web Consortium (October 2009)"},{"key":"23_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-73595-3_6","volume-title":"Automated Deduction \u2013 CADE-21","author":"B. Motik","year":"2007","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 67\u201383. Springer, Heidelberg (2007)"},{"key":"23_CR14","volume-title":"Predicting the Difficult of Complex Logical Reasoning Problems","author":"S.E. Newstead","year":"2006","unstructured":"Newstead, S.E., Brandon, P., Handley, S.J., Dennis, I., Evans, J.S.B.: Predicting the Difficult of Complex Logical Reasoning Problems, vol.\u00a012. Psychology Press, San Diego (2006)"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Plaisted, D.A., Greenbaum, S.: A structure-preserving clause form translation. Journal of Symbolic Computation (1986)","DOI":"10.1016\/S0747-7171(86)80028-1"},{"key":"23_CR16","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5680.001.0001","volume-title":"The Psychology of Proof","author":"L.J. Rips","year":"1994","unstructured":"Rips, L.J.: The Psychology of Proof. MIT Press, Cambridge (1994)"},{"key":"23_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/978-3-540-30227-8_35","volume-title":"Logics in Artificial Intelligence","author":"S. Schlobach","year":"2004","unstructured":"Schlobach, S.: Explaining subsumption by optimal interpolation. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 413\u2013425. Springer, Heidelberg (2004)"},{"key":"23_CR18","unstructured":"Strube, G.: The role of cognitive science in knowledge engineering. In: Proc. of Contemporary Knowledge Engineering and Cognition (1992)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2010"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17746-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T01:05:35Z","timestamp":1662771935000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-17746-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642177453","9783642177460"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17746-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}