{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:05:46Z","timestamp":1761620746031},"reference-count":38,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"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":5625,"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,3]]},"DOI":"10.1016\/s0004-3702(97)00079-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T11:20:41Z","timestamp":1027596041000},"page":"209-260","source":"Crossref","is-referenced-by-count":14,"title":["A refined architecture for terminological systems: Terminology = Schema + Views"],"prefix":"10.1016","volume":"99","author":[{"given":"M.","family":"Buchheit","sequence":"first","affiliation":[]},{"given":"F.M.","family":"Donini","sequence":"additional","affiliation":[]},{"given":"W.","family":"Nutt","sequence":"additional","affiliation":[]},{"given":"A.","family":"Schaerf","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(97)00079-9_BIB1","series-title":"Proceedings AAAI-90","first-page":"621","article-title":"Terminological cycles in KL-ONE-based knowledge representation languages","author":"Baader","year":"1990"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB2","series-title":"Computational Logics, Symposium Proceedings","first-page":"177","article-title":"Concept logics","author":"Baader","year":"1990"},{"key":"10.1016\/S0004-3702(97)00079-9_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","volume":"Vol. 567","author":"Baader","year":"1991"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB4","series-title":"Working Notes AAAI Fall Symposium on Issues on Description Logics: Users Meet Developers","first-page":"1","article-title":"Are complete and expressive terminological systems feasible? Position paper","author":"Baader","year":"1992"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB5","series-title":"Proceedings ACM SIGMOD International Conference on Management of Data","first-page":"59","article-title":"CLASSIC: a structural data model for objects","author":"Borgida","year":"1989"},{"key":"10.1016\/S0004-3702(97)00079-9_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."},{"issue":"1","key":"10.1016\/S0004-3702(97)00079-9_BIB7","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(97)00079-9_BIB8","series-title":"Proceedings 12th European Conference on Artificial Intelligence (ECAI-96)","first-page":"303","article-title":"Reasoning with inclusion axioms in description logics: algorithms and complexity","author":"Calvanese","year":"1996"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB9","series-title":"Proceedings 10th IEEE International Conference on Data Engineering (ICDE-94)","first-page":"204","article-title":"On the interaction between ISA and cardinality constraints","author":"Calvanese","year":"1994"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB10","series-title":"Proceedings 4th International Conference on the Principles of Knowledge Representation and Reasoning (KR-94)","first-page":"109","article-title":"A unified framework for class based representation formalisms","author":"Calvanese","year":"1994"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB11","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1613\/jair.334","article-title":"A uniform framework for concept definitions in description logics","volume":"6","author":"De Giacomo","year":"1997","journal-title":"J. Artif. Intell. Res."},{"key":"10.1016\/S0004-3702(97)00079-9_BIB12","series-title":"Proceedings AAAI-92","first-page":"761","article-title":"A non-well-founded approach to terminological cycles","author":"Dionne","year":"1992"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB13","series-title":"Proceedings IJCAI-93","first-page":"710","article-title":"The equivalence of model theoretic and structural subsumption in description logics","author":"Dionne","year":"1993"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB14","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0004-3702(92)90076-A","article-title":"The complexity of existential quantification in concept languages","volume":"53","author":"Donini","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.1997.2625","article-title":"The complexity of concept languages","volume":"134","author":"Donini","year":"1997","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0004-3702(97)00079-9_BIB16","series-title":"Proceedings 3rd International Conference on the Principles of Knowledge Representation and Reasoning (KR-92)","first-page":"342","article-title":"Adding epistemic operators to concept languages","author":"Donini","year":"1992"},{"issue":"4","key":"10.1016\/S0004-3702(97)00079-9_BIB17","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1093\/logcom\/4.4.423","article-title":"Deduction in concept languages: from subsumption to instance checking","volume":"4","author":"Donini","year":"1994","journal-title":"J. Logic and Computation"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB18","article-title":"Algorithmic foundations of terminological knowledge representation systems","author":"Hollunder","year":"1994"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB19","series-title":"Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz (DFKI)","article-title":"Subsumption algorithms for concept languages","author":"Hollunder","year":"1990"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB20","series-title":"Proceedings 9th European Conference on Artificial Intelligence (ECAI-90)","first-page":"348","article-title":"Subsumption algorithms for concept description languages","author":"Hollunder","year":"1990"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB21","series-title":"Formal Languages and their Relation to Automata","author":"Hopcroft","year":"1969"},{"issue":"2","key":"10.1016\/S0004-3702(97)00079-9_BIB22","doi-asserted-by":"crossref","DOI":"10.1007\/BF00961873","article-title":"Conceptbase\u2014a deductive object manager for meta databases","volume":"4","author":"Jarke","year":"1995","journal-title":"J. Intelligent Information Systems"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB23","article-title":"A catalog of complexity classes","volume":"Vol. A","author":"Johnson","year":"1990"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB24","series-title":"Proceedings AAAI-91","first-page":"471","article-title":"Concept languages as query languages","author":"Lenzerini","year":"1991"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB25","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"issue":"3","key":"10.1016\/S0004-3702(97)00079-9_BIB26","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1145\/122296.122309","article-title":"Inside the LOOM description classifier","volume":"2","author":"MacGregor","year":"1991","journal-title":"SIGART Bull."},{"key":"10.1016\/S0004-3702(97)00079-9_BIB27","series-title":"Working Notes AAAI Fall Symposium on Issues on Description Logics: Users Meet Developers","first-page":"53","article-title":"What's needed to make a description logic a good KR citizen","author":"MacGregor","year":"1992"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB28","article-title":"Reasoning and Revision in Hybrid Representation Systems","author":"Nebel","year":"1990"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB29","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","article-title":"Terminological reasoning is inherently intractable","volume":"43","author":"Nebel","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB30","series-title":"Principles of Semantic Networks","first-page":"331","article-title":"Terminological cycles: semantics and computational properties","author":"Nebel","year":"1991"},{"issue":"3","key":"10.1016\/S0004-3702(97)00079-9_BIB31","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/122296.122314","article-title":"The BACK system\u2014an overview","volume":"2","author":"Peltason","year":"1991","journal-title":"SIGART Bull."},{"key":"10.1016\/S0004-3702(97)00079-9_BIB32","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BF00962071","article-title":"On the complexity of the instance checking problem in concept languages with existential quantification","volume":"2","author":"Schaerf","year":"1993","journal-title":"J. Intelligent Information Systems"},{"issue":"2","key":"10.1016\/S0004-3702(97)00079-9_BIB33","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0169-023X(94)90002-7","article-title":"Reasoning with individuals in concept languages","volume":"13","author":"Schaerf","year":"1994","journal-title":"Data and Knowledge Engineering"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB34","unstructured":"K. Schild, Personal communication, 1994."},{"key":"10.1016\/S0004-3702(97)00079-9_BIB35","series-title":"Proceedings 4th International Conference on the Principles of Knowledge Representation and Reasoning (KR-94)","first-page":"509","article-title":"Terminological cycles and the propositional \u03bc-calculus","author":"Schild","year":"1994"},{"issue":"1","key":"10.1016\/S0004-3702(97)00079-9_BIB36","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(97)00079-9_BIB37","series-title":"Proceedings 14th ACM SIGACT Sympsium on Theory of Computing (STOC-82)","first-page":"137","article-title":"The complexity of relational query languages","author":"Vardi","year":"1982"},{"key":"10.1016\/S0004-3702(97)00079-9_BIB38","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"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000799?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000799?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T05:48:54Z","timestamp":1578462534000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370297000799"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["S0004370297000799"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(97)00079-9","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}