{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:27:52Z","timestamp":1694622472137},"reference-count":14,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Knowl. Data Eng."],"published-print":{"date-parts":[[1994]]},"DOI":"10.1109\/69.298179","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T19:16:32Z","timestamp":1030216592000},"page":"634-639","source":"Crossref","is-referenced-by-count":2,"title":["Making the knowledge base systems more efficient: a method to detect inconsistent queries"],"prefix":"10.1109","volume":"6","author":[{"given":"A.","family":"Illarramendi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.M.","family":"Blanco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Goni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","volume":"i","author":"ullman","year":"1988","journal-title":"Principles of database and knowledge-base systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF00244275"},{"key":"ref12","author":"chang","year":"1973","journal-title":"Symbolic Logic and Mechanical Theorem Proving"},{"key":"ref13","first-page":"318","article-title":"Processing conjunctive predicates and queries","author":"rosenkrantz","year":"1988","journal-title":"Proc Conf on Very Large Databases"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/67544.66943"},{"key":"ref4","first-page":"137","article-title":"Knowledge based query processing","author":"hammer","year":"1980","journal-title":"Proc 6th VLDB Conf"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/38713.38736"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0169-023X(92)90034-9"},{"key":"ref5","author":"king","year":"1981","journal-title":"Query Optimization by Semantic Reasoning"},{"key":"ref8","author":"jarke","year":"1989","journal-title":"Query Optimization in KBMS Overview Research Issues and Concepts for a Telos Implementation"},{"key":"ref7","author":"peltason","year":"1989","journal-title":"The BACK system revised"},{"key":"ref2","first-page":"675","article-title":"External semantic query simplification: A graph theoretic approach and its implementation in PROLOG","author":"jarke","year":"1986","journal-title":"Proc Int Workshop Database Expert Syst Appl"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/78922.78924"},{"key":"ref9","first-page":"488","article-title":"A uniform approach to constraint satisfaction and constraint satisfiability","author":"bry","year":"1988","journal-title":"Proc Int Conf Extending Database Technol"}],"container-title":["IEEE Transactions on Knowledge and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx3\/69\/7391\/00298179.pdf?arnumber=298179","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:12:49Z","timestamp":1638216769000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/298179\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":14,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/69.298179","relation":{},"ISSN":["1041-4347"],"issn-type":[{"value":"1041-4347","type":"print"}],"subject":[],"published":{"date-parts":[[1994]]}}}