{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T08:55:18Z","timestamp":1762160118078},"reference-count":46,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1987,3,1]],"date-time":"1987-03-01T00:00:00Z","timestamp":541555200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1987,3]]},"DOI":"10.1016\/0169-023x(87)90009-7","type":"journal-article","created":{"date-parts":[[2003,12,2]],"date-time":"2003-12-02T12:08:25Z","timestamp":1070366905000},"page":"59-81","source":"Crossref","is-referenced-by-count":4,"title":["A logic-based information modelling language"],"prefix":"10.1016","volume":"2","author":[{"given":"D.A.","family":"Jardine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.J.","family":"van Griethuysen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/0169-023X(87)90009-7_BIB1","volume":"7","year":"1975","journal-title":"Interim Report, ACM SIGMOD Newslett. FDT"},{"key":"10.1016\/0169-023X(87)90009-7_BIB2","series-title":"Proc. 1st International Conference on Distributed Computing Systems","first-page":"158","article-title":"The entity-relationship model\u2014A basic for the enterprise view of data","author":"Chen","year":"1979"},{"key":"10.1016\/0169-023X(87)90009-7_BIB3","series-title":"Entity-Relationship Approach to Information Modeling and Analysis","article-title":"A preliminary framework for entity-relationship models","author":"Chen","year":"1983"},{"key":"10.1016\/0169-023X(87)90009-7_BIB4","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/319983.319986","article-title":"Formal semantics for time in databases","volume":"8","author":"Clifford","year":"1983","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0169-023X(87)90009-7_BIB5","article-title":"PROLOG","volume":"7","author":"Clocksin","year":"1983","journal-title":"Computerworld"},{"key":"10.1016\/0169-023X(87)90009-7_BIB6","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/319682.319700","article-title":"On database systems development through logic","volume":"7","author":"Dahl","year":"1982","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0169-023X(87)90009-7_BIB7","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0306-4379(81)90033-8","article-title":"Four schema approach: an extended model for database architecture","volume":"6","author":"De","year":"1981","journal-title":"Inform. Systems"},{"key":"10.1016\/0169-023X(87)90009-7_BIB8","first-page":"2","article-title":"LOFE: A language for virtual relational data bases","volume":"15","author":"Debenham","year":"1983","journal-title":"Austral. Comput. J."},{"key":"10.1016\/0169-023X(87)90009-7_BIB9","series-title":"Entity-Relationship Approach to Information Modeling and Analysis","article-title":"Entity-relationship model in the ANSI\/SPARC framework","author":"Dogac","year":"1983"},{"key":"10.1016\/0169-023X(87)90009-7_BIB10","series-title":"Logic and Data Bases","first-page":"347","article-title":"The application of PROLOG to the development of QA and DBM systems","author":"Futo","year":"1978"},{"key":"10.1016\/0169-023X(87)90009-7_BIB11","series-title":"Proc. 7th International Conference on Very Large Data Bases","article-title":"Impacts of logic on data bases","author":"Gallaire","year":"1981"},{"key":"10.1016\/0169-023X(87)90009-7_BIB12","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","article-title":"Logic and databases: A deductive approach","volume":"16","author":"Gallaire","year":"1984","journal-title":"Comput. Surveys"},{"key":"10.1016\/0169-023X(87)90009-7_BIB13","series-title":"Concepts and terminology for the conceptual schema and the information base","year":"1982"},{"key":"10.1016\/0169-023X(87)90009-7_BIB14","series-title":"Assessment guidelines for conceptual schema language proposals","year":"1985"},{"key":"10.1016\/0169-023X(87)90009-7_BIB15","article-title":"The Infomod approach to information modelling, Parts 1 and 2","author":"van Griethuysen","year":"1983"},{"key":"10.1016\/0169-023X(87)90009-7_BIB16","series-title":"Information System Design Methodologies","first-page":"93","article-title":"A declarative approach to conceptual information modeling","author":"Gustafson","year":"1982"},{"key":"10.1016\/0169-023X(87)90009-7_BIB17","article-title":"Dynamic logic","volume":"Vol. II","author":"Harel","year":"1984"},{"key":"10.1016\/0169-023X(87)90009-7_BIB18","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/960126.806897","article-title":"A logical view of types","volume":"11","author":"Hayes","year":"1981","journal-title":"ACM SIGMOD Record"},{"key":"10.1016\/0169-023X(87)90009-7_BIB19","series-title":"System Development","author":"Jackson","year":"1983"},{"key":"10.1016\/0169-023X(87)90009-7_BIB20","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-8051(84)90022-6","article-title":"Concepts and terminology for the conceptual schema and the information base","volume":"3","author":"Jardine","year":"1984","journal-title":"Comput. & Standards"},{"key":"10.1016\/0169-023X(87)90009-7_BIB21","unstructured":"D.A. Jardine and A. Matzov, Ontology and properties of time in information systems, Proc. IFIP WG2.6 Conference on Knowledge and Data (DS-2), Albufiera, Portugal (North-Holland, Amsterdam) to appear."},{"key":"10.1016\/0169-023X(87)90009-7_BIB22","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0306-4379(84)90023-1","article-title":"Information semantics and the conceptual schema","volume":"9","author":"Jardine","year":"1984","journal-title":"Inform. Systems"},{"key":"10.1016\/0169-023X(87)90009-7_BIB23","series-title":"Proc. 6th International Conference on Very Large Data Bases","article-title":"Splitting the conceptual schema","author":"Kent","year":"1980"},{"key":"10.1016\/0169-023X(87)90009-7_BIB24","series-title":"Logic and Data Bases","first-page":"77","article-title":"Logic for data description","author":"Kowalski","year":"1978"},{"key":"10.1016\/0169-023X(87)90009-7_BIB25","series-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"key":"10.1016\/0169-023X(87)90009-7_BIB26","series-title":"Database Semantics (DS-1)","first-page":"83","article-title":"A denotational semantics for administrative databases","author":"Lee","year":"1986"},{"key":"10.1016\/0169-023X(87)90009-7_BIB27","first-page":"52","article-title":"An introduction to deductive database systems","volume":"15","author":"Lloyd","year":"1983","journal-title":"Austral. Comput. J."},{"key":"10.1016\/0169-023X(87)90009-7_BIB28","author":"Meersman","year":"1980"},{"key":"10.1016\/0169-023X(87)90009-7_BIB29","series-title":"Logic and Data Bases","first-page":"107","article-title":"An experimental relational data base system based on logic","author":"Minker","year":"1978"},{"key":"10.1016\/0169-023X(87)90009-7_BIB30","series-title":"Logic and Data Bases","first-page":"33","article-title":"Data base: Theory vs. interpretation","author":"Nicolas","year":"1978"},{"key":"10.1016\/0169-023X(87)90009-7_BIB31","series-title":"Logic and Data Bases","first-page":"325","article-title":"Integrity checking in deductive data bases","author":"Nicolas","year":"1978"},{"key":"10.1016\/0169-023X(87)90009-7_BIB32","series-title":"Mathematical Logic","author":"Quine","year":"1951"},{"key":"10.1016\/0169-023X(87)90009-7_BIB33","series-title":"Logic and Data Bases","first-page":"55","article-title":"On closed world data bases","author":"Reiter","year":"1978"},{"key":"10.1016\/0169-023X(87)90009-7_BIB34","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1145\/960126.806913","article-title":"Data bases: A logical perspective","volume":"11","author":"Reiter","year":"1981","journal-title":"ACM SIGMOD Record"},{"key":"10.1016\/0169-023X(87)90009-7_BIB35","series-title":"Temporal Logic","author":"Rescher","year":"1971"},{"key":"10.1016\/0169-023X(87)90009-7_BIB36","article-title":"An assessment of the ability of the extended relational model to serve as a conceptual schema language","author":"Reuber","year":"1981"},{"key":"10.1016\/0169-023X(87)90009-7_BIB37","first-page":"179","article-title":"Synchronization in distributed programs","volume":"4","author":"Schneider","year":"1982","journal-title":"ACM Trans. Prog. Lang."},{"key":"10.1016\/0169-023X(87)90009-7_BIB38","series-title":"ANSI Draft SQL Addendum-2, Document No. ISO\/TC97\/SC21\/WG3 N176","year":"1986"},{"key":"10.1016\/0169-023X(87)90009-7_BIB39","series-title":"The ANSIISPARC DBMS Model","first-page":"255","article-title":"Formalization of conceptual schemms","author":"Steel","year":"1986"},{"key":"10.1016\/0169-023X(87)90009-7_BIB40","article-title":"A modest proposal for a conceptual schema language","volume":"Vol. 1","author":"Steel","year":"1978"},{"key":"10.1016\/0169-023X(87)90009-7_BIB41","series-title":"Database Semantics (DS-1)","first-page":"255","article-title":"A minimal conceptual schema","author":"Steel","year":"1986"},{"key":"10.1016\/0169-023X(87)90009-7_BIB42_1","first-page":"261","article-title":"Der Wahrheitsbegriff in den formalisieren Sprachen","volume":"1","author":"Tarski","year":"1936","journal-title":"Studio Philos."},{"key":"10.1016\/0169-023X(87)90009-7_BIB42_2","series-title":"Logic, Semantics, Metamathematics","article-title":"The concept of truth in formalized languages","author":"Tarski","year":"1956"},{"key":"10.1016\/0169-023X(87)90009-7_BIB43","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0306-4379(78)90001-7","article-title":"The ANSI\/X3\/SPARC DBMS framework: Report of the Study Group on Database Management Systems","volume":"3","author":"Tsichritzis","year":"1978","journal-title":"Inform. Systems"},{"key":"10.1016\/0169-023X(87)90009-7_BIB44","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/0306-4379(82)90031-X","article-title":"A procedure to define the object-type structure of a conceptual schema","volume":"7","author":"Vermeir","year":"1982","journal-title":"Inform. Systems"},{"key":"10.1016\/0169-023X(87)90009-7_BIB45","series-title":"Database Semantics (DS-1)","first-page":"59","article-title":"Conceptual models in PROLOG","author":"Weigand","year":"1986"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X87900097?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X87900097?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T16:29:12Z","timestamp":1550334552000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X87900097"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,3]]},"references-count":46,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1987,3]]}},"alternative-id":["0169023X87900097"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(87)90009-7","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1987,3]]}}}