{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T16:08:10Z","timestamp":1744906090024},"reference-count":42,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":5564,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1998,5]]},"DOI":"10.1016\/s0004-3702(98)00021-6","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:24:09Z","timestamp":1027657449000},"page":"227-250","source":"Crossref","is-referenced-by-count":24,"title":["Verification of knowledge bases based on containment checking"],"prefix":"10.1016","volume":"101","author":[{"given":"Alon Y.","family":"Levy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Christine","family":"Rousset","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(98)00021-6_bib1","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1137\/0208017","article-title":"Equivalence of relational expressions","volume":"2","author":"Aho","year":"1979","journal-title":"SIAM J. Comput. (8)"},{"key":"10.1016\/S0004-3702(98)00021-6_bib2","series-title":"Proceedings European Symposium on Verification and Validation of Knowledge Based Systems, EUROVAV-95","year":"1995"},{"key":"10.1016\/S0004-3702(98)00021-6_bib3","series-title":"Proceedings Workshop on Processing Declarative Knowledge, PDK-91","first-page":"67","article-title":"A terminological knowledge representation system with complete inference algorithm","author":"Baader","year":"1991"},{"issue":"4","key":"10.1016\/S0004-3702(98)00021-6_bib4","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1145\/1634.1636","article-title":"A proof procedure for data dependencies","volume":"31","author":"Been","year":"1984","journal-title":"J. ACM"},{"key":"10.1016\/S0004-3702(98)00021-6_bib5","series-title":"Proceedings 17th British Computer Society Conference on Expert Systems","article-title":"Verification and revision of rule bases","author":"Bouali","year":"1997"},{"key":"10.1016\/S0004-3702(98)00021-6_bib6","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1613\/jair.21","article-title":"Decidable reasoning in terminological knowledge representation systems","volume":"1","author":"Buchheit","year":"1993","journal-title":"J. Artif. Intell. Res."},{"key":"10.1016\/S0004-3702(98)00021-6_bib7","series-title":"Proceedings Ninth Annual ACM Symposium on Theory of Computing","first-page":"77","article-title":"Optimal implementation of conjunctive queries in relational databases","author":"Chandra","year":"1977"},{"key":"10.1016\/S0004-3702(98)00021-6_bib8","series-title":"Proceedings Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","first-page":"55","article-title":"On the equivalence of recursive and nonrecursive datalog programs","author":"Chaudhuri","year":"1992"},{"key":"10.1016\/S0004-3702(98)00021-6_bib9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based TMS","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00021-6_bib10","series-title":"A Discipline of Programming","author":"Dijkstra","year":"1976"},{"issue":"4","key":"10.1016\/S0004-3702(98)00021-6_bib11","doi-asserted-by":"crossref","first-page":"952","DOI":"10.1145\/322344.322347","article-title":"Horn clauses and database dependencies","volume":"29","author":"Fagin","year":"1982","journal-title":"J. ACM"},{"key":"10.1016\/S0004-3702(98)00021-6_bib12","series-title":"Proceedings ECA1-96 Workshop on Validation, Verification and Refinement of KBS","article-title":"Specification and verification of kbs","author":"Fensel","year":"1996"},{"key":"10.1016\/S0004-3702(98)00021-6_bib13","series-title":"Proceedings Seventh National Conference on Artificial Intelligence (AAAI-88)","article-title":"Knowledge base reduction: a new approach to checking knowledge bases for inconsistency and redundancy","author":"Ginsberg","year":"1988"},{"key":"10.1016\/S0004-3702(98)00021-6_bib14","article-title":"Inconsistency and redundancy checking for quasi-first-order-logic knowledge bases","volume":"6","author":"Ginsberg","year":"1993","journal-title":"Internat. J. Expert Systems: Research and Applications"},{"key":"10.1016\/S0004-3702(98)00021-6_bib15","series-title":"Proceedings First ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","first-page":"221","article-title":"The inference problem for template dependencies","author":"Gurevich","year":"1982"},{"issue":"1","key":"10.1016\/S0004-3702(98)00021-6_bib16","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/42267.42273","article-title":"On conjunctive queries containing inequalities","volume":"35","author":"Klug","year":"1988","journal-title":"J. ACM"},{"key":"10.1016\/S0004-3702(98)00021-6_bib17","article-title":"Subsumption anomalies in hybrid knowledge bases","volume":"6","author":"Lee","year":"1993","journal-title":"International Journal of Expert Systems: Research and Applications"},{"key":"10.1016\/S0004-3702(98)00021-6_bib18","series-title":"Proceedings 14th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","article-title":"Answering queries using views","author":"Levy","year":"1995"},{"key":"10.1016\/S0004-3702(98)00021-6_bib19","series-title":"Proceedings European Conference on Artificial Intelligence (ECAI-96)","article-title":"CARIN: a representation language integrating rules and description logics","author":"Levy","year":"1996"},{"key":"10.1016\/S0004-3702(98)00021-6_bib20","series-title":"Proceedings Thirteenth National Conference on Artificial Intelligence (AAAI-96)","article-title":"The limits on combining recursive horn rules and description logics","author":"Levy","year":"1996"},{"key":"10.1016\/S0004-3702(98)00021-6_bib21","series-title":"Proceedings 19th VLDB Conference","first-page":"171","article-title":"Queries independent of updates","author":"Levy","year":"1993"},{"key":"10.1016\/S0004-3702(98)00021-6_bib22","series-title":"Proceedings 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","article-title":"Deciding containment for queries with complex objects and aggregations","author":"Levy","year":"1997"},{"key":"10.1016\/S0004-3702(98)00021-6_bib23","article-title":"Formal verification of knowledge bases focused on consistency: two experiments based on ATMS techniques","volume":"6","author":"Loiseau","year":"1993","journal-title":"Internat. J. Expert Systems: Research and Applications"},{"key":"10.1016\/S0004-3702(98)00021-6_bib24","series-title":"Proceedings ECAI-96 Workshop on Validation, Verification and Refinement of KBS","article-title":"Correctness of methods with respect to problem specifications","author":"Pierret","year":"1996"},{"key":"10.1016\/S0004-3702(98)00021-6_bib25","series-title":"Proceedings 8th European Conference on Artificial Intelligence (ECAI-88)","article-title":"On the consistency of knowledge bases: the COVADIS system","author":"Rousset","year":"1988"},{"key":"10.1016\/S0004-3702(98)00021-6_bib26","series-title":"Proceedings 11th European Conference on Artificial Intelligence (ECAI-94)","article-title":"Knowledge formal specifications for formal verification: a proposal based on the integration of different logical formalisms","author":"Rousset","year":"1994"},{"key":"10.1016\/S0004-3702(98)00021-6_bib27","series-title":"Proceedings European Conference on Artificial Intelligence (ECAI-96)","article-title":"Modeling and verifying complex objects: declarative approach based on description logics","author":"Rousset","year":"1996"},{"issue":"4","key":"10.1016\/S0004-3702(98)00021-6_bib28","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1145\/322217.322221","article-title":"Equivalence among relational expressions with the union and difference operators","volume":"27","author":"Sagiv","year":"1981","journal-title":"J. ACM"},{"key":"10.1016\/S0004-3702(98)00021-6_bib29","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"659","article-title":"Optimizing datalog programs","author":"Sagiv","year":"1988"},{"key":"10.1016\/S0004-3702(98)00021-6_bib30","series-title":"Proceedings European Symposium on Validation and Verification of KBS, EUROVAV-95","article-title":"A tool for testing confluence of production rules","author":"Schmolze","year":"1995"},{"key":"10.1016\/S0004-3702(98)00021-6_bib31","series-title":"Proceedings Fourteenth National Conference on Artificial Intelligence (AAAI-97)","article-title":"Detecting redundant production rules","author":"Schmolze","year":"1997"},{"key":"10.1016\/S0004-3702(98)00021-6_bib32","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(93)90040-N","article-title":"Equivalence of datalog queries is undecidable","volume":"15","author":"Shmueli","year":"1993","journal-title":"J. Logic Programming"},{"issue":"2","key":"10.1016\/S0004-3702(98)00021-6_bib33","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/s007780050018","article-title":"The GMAP: a versatile tool for physical data independence","volume":"5","author":"Tsatalos","year":"1996","journal-title":"VLDB J."},{"key":"10.1016\/S0004-3702(98)00021-6_bib34_1","volume":"Vol. I","author":"Ullman","year":"1989"},{"key":"10.1016\/S0004-3702(98)00021-6_bib34_2","volume":"Vol. II","year":"1989"},{"key":"10.1016\/S0004-3702(98)00021-6_bib35","series-title":"Proceedings Internat. Conference on Database Theory","article-title":"Information integration using logical views","author":"Ullman","year":"1997"},{"key":"10.1016\/S0004-3702(98)00021-6_bib36","series-title":"Proceedings Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","first-page":"331","article-title":"The complexity of querying indefinite data about linearly ordered domains","author":"van der Meyden","year":"1992"},{"key":"10.1016\/S0004-3702(98)00021-6_bib37","article-title":"The complexity of querying indefinite information: defined relations recursion and linear order","author":"van der Meyden","year":"1992"},{"issue":"1","key":"10.1016\/S0004-3702(98)00021-6_bib38","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0022-0000(84)90074-6","article-title":"The implication and finite implication problems for typed template dependencies","volume":"28","author":"Vardi","year":"1984","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0004-3702(98)00021-6_bib39","series-title":"Proceedings AAAI-93 Workshop on Validation and Verification of KBS","article-title":"Knowledge base reduction for verifying rule bases containing equations","author":"Williamson","year":"1993"},{"issue":"1","key":"10.1016\/S0004-3702(98)00021-6_bib40","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/0022-0000(82)90008-3","article-title":"Algebraic dependencies","volume":"25","author":"Yannakakis","year":"1980","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0004-3702(98)00021-6_bib41","series-title":"Proceedings ECAI-96 Workshop on Validation, Verification and Refinement of KBS","article-title":"Explaining anomalies as a basis for KB refinement","author":"Zlatareva","year":"1996"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000216?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000216?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T15:17:36Z","timestamp":1580915856000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370298000216"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,5]]},"references-count":42,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,5]]}},"alternative-id":["S0004370298000216"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(98)00021-6","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1998,5]]}}}