{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T02:29:15Z","timestamp":1654741755463},"reference-count":18,"publisher":"World Scientific Pub Co Pte Lt","issue":"08","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2018,12]]},"abstract":"<jats:p> This paper is the first one in a series of papers where we lay special attention on syntax and semantics in knowledge base theory. The main goal of the present paper is to set up all necessary mathematical background for the definition of a knowledge-base model which will be introduced in the next paper. We should emphasize that in these papers we develop a slightly different approach to the knowledge-base model than in the previous ones. <\/jats:p>","DOI":"10.1142\/s0218196718400015","type":"journal-article","created":{"date-parts":[[2018,7,26]],"date-time":"2018-07-26T06:35:31Z","timestamp":1532586931000},"page":"1385-1402","source":"Crossref","is-referenced-by-count":3,"title":["Syntax versus semantics in knowledge bases \u2013 I"],"prefix":"10.1142","volume":"28","author":[{"given":"Elena","family":"Aladova","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Sciences, Bar Ilan University, Ramat Gan 5290002, Israel"},{"name":"Department of Mathematics, Federal University of Rio Grande do Norte, University Campus Lagoa Nova, CEP 59078-970, Natal\/RN, Brazil"}]}],"member":"219","published-online":{"date-parts":[[2019,1,14]]},"reference":[{"key":"S0218196718400015BIB001","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-013-0166-5"},{"key":"S0218196718400015BIB002","volume-title":"Model Theory","author":"Chang C. C.","year":"1973"},{"key":"S0218196718400015BIB003","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-012-0923-z"},{"key":"S0218196718400015BIB004","volume-title":"Algebraic Logic","author":"Halmos P. R.","year":"1962"},{"key":"S0218196718400015BIB005","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3849-0"},{"key":"S0218196718400015BIB006","doi-asserted-by":"publisher","DOI":"10.1002\/mana.19630270108"},{"key":"S0218196718400015BIB007","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"S0218196718400015BIB008","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-65374-2"},{"key":"S0218196718400015BIB009","volume-title":"Model Theory: An Introduction","author":"Marker D.","year":"2002"},{"key":"S0218196718400015BIB010","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2003.09.038"},{"key":"S0218196718400015BIB011","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-0820-1"},{"key":"S0218196718400015BIB013","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-006-0288-2"},{"key":"S0218196718400015BIB014","doi-asserted-by":"publisher","DOI":"10.1134\/S0081543812070048"},{"key":"S0218196718400015BIB016","doi-asserted-by":"publisher","DOI":"10.1142\/S0219498812501460"},{"key":"S0218196718400015BIB017","doi-asserted-by":"publisher","DOI":"10.1007\/PL00000333"},{"key":"S0218196718400015BIB018","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78127-1_30"},{"issue":"4","key":"S0218196718400015BIB019","first-page":"577","volume":"48","author":"Plotkin B.","year":"2015","journal-title":"Demonstrations Math."},{"key":"S0218196718400015BIB020","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2016.07.023"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196718400015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T01:40:54Z","timestamp":1565142054000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196718400015"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":18,"journal-issue":{"issue":"08","published-online":{"date-parts":[[2019,1,14]]},"published-print":{"date-parts":[[2018,12]]}},"alternative-id":["10.1142\/S0218196718400015"],"URL":"https:\/\/doi.org\/10.1142\/s0218196718400015","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12]]}}}