{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:23:37Z","timestamp":1759638217516,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319612515"},{"type":"electronic","value":"9783319612522"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61252-2_7","type":"book-chapter","created":{"date-parts":[[2017,6,13]],"date-time":"2017-06-13T02:55:48Z","timestamp":1497322548000},"page":"87-102","source":"Crossref","is-referenced-by-count":5,"title":["A Set-Theoretic Approach to ABox Reasoning Services"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Cantone","sequence":"first","affiliation":[]},{"given":"Marianna","family":"Nicolosi-Asmundo","sequence":"additional","affiliation":[]},{"given":"Daniele Francesco","family":"Santamaria","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: PODS, pp. 149\u2013158 (1998)","DOI":"10.1145\/275487.275504"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Conjunctive query containment and answering under description logic constraints. ACM Trans. Comput. Log. 9(3), 22:1\u201331 (2008)","DOI":"10.1145\/1352582.1352590"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-319-22002-4_6","volume-title":"Web Reasoning and Rule Systems","author":"D Cantone","year":"2015","unstructured":"Cantone, D., Longo, C., Nicolosi-Asmundo, M., Santamaria, D.F.: Web ontology representation and reasoning via fragments of set theory. In: Cate, B., Mileo, A. (eds.) RR 2015. LNCS, vol. 9209, pp. 61\u201376. Springer, Cham (2015). doi: 10.1007\/978-3-319-22002-4_6"},{"issue":"4","key":"7_CR4","doi-asserted-by":"crossref","first-page":"427","DOI":"10.3233\/FI-2013-842","volume":"124","author":"D Cantone","year":"2013","unstructured":"Cantone, D., Nicolosi-Asmundo, M.: On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic. Fundamenta Informaticae 124(4), 427\u2013448 (2013)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR5","unstructured":"Cantone, D., Nicolosi-Asmundo, M., Or\u0142owska, E.: Dual tableau-based decision procedures for some relational logics. In: Proceedings of the 25th Italian Conference on Computational Logic, CEUR-WS, vol. 598, Rende, Italy, 7\u20139 July 2010 (2010)"},{"issue":"2","key":"7_CR6","doi-asserted-by":"crossref","first-page":"177","DOI":"10.3166\/jancl.21.177-200","volume":"21","author":"D Cantone","year":"2011","unstructured":"Cantone, D., Nicolosi-Asmundo, M., Or\u0142owska, E.: Dual tableau-based decision procedures for relational logics with restricted composition operator. J. Appl. Non-Classical Logics 21(2), 177\u2013200 (2011)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"7_CR7","unstructured":"Cantone, D., Nicolosi-Asmundo, M., Santamaria, D.F.: Conjunctive query answering via a fragment of set theory. In: Proceedings of ICTCS 2016, CEUR-WS, Lecce, 7\u20139 September, vol. 1720, pp. 23\u201335 (2016)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Cantone, D., Nicolosi-Asmundo, M., Santamaria, D.F.: A set-theoretic approach to ABox reasoning services. CoRR, 1702.03096 (2017). Extended version","DOI":"10.1007\/978-3-319-61252-2_7"},{"key":"7_CR9","unstructured":"Cantone, D., Nicolosi-Asmundo, M., Santamaria, D.F., Trapani, F.: Ontoceramic: an OWL ontology for ceramics classification. In Proceedings of CILC 2015, CEUR-WS, vol. 1459, pp. 122\u2013127, Genova, 1\u20133 July 2015"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"D\u2019Agostino, M.: Tableau methods for classical propositional logic. In: D\u2019Agostino, M., Gabbay, D.M., H\u00e4hnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, pp. 45\u2013123. Springer (1999)","DOI":"10.1007\/978-94-017-1754-0_2"},{"key":"7_CR11","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $$\\cal{SROIQ}$$ . In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning, pp. 57\u201367. AAAI Press (2006)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-540-88564-1_20","volume-title":"The Semantic Web - ISWC 2008","author":"B Motik","year":"2008","unstructured":"Motik, B., Horrocks, I.: OWL datatypes: design and implementation. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 307\u2013322. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-88564-1_20"},{"key":"7_CR13","unstructured":"Ortiz, M., Sebastian, R., \u0160imkus, M.: Query answering in the Horn fragments of the description logics $$\\cal{SHOIQ}$$ and $$\\cal{SROIQ}$$ . In: Proceedings of the 22th International Joint Conference on Artificial Intelligence, IJCAI 2011, vol. 2, pp. 1039\u20131044. AAAI Press (2011)"},{"key":"7_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"RM Smullyan","year":"1968","unstructured":"Smullyan, R.M.: First-Order Logic. Springer, Heidelberg (1968)"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61252-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,10]],"date-time":"2020-10-10T02:36:28Z","timestamp":1602297388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61252-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319612515","9783319612522"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61252-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}