{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T18:45:10Z","timestamp":1747248310201,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031477645"},{"type":"electronic","value":"9783031477652"}],"license":[{"start":{"date-parts":[[2023,11,9]],"date-time":"2023-11-09T00:00:00Z","timestamp":1699488000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,11,9]],"date-time":"2023-11-09T00:00:00Z","timestamp":1699488000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-47765-2_19","type":"book-chapter","created":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T15:03:04Z","timestamp":1699455784000},"page":"253-270","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning in\u00a0DL-$$Lite_R$$ Based Knowledge Base Under Category Semantics"],"prefix":"10.1007","author":[{"given":"Rodrigo","family":"Albarr\u00e1n","sequence":"first","affiliation":[]},{"given":"Chan","family":"Le Duc","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,9]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: Introduction to Description Logic. Cambridge University Press, Cambridge (2017)","DOI":"10.1017\/9781139025355"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reason. 39, 385\u2013429 (2007)","journal-title":"J. Autom. Reason."},{"key":"19_CR3","unstructured":"Baader, F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.2820","volume":"36","author":"A Artale","year":"2009","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. 36, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"19_CR5","doi-asserted-by":"publisher","unstructured":"Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. In: Spaccapietra, S. (eds.) Journal on Data Semantics X. LNCS, vol. 4900, pp. 133\u2013173. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-77688-8_5","DOI":"10.1007\/978-3-540-77688-8_5"},{"issue":"3","key":"19_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1352582.1352590","volume":"9","author":"D Calvanese","year":"2008","unstructured":"Calvanese, D., Giacomo, G.D., Lenzerini, M.: Conjunctive query containment and answering under description logic constraints. ACM Trans. Comput. Logic (TOCL) 9(3), 1\u201331 (2008)","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"key":"19_CR7","unstructured":"Brieulle, L., Le Duc, C., Vaillant, P.: Reasoning in the description logic ALC under category semantics (extended abstract). In: Proceedings of the 35th International Workshop on Description Logics (DL2022), vol. 3263 of CEUR Workshop Proceedings, CEUR-WS.org (2022)"},{"issue":"6","key":"19_CR8","doi-asserted-by":"publisher","first-page":"1506","DOI":"10.1073\/pnas.52.6.1506","volume":"52","author":"FW Lawvere","year":"1964","unstructured":"Lawvere, F.W.: An elementary theory of the category of sets. Proc. Natl. Acad. Sci. 52(6), 1506\u20131511 (1964)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"19_CR9","unstructured":"Goldblatt, R.: Topoi: The Categorial Analysis of Logic, Mathematics. Dover Publications, New York (2006)"},{"key":"19_CR10","doi-asserted-by":"publisher","unstructured":"Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic. Springer, New York (1992). https:\/\/doi.org\/10.1007\/978-1-4612-0927-0","DOI":"10.1007\/978-1-4612-0927-0"},{"issue":"1","key":"19_CR11","doi-asserted-by":"publisher","first-page":"e24274","DOI":"10.1371\/journal.pone.0024274","volume":"7","author":"DI Spivak","year":"2012","unstructured":"Spivak, D.I., Kent, R.E.: Ologs: a categorical framework for knowledge representation. PLoS ONE 7(1), e24274 (2012)","journal-title":"PLoS ONE"}],"container-title":["Lecture Notes in Computer Science","Advances in Computational Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-47765-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T07:04:17Z","timestamp":1731999857000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-47765-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,9]]},"ISBN":["9783031477645","9783031477652"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-47765-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023,11,9]]},"assertion":[{"value":"9 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MICAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Mexican International Conference on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Yucat\u00e1n","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Mexico","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 November 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"micai2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.micai.org\/2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}