{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T02:32:08Z","timestamp":1768444328785,"version":"3.49.0"},"reference-count":39,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1998,9,1]],"date-time":"1998-09-01T00:00:00Z","timestamp":904608000000},"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":5441,"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,9]]},"DOI":"10.1016\/s0004-3702(98)00048-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T19:37:38Z","timestamp":1027625858000},"page":"165-209","source":"Crossref","is-referenced-by-count":208,"title":["Combining Horn rules and description logics in CARIN"],"prefix":"10.1016","volume":"104","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)00048-4_BIB1","series-title":"Proc. ICLP-94 Post Conference Workshop on the Integration of Declarative Paradigms","article-title":"A layer architecture for the integration of rules, inheritance, and constraints","author":"Abecker","year":"1994"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB2","series-title":"Proc. 3rd International Symposium on Programming Language Implementation and Logic Programming","first-page":"255","article-title":"Towards the meaning of LIFE","author":"A\u00eft-Kaci","year":"1991"},{"issue":"2\u20133","key":"10.1016\/S0004-3702(98)00048-4_BIB3","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF00122124","article-title":"Query reformulation for dynamic information integration","volume":"6","author":"Arens","year":"1996","journal-title":"International Journal on Intelligent and Cooperative Information Systems"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(98)00048-4_BIB4","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/S0004-3702(96)00010-0","article-title":"Cardinality restrictions on concepts","volume":"88","author":"Baader","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB5","series-title":"Proc. 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"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB6","series-title":"Proc. 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","article-title":"Rewriting queries using views in description logics","author":"Beeri","year":"1997"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB7","series-title":"Proc. 3rd International Conference on Information and Knowledge Management (CIKM-94)","article-title":"On the relationship between description logic and predicate logic","author":"Borgida","year":"1994"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB8","series-title":"Principles of Semantic Networks","first-page":"401","article-title":"Living with classic: When and how to use a kl-one-like language","author":"Brachman","year":"1991"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB9","series-title":"Proc. 9th International Joint Conference on Artificial Intelligence (IJCAI-85)","article-title":"An essential hybrid reasoning system: knowledge and symbol level accounts of krypton","author":"Brachman","year":"1985"},{"issue":"1","key":"10.1016\/S0004-3702(98)00048-4_BIB10","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0306-4379(94)90025-6","article-title":"Subsumption between queries to object-oriented databases","volume":"19","author":"Buchheit","year":"1994","journal-title":"Information Systems"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB11","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":"Journal of Artificial Intelligence Research"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB12","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(94)90027-2","article-title":"A resolution principle for constrained logics","volume":"66","author":"Burckert","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB13","series-title":"Proc. International Workshop on Database Programming Languages","article-title":"Datalog and description logics: expressive power","author":"Cadoli","year":"1997"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB14","series-title":"Trends in Artificial Intelligence","first-page":"88","article-title":"A hybrid system with datalog and concept languages","volume":"Vol. 549","author":"Donini","year":"1991"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB15","series-title":"Proc. Second International Conference on Principles of Knowledge Representation and Reasoning (KR-91)","article-title":"The complexity of concept languages","author":"Donini","year":"1991"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB16","series-title":"Proc. International Joint Conference on Artificial Intelligence (IJCAI-97)","article-title":"Efficient execution of information gathering plans","author":"Friedman","year":"1997"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB17","series-title":"Working Notes of the AAAI Fall Symposium on Principles of Hybrid Reasoning","year":"1991"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB18","series-title":"Proc. First ACM SIGACTSIGMOD-SIGART Symposium on Principles of Database Systems","first-page":"221","article-title":"The inference problem for template dependencies","author":"Gurevich","year":"1982"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB19","article-title":"Combining terminological and rule-based reasoning for abstraction processes","author":"Hansehke","year":"1992","journal-title":"DFKI Research Report"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB20","series-title":"Proc. Second International Conference on Principles of Knowledge Representation and Reasoning (KR-91)","article-title":"Qualifying number restrictions in concept languages","author":"Hollunder","year":"1991"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB21","series-title":"Proc. 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)00048-4_BIB22","series-title":"Proc. AAAI-96","article-title":"Query answering algorithms for information agents","author":"Levy","year":"1996"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB23","series-title":"Proc. European Conference on Artificial Intelligence","article-title":"CARIN: a representation language integrating rules and description logics","author":"Levy","year":"1996"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB24","series-title":"Proc. AAAI-96","article-title":"The limits on combining recursive horn rules and description logics","author":"Levy","year":"1996"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(98)00048-4_BIB25","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S0004-3702(98)00021-6","article-title":"Verification of knowledge bases based on containment checking","volume":"101","author":"Levy","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB26","series-title":"Proc. 19th VLDB Conference","first-page":"171","article-title":"Queries independent of updates","author":"Levy","year":"1993"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB27","series-title":"Proc. 14th ACM SIGACTSIGMOD-SIGART Symposium on Principles of Database Systems","first-page":"163","article-title":"Semantic query optimization in datalog programs","author":"Levy","year":"1995"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB28","series-title":"Proc. AAAI-88","first-page":"403","article-title":"A deductive pattern matcher","author":"MacGregor","year":"1988"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB29","series-title":"Proc. AAAI-94","first-page":"213","article-title":"A description classifier for the predicate calculus","author":"MacGregor","year":"1994"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB30","series-title":"Proc. International Conference on Logic Programming","article-title":"A constraint logic programming scheme for taxonomic reasoning","author":"Mamede","year":"1992"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB31","first-page":"114","article-title":"The BACK system: an overview","volume":"2","author":"Petalson","year":"1991"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB32","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"659","article-title":"Optimizing datalog programs","author":"Sagiv","year":"1988"},{"issue":"1","key":"10.1016\/S0004-3702(98)00048-4_BIB33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","article-title":"Attributive concept descriptions with complements","volume":"48","author":"Schmidt-Schau\u03b2","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB34","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0743-1066(92)90039-6","article-title":"Feature constraint logics for unification grammars","volume":"12","author":"Smolka","year":"1992","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB35","volume":"Vol. I. II","author":"Ullman","year":"1989"},{"issue":"1","key":"10.1016\/S0004-3702(98)00048-4_BIB36","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":"Journal of Computer and System Sciences"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(98)00048-4_BIB37","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1016\/0004-3702(93)90022-4","article-title":"Plan-based integration of natural language and graphics generation","volume":"63","author":"Wahlster","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB38","series-title":"Proc. Conference on Innovative Applications of Artificial Intelligence Conference","first-page":"183","article-title":"A knowledge-based configurator that supports sales, engineering and manufacturing at AT&T network systems","author":"Wright","year":"1993"},{"key":"10.1016\/S0004-3702(98)00048-4_BIB39","series-title":"Proc. AAAI-90","first-page":"701","article-title":"A principled approach to reasoning about the specificity of rules","author":"Yen","year":"1990"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000484?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000484?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T06:59:51Z","timestamp":1580281191000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370298000484"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,9]]},"references-count":39,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,9]]}},"alternative-id":["S0004370298000484"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(98)00048-4","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1998,9]]}}}