{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:36Z","timestamp":1740099156642,"version":"3.37.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030004606"},{"type":"electronic","value":"9783030004613"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00461-3_13","type":"book-chapter","created":{"date-parts":[[2018,9,10]],"date-time":"2018-09-10T16:13:01Z","timestamp":1536595981000},"page":"181-195","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Consequence-Based Axiom Pinpointing"],"prefix":"10.1007","author":[{"given":"Ana","family":"Ozaki","sequence":"first","affiliation":[]},{"given":"Rafael","family":"Pe\u00f1aloza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,11]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Arif, M.F., Menc\u00eda, C., Marques-Silva, J.: Efficient axiom pinpointing with EL2MCS. In: KI, pp. 225\u2013233 (2015)","DOI":"10.1007\/978-3-319-24489-1_17"},{"key":"13_CR2","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal{E\\!L}$$ envelope. In: IJCAI, pp. 364\u2013369 (2005)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"13_CR3","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"issue":"2","key":"13_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10817-010-9181-2","volume":"45","author":"F Baader","year":"2010","unstructured":"Baader, F., Pe\u00f1aloza, R.: Automata-based axiom pinpointing. J. Autom. Reason. 45(2), 91\u2013129 (2010)","journal-title":"J. Autom. Reason."},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/exn058","volume":"20","author":"F Baader","year":"2010","unstructured":"Baader, F., Pe\u00f1aloza, R.: Axiom pinpointing in general tableaux. J. Log. Comput. 20(1), 5\u201334 (2010)","journal-title":"J. Log. Comput."},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science (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 $$\\cal{EL}^+$$. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 52\u201367. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74565-5_7"},{"key":"13_CR7","unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic $$\\cal{EL}^+$$. In: Proceedings of the 3rd Knowledge Representation in Medicine (KR-MED 2008): Representing and Sharing Knowledge Using SNOMED. CEUR-WS, vol. 410 (2008)"},{"key":"13_CR8","unstructured":"Bate, A., Motik, B., Grau, B.C., Simancik, F., Horrocks, I.: Extending consequence-based reasoning to SRIQ. In: KR, pp. 187\u2013196 (2016)"},{"key":"13_CR9","unstructured":"Cucala, D.T., Grau, B.C., Horrocks, I.: Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals. In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, 18\u201321 July 2017 (2017)"},{"issue":"suppl 1","key":"13_CR10","first-page":"D344","volume":"36","author":"K Degtyarenko","year":"2008","unstructured":"Degtyarenko, K., et al.: ChEBI: a database and ontology for chemical entities of biological interest. Nucleic Acids Res. 36(suppl 1), D344\u2013D350 (2008)","journal-title":"Nucleic Acids Res."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Beijing, China, 11\u201313 June 2007, pp. 31\u201340 (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-319-53733-7_7","volume-title":"Language and Automata Theory and Applications","author":"L Hutschenreiter","year":"2017","unstructured":"Hutschenreiter, L., Pe\u00f1aloza, R.: An automata view to goal-directed methods. In: Drewes, F., Mart\u00edn-Vide, C., Truthe, B. (eds.) LATA 2017. LNCS, vol. 10168, pp. 103\u2013114. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-53733-7_7"},{"key":"13_CR13","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. (ed.) ASWC\/ISWC -2007. LNCS, vol. 4825, pp. 267\u2013280. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76298-0_20"},{"key":"13_CR14","unstructured":"Kazakov, Y.: Consequence-driven reasoning for Horn SHIQ ontologies. In: Boutilier, C. (ed.) IJCAI 2009, pp. 2040\u20132045 (2009)"},{"key":"13_CR15","unstructured":"Kazakov, Y., Klinov, P.: Bridging the gap between tableau and consequence-based reasoning. In: Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, 17\u201320 July 2014, pp. 579\u2013590 (2014)"},{"issue":"1","key":"13_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-013-9296-3","volume":"53","author":"Y Kazakov","year":"2014","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Simancik, F.: The incredible ELK - from polynomial procedures to efficient reasoning with $$\\cal{E\\!L}$$ ontologies. JAR 53(1), 1\u201361 (2014)","journal-title":"JAR"},{"key":"13_CR17","unstructured":"Kuipers, B.J.: An ontological hierarchy for spatial knowledge. In: Proceedings of the 10th International Workshop on Qualitative Reasoning About Physical Systems, Fallen Leaf Lake, California, USA (1996)"},{"key":"13_CR18","doi-asserted-by":"crossref","DOI":"10.1201\/9781420038330","volume-title":"A Research Agenda for Geographic Information Science","author":"RB McMaster","year":"2004","unstructured":"McMaster, R.B., Usery, E.L.: A Research Agenda for Geographic Information Science, vol. 3. CRC Press, Boca Raton (2004)"},{"issue":"1","key":"13_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0020-0190(88)90124-X","volume":"29","author":"M Minoux","year":"1988","unstructured":"Minoux, M.: LTUR: a simplified linear-time unit resolution algorithm for Horn formulae and computer implementation. Inf. Process. Lett. 29(1), 1\u201312 (1988)","journal-title":"Inf. Process. Lett."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: WWW, pp. 633\u2013640 (2005)","DOI":"10.1145\/1060745.1060837"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/978-3-319-58068-5_32","volume-title":"The Semantic Web","author":"R Pe\u00f1aloza","year":"2017","unstructured":"Pe\u00f1aloza, R., Menc\u00eda, C., Ignatiev, A., Marques-Silva, J.: Lean kernels in description logics. In: Blomqvist, E., Maynard, D., Gangemi, A., Hoekstra, R., Hitzler, P., Hartig, O. (eds.) ESWC 2017. LNCS, vol. 10249, pp. 518\u2013533. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-58068-5_32"},{"issue":"3","key":"13_CR22","first-page":"27","volume":"17","author":"C Price","year":"2000","unstructured":"Price, C., Spackman, K.: SNOMED clinical terms. Br. J. Healthc. Comput. Inf. Manag. 17(3), 27\u201331 (2000)","journal-title":"Br. J. Healthc. Comput. Inf. Manag."},{"issue":"1\u20132","key":"13_CR23","first-page":"147","volume":"34","author":"AL Rector","year":"1995","unstructured":"Rector, A.L., Solomon, W.D., Nowlan, W.A., Rush, T.W., Zanstra, P.E., Claassen, W.M.: A terminology server for medical language and medical information systems. Methods Inf. Med. 34(1\u20132), 147\u2013157 (1995)","journal-title":"Methods Inf. Med."},{"issue":"Suppl. 1","key":"13_CR24","doi-asserted-by":"publisher","first-page":"S6","DOI":"10.1186\/1472-6947-8-S1-S6","volume":"8","author":"P Ruch","year":"2008","unstructured":"Ruch, P., Gobeill, J., Lovis, C., Geissb\u00fchler, A.: Automatic medical encoding with SNOMED categories. BMC Med. Inform. Decis. Mak. 8(Suppl. 1), S6 (2008)","journal-title":"BMC Med. Inform. Decis. Mak."},{"key":"13_CR25","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence, IJCAI 2003, pp. 355\u2013360. Morgan Kaufmann Publishers Inc. (2003)"},{"key":"13_CR26","unstructured":"Sidhu, E.S., Dillon, T.S., Chang, E., Sidhu, B.S.: Protein ontology development using OWL. In: OWL Experiences and Directions Workshop, OWLED, p. 188 (2005)"},{"key":"13_CR27","unstructured":"Simancik, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond Horn ontologies. In: IJCAI 2011, pp. 1093\u20131098. IJCAI\/AAAI (2011)"},{"key":"13_CR28","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.artint.2014.01.002","volume":"209","author":"F Simancik","year":"2014","unstructured":"Simancik, F., Motik, B., Horrocks, I.: Consequence-based and fixed-parameter tractable reasoning in description logics. Artif. Intell. 209, 29\u201377 (2014)","journal-title":"Artif. Intell."},{"key":"13_CR29","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1038\/nbt1346","volume":"25","author":"B Smith","year":"2007","unstructured":"Smith, B.: The OBO foundry: coordinated evolution of ontologies to support biomedical data integration. Nat. Biotechnol. 25, 1251\u20131255 (2007)","journal-title":"Nat. Biotechnol."},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"Wang, C., Hitzler, P.: Consequence-based procedure for description logics with self-restriction. In: Semantic Web and Web Science - 6th Chinese Semantic Web Symposium and 1st Chinese Web Science Conference, CSWS 2012, Shenzhen, China, 28\u201330 November 2012, pp. 169\u2013180 (2012)","DOI":"10.1007\/978-1-4614-6880-6_15"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00461-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T21:28:08Z","timestamp":1571866088000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00461-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030004606","9783030004613"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00461-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}