{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T19:07:15Z","timestamp":1710356835917},"reference-count":0,"publisher":"IOS Press","license":[{"start":{"date-parts":[[2020,12,16]],"date-time":"2020-12-16T00:00:00Z","timestamp":1608076800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,16]]},"abstract":"<jats:p>This paper describes principles and structure for a software system that implements a dialect of natural logic for knowledge bases. Natural logics are formal logics that resemble stylized natural language fragments, and whose reasoning rules reflect common-sense reasoning. Natural logics may be seen as forms of extended syllogistic logic. The paper proposes and describes realization of deductive querying functionalities using a previously specified natural logic dialect called Natura-Log. In focus here is the engineering of an inference engine employing as a key feature relational database operations. Thereby the inference steps are subjected to computation in bulk for scaling-up to large knowledge bases. Accordingly, the system eventually is to be realized as a general-purpose database application package with the database being turned logical knowledge base.<\/jats:p>","DOI":"10.3233\/faia200824","type":"book-chapter","created":{"date-parts":[[2021,1,5]],"date-time":"2021-01-05T13:21:25Z","timestamp":1609852885000},"source":"Crossref","is-referenced-by-count":2,"title":["A Natural Logic System for Large Knowledge Bases"],"prefix":"10.3233","author":[{"given":"Troels","family":"Andreasen","sequence":"first","affiliation":[{"name":"Computer Science, Roskilde University, Denmark, troels@ruc.dk, bulskov@ruc.dk"}]},{"given":"Henrik","family":"Bulskov","sequence":"additional","affiliation":[{"name":"Computer Science, Roskilde University, Denmark, troels@ruc.dk, bulskov@ruc.dk"}]},{"given":"J\u00f8rgen","family":"Fischer Nilsson","sequence":"additional","affiliation":[{"name":"Mathematics and Computer Science, Technical University of Denmark, Denmark, jfni@dtu.dk"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Information Modelling and Knowledge Bases XXXII"],"original-title":[],"link":[{"URL":"http:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA200824","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,5]],"date-time":"2021-01-05T13:21:29Z","timestamp":1609852889000},"score":1,"resource":{"primary":{"URL":"http:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA200824"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,16]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia200824","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12,16]]}}}