{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:45:42Z","timestamp":1740149142620,"version":"3.37.3"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T00:00:00Z","timestamp":1713398400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T00:00:00Z","timestamp":1713398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Comput Intell Syst"],"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Natural logics are formal logics characterized by expressions that bear a resemblance to simplified natural language sentences. The inherent readability of natural logics renders them suitable also for large knowledge bases. Within the realm of natural logics, the rules of logical proof are applicable directly to the sentences constructed using this framework. This direct application ensures explainability of query inferences. In the paper we describe a specific natural logic named <jats:sc>NaturaLog<\/jats:sc>, suited for ontology-structured knowledge bases. We outline how <jats:sc>NaturaLog<\/jats:sc> can be effectively implemented into a database system to facilitate deductive querying. The primary focus of this paper lies in exploring various query functionalities and elucidating methods to achieve these capabilities, also when dealing with large-scale knowledge bases.<\/jats:p>","DOI":"10.1007\/s44196-024-00484-x","type":"journal-article","created":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T10:19:43Z","timestamp":1713435583000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Advanced Query Functionalities in Natural Logic Knowledge Bases"],"prefix":"10.1007","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0075-1966","authenticated-orcid":false,"given":"Troels","family":"Andreasen","sequence":"first","affiliation":[]},{"given":"Henrik","family":"Bulskov","sequence":"additional","affiliation":[]},{"given":"J\u00f8rgen Fischer","family":"Nilsson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,4,18]]},"reference":[{"key":"484_CR1","unstructured":"Nilsson, J.F.: In pursuit of natural logics for ontology-structured knowledge bases. In: The Seventh International Conference on Advanced Cognitive Technologies and Applications (2015). https:\/\/www.thinkmind.org\/index.php?view=article &articleid=cognitive_2015_3_20_40044"},{"key":"484_CR2","doi-asserted-by":"publisher","unstructured":"Andreasen, T., Bulskov, H., Jensen, P.A., Nilsson, J.F.: Deductive querying of natural logic bases. In: Cuzzocrea, A., Greco, S., Larsen, H.L., Sacc\u00e0, D., Andreasen, T., Christiansen, H. (eds.) Flexible Query Answering Systems, pp. 231\u2013241. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-27629-4_22","DOI":"10.1007\/978-3-030-27629-4_22"},{"key":"484_CR3","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2020.101848","author":"T Andreasen","year":"2020","unstructured":"Andreasen, T., Bulskov, H., Jensen, P.A., Nilsson, J.F.: Natural logic knowledge bases and their graph form. Data Knowl. Eng. (2020). https:\/\/doi.org\/10.1016\/j.datak.2020.101848","journal-title":"Data Knowl. Eng."},{"key":"484_CR4","unstructured":"Andreasen, T., Bulskov, H., Nilsson, J.F.: A natural logic system for large knowledge bases. In: Tropmann-Frick, M., Thalheim, B., Jaakkola, H., Kiyoki, Y., Yoshida, N. (eds.) Information Modelling and Knowledge Bases, vol. 333, pp. 119\u2013133. IOS Press, Amsterdam (2021). https:\/\/ebooks.iospress.nl\/volumearticle\/56439"},{"issue":"4","key":"484_CR5","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1093\/logcom\/exn086","volume":"20","author":"LS Moss","year":"2010","unstructured":"Moss, L.S.: Syllogistic logics with verbs. J. Log. Comput. 20(4), 947\u2013967 (2010). https:\/\/doi.org\/10.1093\/logcom\/exn086","journal-title":"J. Log. Comput."},{"issue":"4","key":"484_CR6","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1017\/S1755020309990086","volume":"2","author":"I Pratt-Hartmann","year":"2009","unstructured":"Pratt-Hartmann, I., Moss, L.S.: Logics for the relational syllogistic. Rev. Symb. Log. 2(4), 647\u2013683 (2009). https:\/\/doi.org\/10.1017\/S1755020309990086","journal-title":"Rev. Symb. Log."},{"key":"484_CR7","doi-asserted-by":"publisher","unstructured":"van Benthem, J.: Essays in Logical Semantics. Studies in Linguistics and Philosophy, vol. 29. D. Reidel, Dordrecht (1986). https:\/\/doi.org\/10.2307\/2274593","DOI":"10.2307\/2274593"},{"issue":"1","key":"484_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s11787-020-00244-3","volume":"14","author":"J Nilsson","year":"2020","unstructured":"Nilsson, J.: A cube of opposition for predicate logic. Log. Universalis 14(1), 103\u2013114 (2020). https:\/\/doi.org\/10.1007\/s11787-020-00244-3","journal-title":"Log. Universalis"},{"key":"484_CR9","doi-asserted-by":"publisher","unstructured":"Karttunen, L.: From natural logic to natural reasoning. In: Gelbukh, A.F. (ed.) Computational Linguistics and Intelligent Text Processing\u201416th International Conference, CICLing 2015, Cairo, Egypt, April 14\u201320, 2015, Proceedings, Part I. Lecture Notes in Computer Science, vol. 9041, pp. 295\u2013309. Springer, New York (2015). https:\/\/doi.org\/10.1007\/978-3-319-18111-0_23","DOI":"10.1007\/978-3-319-18111-0_23"},{"key":"484_CR10","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases: The Logical Level, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston (1995). http:\/\/webdam.inria.fr\/Alice\/pdfs\/all.pdf"},{"key":"484_CR11","unstructured":"Sowa, J.F.: Knowledge Representation: Logical, Philosophical and Computational Foundations. Brooks\/Cole Publishing Co., Pacific Grove (2000). https:\/\/www.jfsowa.com\/krbook\/"},{"key":"484_CR12","doi-asserted-by":"publisher","unstructured":"Kr\u00f6tzsch, M., Siman\u010d\u00edk, F., Horrocks, I.: A description logic primer (2012). https:\/\/doi.org\/10.48550\/arXiv.1201.4089. CoRR. arXiv:1201.4089","DOI":"10.48550\/arXiv.1201.4089"},{"key":"484_CR13","doi-asserted-by":"publisher","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web. WWW \u201903, pp. 48\u201357. ACM, New York (2003). https:\/\/doi.org\/10.1145\/775152.775160","DOI":"10.1145\/775152.775160"},{"key":"484_CR14","doi-asserted-by":"publisher","unstructured":"Abzianidze, L.: LangPro: natural language theorem prover. In: Conference on Empirical Methods in Natural Language Processing (2017). https:\/\/doi.org\/10.18653\/v1\/D17-2020","DOI":"10.18653\/v1\/D17-2020"},{"key":"484_CR15","unstructured":"Abzianidze, L.: LangPro: Natural Language Theorem Prover (2021). https:\/\/naturallogic.pro\/LangPro\/. [Online; Accessed 31 May 2021]"}],"container-title":["International Journal of Computational Intelligence Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s44196-024-00484-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s44196-024-00484-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s44196-024-00484-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T10:31:22Z","timestamp":1713436282000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s44196-024-00484-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,18]]},"references-count":15,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2024,12]]}},"alternative-id":["484"],"URL":"https:\/\/doi.org\/10.1007\/s44196-024-00484-x","relation":{},"ISSN":["1875-6883"],"issn-type":[{"type":"electronic","value":"1875-6883"}],"subject":[],"published":{"date-parts":[[2024,4,18]]},"assertion":[{"value":"5 December 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 March 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 April 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"No conflict of interest relate to this work.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}},{"value":"No aspects that relate to ethics approval and consent to participate are compromised.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics Approval and Consent to Participate"}},{"value":"No parts of this paper call for consent for publication.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for Publication"}}],"article-number":"96"}}