{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T13:48:05Z","timestamp":1744897685776},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,4,4]],"date-time":"2014-04-04T00:00:00Z","timestamp":1396569600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1007\/s10849-014-9195-y","type":"journal-article","created":{"date-parts":[[2014,4,3]],"date-time":"2014-04-03T02:36:22Z","timestamp":1396492582000},"page":"331-345","source":"Crossref","is-referenced-by-count":9,"title":["Functional and Structural Integration without Competence Overstepping in Structured Semantic Knowledge Base System"],"prefix":"10.1007","volume":"23","author":[{"given":"Marek","family":"Kr\u00f3tkiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krystian","family":"Wojtkiewicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,4,4]]},"reference":[{"key":"9195_CR1","first-page":"855","volume-title":"Does world exist plurisignificant ciphering real","author":"S Akinci","year":"2003","unstructured":"Akinci, S. (2003). A classification of the approaches to the ontology of possible worlds. In A.-T. Tymaniecka (Ed.), Does world exist plurisignificant ciphering real (pp. 855\u2013866). Berlin, Heidelberg: Springer Netherlands."},{"key":"9195_CR2","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1023\/A:1015273407895","volume":"31","author":"BJ Copeland","year":"2002","unstructured":"Copeland, B. J. (2002). The genesis of possible worlds semantics. Journal of Philosophical logic, 31, 99\u2013137. doi: 10.1023\/A:1015273407895 .","journal-title":"Journal of Philosophical logic"},{"key":"9195_CR3","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1093\/analys\/42.3.128","volume":"42","author":"A Hazen","year":"1982","unstructured":"Hazen, A. (1982). On a possible misinterpretation of Kripke\u2019s semantics for intuitionistic logic. Analysis, 42, 128\u2013133. doi: 10.1093\/analys\/42.3.128 .","journal-title":"Analysis"},{"key":"9195_CR4","unstructured":"Kr\u00f3tkiewicz, M., & Wojtkiewicz, K. (2005). Conceptual ontological object knowledge base and language. In M. Kurzy\u0144ski, E. Pucha\u0142a, M. Wo\u017aniak & A. $$\\dot{Z}$$ Z \u02d9 o\u0142nierek (Eds.), Comput. Recognit. Syst. (pp. 227\u2013234). Berlin, Heidelberg: Springer."},{"key":"9195_CR5","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-3-642-03202-8_3","volume-title":"Human-computer systems interaction","author":"M Kr\u00f3tkiewicz","year":"2009","unstructured":"Kr\u00f3tkiewicz, M., & Wojtkiewicz, K. (2009). Knowledge acquisition in conceptual ontological artificial intelligence system. In Z. S. Hippe & J. L. Kulikowski (Eds.), Human-computer systems interaction (pp. 29\u201337). Berlin, Heidelberg: Springer."},{"key":"9195_CR6","doi-asserted-by":"crossref","unstructured":"Kr\u00f3tkiewicz, M., & Wojtkiewicz, K. (2013a). Introduction to semantic knowledge base. Linguistic Module.","DOI":"10.1109\/HSI.2013.6577847"},{"key":"9195_CR7","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-3-642-36546-1_51","volume-title":"Intelligent information and database systems","author":"M Kr\u00f3tkiewicz","year":"2013","unstructured":"Kr\u00f3tkiewicz, M., & Wojtkiewicz, K. (2013b). An introduction to ontology based structured knowledge base system: Knowledge acquisition module. In A. Selamat, N. T. Nguyenl, & H. Haron (Eds.), Intelligent information and database systems (pp. 497\u2013506). Berlin, Heidelberg: Springer."},{"key":"9195_CR8","unstructured":"Kr\u00f3tkiewicz, M. (2014). Introduction to association oriented model. (to be published)."},{"key":"9195_CR9","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/62139.62141","volume":"23","author":"B Liskov","year":"1988","unstructured":"Liskov, B. (1988). Keynote address-data abstraction and hierarchy. SIGPLAN Notices, 23, 17\u201334. doi: 10.1145\/62139.62141 .","journal-title":"SIGPLAN Notices"},{"key":"9195_CR10","doi-asserted-by":"crossref","unstructured":"Liu, X. L. X., & Zhou, B. Z. B. (2008). Research on knowledge base of dam safety monitoring expert system based on relational database. IEEE International Symposium on Acquisition and Modeling Workshop, 2008 (pp. 0\u20133). doi: 10.1109\/KAMW.2008.4810689 .","DOI":"10.1109\/KAMW.2008.4810689"},{"key":"9195_CR11","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/32.21725","volume":"15","author":"T Minoura","year":"1989","unstructured":"Minoura, T., & Iyengar, S. S. (1989). Data and time abstraction techniques for analyzing multilevel concurrent systems. IEEE Transactions on Software Engineering, 15, 47\u201359. doi: 10.1109\/32.21725 .","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9195_CR12","first-page":"185","volume":"3","author":"S Zhou","year":"2010","unstructured":"Zhou, S., Meng, G., & Ling, H. (2010). Ontologies acquisition from relational databases. Computer & Information Science, 3, 185\u2013187.","journal-title":"Computer & Information Science"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-014-9195-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-014-9195-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-014-9195-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T01:17:43Z","timestamp":1565313463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-014-9195-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,4]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["9195"],"URL":"https:\/\/doi.org\/10.1007\/s10849-014-9195-y","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,4]]}}}