{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T23:46:26Z","timestamp":1740181586413,"version":"3.37.3"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2023,7,29]],"date-time":"2023-07-29T00:00:00Z","timestamp":1690588800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,7,29]],"date-time":"2023-07-29T00:00:00Z","timestamp":1690588800000},"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":["SN COMPUT. SCI."],"DOI":"10.1007\/s42979-023-01963-2","type":"journal-article","created":{"date-parts":[[2023,7,29]],"date-time":"2023-07-29T11:02:08Z","timestamp":1690628528000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Large-Scale Commonsense Knowledge for Default Logic Reasoning"],"prefix":"10.1007","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7725-543X","authenticated-orcid":false,"given":"Priit","family":"J\u00e4rv","sequence":"first","affiliation":[]},{"given":"Tanel","family":"Tammet","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Verrev","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Draheim","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,7,29]]},"reference":[{"key":"1963_CR1","doi-asserted-by":"publisher","unstructured":"Abzianidze L, Bjerva J, Evang K et\u00a0al.: The parallel meaning bank: Towards a multilingual corpus of translations annotated with compositional meaning representations. In: Lapata M, Blunsom P, Koller A, editors. Proceedings of the 15th conference of the European chapter of the association for computational linguistics, EACL 2017, Valencia, Spain, April 3\u20137, 2017, Volume 2: short papers. Association for Computational Linguistics; 2017. p. 242\u2013247. https:\/\/doi.org\/10.18653\/v1\/e17-2039.","DOI":"10.18653\/v1\/e17-2039"},{"issue":"4","key":"1963_CR2","doi-asserted-by":"publisher","first-page":"80","DOI":"10.4018\/jswis.2012100105","volume":"8","author":"J \u00c1lvez","year":"2012","unstructured":"\u00c1lvez J, Lucio P, Rigau G. Adimen-sumo: reengineering an ontology for first-order reasoning. Int J Semantic Web Inf Syst. 2012;8(4):80\u2013116. https:\/\/doi.org\/10.4018\/jswis.2012100105.","journal-title":"Int J Semantic Web Inf Syst"},{"key":"1963_CR3","doi-asserted-by":"crossref","unstructured":"Angeli G, Premkumar MJJ, Manning CD. Leveraging linguistic structure for open domain information extraction. In: Proceedings of the 53rd annual meeting of the association for computational linguistics and the 7th international joint conference on natural language processing (volume 1: long papers), 2015. p. 344\u2013354.","DOI":"10.3115\/v1\/P15-1034"},{"key":"1963_CR4","doi-asserted-by":"crossref","unstructured":"Arabshahi F, Lee J, Bosselut A, et\u00a0al. Conversational multi-hop reasoning with neural commonsense knowledge and symbolic logic rules. In: Proceedings of the 2021 conference on empirical methods in natural language processing. 2021. p. 7404\u20137418.","DOI":"10.18653\/v1\/2021.emnlp-main.588"},{"key":"1963_CR5","doi-asserted-by":"publisher","unstructured":"Arnaout H, Razniewski S, Weikum G, et\u00a0al. Uncommonsense: informative negative knowledge about everyday concepts. In: Hasan MA, Xiong L, editors. Proceedings of the 31st ACM international conference on information & knowledge management, Atlanta, October 17\u201321, 2022. 2022; ACM. p. 37\u201346. https:\/\/doi.org\/10.1145\/3511808.3557484.","DOI":"10.1145\/3511808.3557484"},{"key":"1963_CR6","unstructured":"Basile V, Cabrio E, Schon C. Knews: using logical and lexical semantics to extract knowledge from natural language. In: Proceedings of the European conference on artificial intelligence (ECAI) 2016 conference. 2016."},{"key":"1963_CR7","unstructured":"Bernhardsson E. Annoy: approximate nearest neighbors in c++\/python. 2018. https:\/\/github.com\/spotify\/annoy."},{"key":"1963_CR8","unstructured":"Bird S, Klein E, Loper E. Natural language processing with Python. O\u2019Reilly Media; 2009."},{"key":"1963_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-94-010-0572-2_2","volume":"2","author":"P Blackburn","year":"2001","unstructured":"Blackburn P, Bos J, Kohlhase M, et al. Inference and computational semantics. Comput Mean. 2001;2:11\u201328.","journal-title":"Comput Mean"},{"key":"1963_CR10","doi-asserted-by":"crossref","unstructured":"Bos J. Wide-coverage semantic analysis with boxer. In: Bos J, Delmonte R, editors. Semantics in text processing. STEP 2008 conference proceedings, Venice, Italy, September 22\u201324, 2008. Association for Computational Linguistics; 2008. https:\/\/aclanthology.org\/W08-2222\/.","DOI":"10.3115\/1626481.1626503"},{"issue":"3","key":"1963_CR11","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1162\/COLI\\_a_00257","volume":"42","author":"J Bos","year":"2016","unstructured":"Bos J. Expressive power of abstract meaning representations. Comput Linguist. 2016;42(3):527\u201335. https:\/\/doi.org\/10.1162\/COLI_a_00257.","journal-title":"Comput Linguist"},{"key":"1963_CR12","doi-asserted-by":"crossref","unstructured":"Brewka G. Adding priorities and specificity to default logic. In: European workshop on logics in artificial intelligence. Springer; 1994. p. 247\u2013260.","DOI":"10.1007\/BFb0021977"},{"key":"1963_CR13","doi-asserted-by":"publisher","unstructured":"Chalier Y, Razniewski S, Weikum G. Joint reasoning for multi-faceted commonsense knowledge. In: Das D, Hajishirzi H, McCallum A, et\u00a0al, editors. Conference on automated knowledge base construction, AKBC 2020, Virtual, June 22\u201324, 2020. 2020. https:\/\/doi.org\/10.24432\/C58G6G.","DOI":"10.24432\/C58G6G"},{"key":"1963_CR14","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1613\/jair.5339","volume":"59","author":"E Davis","year":"2017","unstructured":"Davis E. Logical formalizations of commonsense reasoning: a survey. J Artif Intell Res. 2017;59:651\u2013723.","journal-title":"J Artif Intell Res"},{"key":"1963_CR15","doi-asserted-by":"publisher","unstructured":"Fuchs NE, Kaljurand K, Kuhn T. Attempto controlled English for knowledge representation. In: Baroglio C, Bonatti PA, Maluszynski J, et\u00a0al., editors. Reasoning web, 4th international summer school 2008, Venice, Italy, September 7\u201311, 2008, Tutorial lectures, lecture notes in computer science, vol 5224. Springer; 2008. p. 104\u2013124. https:\/\/doi.org\/10.1007\/978-3-540-85658-0_3.","DOI":"10.1007\/978-3-540-85658-0_3"},{"key":"1963_CR16","doi-asserted-by":"crossref","unstructured":"Furbach U, Schon C. Commonsense reasoning meets theorem proving. In: German conference on multiagent system technologies. Springer; 2016. p. 3\u201317.","DOI":"10.1007\/978-3-319-45889-2_1"},{"key":"1963_CR17","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.cobeha.2018.12.010","volume":"29","author":"M Garnelo","year":"2019","unstructured":"Garnelo M, Shanahan M. Reconciling deep learning with symbolic artificial intelligence: representing objects and relations. Curr Opin Behav Sci. 2019;29:17\u201323.","journal-title":"Curr Opin Behav Sci"},{"key":"1963_CR18","doi-asserted-by":"crossref","unstructured":"Gashteovski K, Gemulla R, Del\u00a0Corro L. Minie: minimizing facts in open information extraction. In: Proceedings of the 2017 conference on empirical methods in natural language processing. 2017. p. 2630\u20132640.","DOI":"10.18653\/v1\/D17-1278"},{"key":"1963_CR19","unstructured":"Gordon AS. Commonsense interpretation of triangle behavior. In: Schuurmans D, Wellman MP, editors. Proceedings of the Thirtieth AAAI conference on artificial intelligence, February 12\u201317, 2016, Phoenix, Arizona. AAAI Press; 2016. p. 3719\u20133725. http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI16\/paper\/view\/11790."},{"key":"1963_CR20","doi-asserted-by":"crossref","unstructured":"He W, Huang C, Liu Y, et\u00a0al. Winologic: a zero-shot logic-based diagnostic dataset for winograd schema challenge. In: Proceedings of the 2021 conference on empirical methods in natural language processing. 2021. p. 3779\u20133789.","DOI":"10.18653\/v1\/2021.emnlp-main.307"},{"key":"1963_CR21","doi-asserted-by":"publisher","unstructured":"Honnibal M, Montani I, Landeghem SV, et\u00a0al. spaCy: industrial-strength natural language processing in Python. 2020. https:\/\/doi.org\/10.5281\/zenodo.1212303","DOI":"10.5281\/zenodo.1212303"},{"key":"1963_CR22","doi-asserted-by":"crossref","unstructured":"Hwang JD, Bhagavatula C, Le\u00a0Bras R, et\u00a0al. (comet-) atomic 2020: on symbolic and neural commonsense knowledge graphs. In: Proceedings of the AAAI conference on artificial intelligence. 2021. p. 6384\u20136392.","DOI":"10.1609\/aaai.v35i7.16792"},{"key":"1963_CR23","doi-asserted-by":"crossref","unstructured":"Ilievski F, Szekely PA, Cheng J, et\u00a0al. Consolidating commonsense knowledge. 2020. arXiv:2006.06114 [CoRR abs].","DOI":"10.1016\/j.knosys.2021.107347"},{"key":"1963_CR24","doi-asserted-by":"publisher","unstructured":"J\u00e4rv P, Tammet T, Verrev M, et\u00a0al. Knowledge integration for commonsense reasoning with default logic. In: Aveiro D, Dietz JLG, Filipe J, editors. Proceedings of the 14th international joint conference on knowledge discovery, knowledge engineering and knowledge management, IC3K 2022, Volume 2: KEOD, Valletta, Malta, October 24\u201326, 2022. SCITEPRESS; 2022. p. 148\u2013155. https:\/\/doi.org\/10.5220\/0011532200003335.","DOI":"10.5220\/0011532200003335"},{"key":"1963_CR25","unstructured":"Kamp H. From discourse to logic: introduction to model theoretic semantics of natural language, formal logic and discourse representation theory, vol\u00a042. Springer Science & Business Media; 2013."},{"issue":"11","key":"1963_CR26","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/219717.219745","volume":"38","author":"DB Lenat","year":"1995","unstructured":"Lenat DB. CYC: a large-scale investment in knowledge infrastructure. Commun ACM. 1995;38(11):32\u20138. https:\/\/doi.org\/10.1145\/219717.219745.","journal-title":"Commun ACM"},{"key":"1963_CR27","unstructured":"Marcus G. The next decade in AI: four steps towards robust artificial intelligence. 2020. arXiv:2002.06177 [CoRR abs]."},{"key":"1963_CR28","unstructured":"Maslan N, Roemmele M, Gordon AS. One hundred challenge problems for logical formalizations of commonsense psychology. In: 2015 AAAI spring symposia, Stanford University, Palo Alto, March 22\u201325, 2015. AAAI Press; 2015. http:\/\/www.aaai.org\/ocs\/index.php\/SSS\/SSS15\/paper\/view\/10252."},{"key":"1963_CR29","doi-asserted-by":"crossref","unstructured":"McCarthy J. Artificial intelligence, logic and formalizing common sense. In: Philosophical logic and artificial intelligence. Springer; 1989. p. 161\u2013190.","DOI":"10.1007\/978-94-009-2448-2_6"},{"key":"1963_CR30","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1162\/tacl\\_a\\_00058","volume":"5","author":"BD Mishra","year":"2017","unstructured":"Mishra BD, Tandon N, Clark P. Domain-targeted, high precision knowledge extraction. Trans Assoc Comput Linguist. 2017;5:233\u201346. https:\/\/doi.org\/10.1162\/tacl_a_00058.","journal-title":"Trans Assoc Comput Linguist"},{"key":"1963_CR31","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2022.3206505","author":"TP Nguyen","year":"2022","unstructured":"Nguyen TP, Razniewski S, Romero J, et al. Refined commonsense knowledge from large-scale web contents. IEEE Trans Knowl Data Eng. 2022. https:\/\/doi.org\/10.1109\/TKDE.2022.3206505.","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"1963_CR32","doi-asserted-by":"publisher","unstructured":"Niles I, Pease A. Towards a standard upper ontology. In: 2nd international conference on formal ontology in information systems, FOIS 2001, Ogunquit, Maine, October 17\u201319, 2001, Proceedings. ACM; 2001. p. 2\u20139. https:\/\/doi.org\/10.1145\/505168.505170.","DOI":"10.1145\/505168.505170"},{"key":"1963_CR33","unstructured":"NLTK authors. Sample usage for drt. 2023. https:\/\/www.nltk.org\/howto\/drt.html. Accessed 30 Jan 2023."},{"key":"1963_CR34","unstructured":"Papasarantopoulos N. Transform abstract meaning representation (amr) to first order logic (fol) formulas. 2017. https:\/\/github.com\/papagandalf\/amr2fol. Accessed 30 Jan 2023."},{"key":"1963_CR35","unstructured":"Poelman W, van Noord R, Bos J. Transparent semantic parsing with universal dependencies using graph transformations. In: Calzolari N, Huang C, Kim H, et\u00a0al., editors. Proceedings of the 29th international conference on computational linguistics, COLING 2022, Gyeongju, October 12\u201317, 2022. International Committee on Computational Linguistics; 2022. p. 4186\u20134192. https:\/\/aclanthology.org\/2022.coling-1.367."},{"key":"1963_CR36","doi-asserted-by":"crossref","unstructured":"Qi P, Zhang Y, Zhang Y, et\u00a0al. Stanza: a Python natural language processing toolkit for many human languages. In: Proceedings of the 58th annual meeting of the association for computational linguistics: system demonstrations. 2020. https:\/\/nlp.stanford.edu\/pubs\/qi2020stanza.pdf.","DOI":"10.18653\/v1\/2020.acl-demos.14"},{"key":"1963_CR37","unstructured":"Razniewski S. Private correspondence. 2023."},{"issue":"1\u20132","key":"1963_CR38","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter R. A logic for default reasoning. Artif Intell. 1980;13(1\u20132):81\u2013132.","journal-title":"Artif Intell"},{"key":"1963_CR39","unstructured":"Riegel R, Gray A, Luus F, et\u00a0al. Logical neural networks. 2020. arXiv:2006.13155"},{"key":"1963_CR40","doi-asserted-by":"crossref","unstructured":"Romero J, Razniewski S, Pal K, et\u00a0al. Commonsense properties from query logs and question answering forums. In: Zhu W, Tao D, Cheng X, et\u00a0al., editors. Proc. of CIKM\u201919\u2014the 28th ACM intl. conf. on information and knowledge management. ACM; 2019. p. 1411\u20131420.","DOI":"10.1145\/3357384.3357955"},{"key":"1963_CR41","unstructured":"Schon C. Selection strategies for commonsense knowledge. 2022. arXiv:2202.09163 [CoRR abs]."},{"issue":"3","key":"1963_CR42","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s13218-019-00601-5","volume":"33","author":"C Schon","year":"2019","unstructured":"Schon C, Siebert S, Stolzenburg F. The corg project: cognitive reasoning. K\u00fcnstliche Intell. 2019;33(3):293\u20139. https:\/\/doi.org\/10.1007\/s13218-019-00601-5.","journal-title":"K\u00fcnstliche Intell"},{"key":"1963_CR43","doi-asserted-by":"crossref","unstructured":"Speer R, Chin J, Havasi C. ConceptNet 5.5: an open multilingual graph of general knowledge. In: Singh SP, Markovitch S, editors. Proc. of AAAI\u20192017\u2014the 31st AAAI conf. on artificial intelligence. AAAI; 2017. p. 4444\u20134451.","DOI":"10.1609\/aaai.v31i1.11164"},{"key":"1963_CR44","doi-asserted-by":"publisher","unstructured":"Tafjord O, Dalvi B, Clark P. Proofwriter: generating implications, proofs, and abductive statements over natural language. In: Zong C, Xia F, Li W, et\u00a0al., editors. Findings of the association for computational linguistics: ACL\/IJCNLP 2021, Online Event, August 1\u20136, 2021, Findings of ACL, vol ACL\/IJCNLP 2021. Association for Computational Linguistics; 2021. p. 3621\u20133634. https:\/\/doi.org\/10.18653\/v1\/2021.findings-acl.317.","DOI":"10.18653\/v1\/2021.findings-acl.317"},{"key":"1963_CR45","unstructured":"Tammet T. JSON-LD-LOGIC homepage. 2020. https:\/\/github.com\/tammet\/json-ld-logic."},{"key":"1963_CR46","doi-asserted-by":"crossref","unstructured":"Tammet T, Sutcliffe G. Combining json-ld with first order logic. In: 2021 IEEE 15th international conference on semantic computing (ICSC). IEEE; 2021. p. 256\u2013261.","DOI":"10.1109\/ICSC50631.2021.00051"},{"key":"1963_CR47","doi-asserted-by":"crossref","unstructured":"Tammet T, J\u00e4rv P, Draheim D. Confidences for commonsense reasoning. In: Platzer\u00a0ASG, editor. Automated deduction\u2014CADE 28. CADE 2021., LNCS, vol 12699. Springer; 2021. p. 507\u2013524.","DOI":"10.1007\/978-3-030-79876-5_29"},{"key":"1963_CR48","doi-asserted-by":"publisher","unstructured":"Tammet T, Draheim D, J\u00e4rv P. GK: implementing full first order default logic for commonsense reasoning (system description). In: Blanchette J, Kov\u00e1cs L, Pattinson D, editors. Automated reasoning\u201411th international joint conference, IJCAR 2022, Haifa, Israel, August 8\u201310, 2022, proceedings, lecture notes in computer science, vol 13385. Springer; 2022. p. 300\u2013309. https:\/\/doi.org\/10.1007\/978-3-031-10769-6_18.","DOI":"10.1007\/978-3-031-10769-6_18"},{"key":"1963_CR49","doi-asserted-by":"publisher","unstructured":"Tandon N, de\u00a0Melo G, Weikum G. Webchild 2.0: fine-grained commonsense knowledge distillation. In: Bansal M, Ji H, editors. Proceedings of the 55th annual meeting of the association for computational linguistics, ACL 2017, Vancouver, Canada, July 30\u2013August 4, system demonstrations. Association for Computational Linguistics; 2017. p. 115\u2013120, https:\/\/doi.org\/10.18653\/v1\/P17-4020.","DOI":"10.18653\/v1\/P17-4020"},{"key":"1963_CR50","unstructured":"Trinh TH, Le QV. A simple method for commonsense reasoning. 2018. arXiv:1806.02847."},{"key":"1963_CR51","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1162\/tacl\\_a\\_00241","volume":"6","author":"R van Noord","year":"2018","unstructured":"van Noord R, Abzianidze L, Toral A, et al. Exploring neural methods for parsing discourse representation structures. Trans Assoc Comput Linguist. 2018;6:619\u201333. https:\/\/doi.org\/10.1162\/tacl_a_00241.","journal-title":"Trans Assoc Comput Linguist"},{"key":"1963_CR52","doi-asserted-by":"crossref","unstructured":"West P, Bhagavatula C, Hessel J, et\u00a0al. Symbolic knowledge distillation: from general language models to commonsense models. 2021. arXiv:2110.07178 [CoRR abs].","DOI":"10.18653\/v1\/2022.naacl-main.341"},{"key":"1963_CR53","unstructured":"Yl\u00f6nen T. Wiktextract: wiktionary as machine-readable structured data. In: Calzolari N, B\u00e9chet F, Blache P, et\u00a0al., editors. Proceedings of the thirteenth language resources and evaluation conference, LREC 2022, Marseille, France, 20\u201325 June 2022. European Language Resources Association; 2022. p. 1317\u20131325. https:\/\/aclanthology.org\/2022.lrec-1.140"}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-023-01963-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-023-01963-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-023-01963-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,29]],"date-time":"2023-07-29T11:02:30Z","timestamp":1690628550000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-023-01963-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,29]]},"references-count":53,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2023,9]]}},"alternative-id":["1963"],"URL":"https:\/\/doi.org\/10.1007\/s42979-023-01963-2","relation":{},"ISSN":["2661-8907"],"issn-type":[{"type":"electronic","value":"2661-8907"}],"subject":[],"published":{"date-parts":[[2023,7,29]]},"assertion":[{"value":"3 February 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 May 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 July 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"On behalf of all authors, the corresponding author states that there is no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"550"}}