{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:03Z","timestamp":1761611103454},"reference-count":32,"publisher":"Elsevier BV","issue":"8","license":[{"start":{"date-parts":[[2003,12,1]],"date-time":"2003-12-01T00:00:00Z","timestamp":1070236800000},"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":["Information Systems"],"published-print":{"date-parts":[[2003,12]]},"DOI":"10.1016\/s0306-4379(03)00003-6","type":"journal-article","created":{"date-parts":[[2003,3,4]],"date-time":"2003-03-04T15:38:35Z","timestamp":1046792315000},"page":"979-1004","source":"Crossref","is-referenced-by-count":26,"title":["Description logics with aggregates and concrete domains"],"prefix":"10.1016","volume":"28","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[]},{"given":"Ulrike","family":"Sattler","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S0306-4379(03)00003-6_BIB1","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\u00df","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB2","unstructured":"B. Nebel, Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Artificial Intelligence, Springer, Berlin, 1990."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB3","series-title":"Principles of Semantic Networks","article-title":"Living with CLASSIC: when and how to use a KL-ONE-like language","author":"Brachman","year":"1991"},{"issue":"1","key":"10.1016\/S0306-4379(03)00003-6_BIB4","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0306-4379(94)90025-6","article-title":"Subsumption of queries over object-oriented databases","volume":"19","author":"Buchheit","year":"1994","journal-title":"Inform. Systems"},{"key":"10.1016\/S0306-4379(03)00003-6_BIB5","doi-asserted-by":"crossref","unstructured":"D. Calvanese, M. Lenzerini, D. Nardi, A unified framework for class based representation formalisms, in: J. Doyle, E. Sandewall, P. Torasso (Eds.), Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR-94), Bonn, 1994. Morgan Kaufmann, Los Altos, pp. 109\u2013120.","DOI":"10.1016\/B978-1-4832-1452-8.50107-X"},{"issue":"2","key":"10.1016\/S0306-4379(03)00003-6_BIB6","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0169-023X(95)98435-5","article-title":"Conceptual language for statistical data modelling","volume":"17","author":"Catarci","year":"1995","journal-title":"Data Knowledge Eng."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB7","doi-asserted-by":"crossref","unstructured":"G. De Giacomo, P. Naggar, Conceptual data model with structured objects for statistical databases, in: Proceedings of the Eighth International Conference on Statistical Database Management Systems (SSDBM\u201996), IEEE Computer Society Press, Stockholm, Sweden, 1996, pp. 168\u2013175.","DOI":"10.1109\/SSDM.1996.506059"},{"key":"10.1016\/S0306-4379(03)00003-6_BIB8","unstructured":"D. Calvanese, G. De Giacomo, M. Lenzerini, Conjunctive query containment in description logics with n-ary relations, in: M.-C. Rousset, R. Brachmann, F. Donini, E. Franconi, I. Horrocks, A. Levy (Eds.), Proceedings of the International Workshop on Description Logics, Gif sur Yvette, France, 1997, Universit\u00e9 Paris\u2013Sud URA-CNRS 410."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB9","doi-asserted-by":"crossref","unstructured":"D. Calvanese, G. De Giacomo, M. Lenzerini, On the decidability of query containment under constraints, in: Proceedings of the 17th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS\u201998), 1998, pp. 149\u2013158.","DOI":"10.1145\/275487.275504"},{"key":"10.1016\/S0306-4379(03)00003-6_BIB10","series-title":"Logics for Databases and Information Systems","first-page":"229","article-title":"Description logics for conceptual data modelling","author":"Calvanese","year":"1998"},{"issue":"2","key":"10.1016\/S0306-4379(03)00003-6_BIB11","first-page":"413","article-title":"Data integration and reconciliation in data warehousing","volume":"4","author":"Calvanese","year":"1999","journal-title":"Network Inform. Systems"},{"key":"10.1016\/S0306-4379(03)00003-6_BIB12","unstructured":"I. Horrocks, Using an Expressive Description Logic: FaCT or Fiction?, in: Proceedings of the Sixth International Conference on the Principles of Knowledge Representation and Reasoning (KR-98), 1998."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB13","doi-asserted-by":"crossref","unstructured":"P.F. Patel-Schneider, I. Horrocks, DLP and FaCT, in: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-99), Vol. 1397 of Lecture Notes in Artificial Intelligence, Springer, Berlin, 1999, pp. 19\u201323.","DOI":"10.1007\/3-540-48754-9_3"},{"key":"10.1016\/S0306-4379(03)00003-6_BIB14","unstructured":"V. Haarslev, R. M\u00f6ller, Expressive abox reasoning with number restrictions, role hierarchies, and transitively closed roles, in: Proceedings of the Seventh International Conference on the Principles of Knowledge Representation and Reasoning (KR-00), 2000."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB15","unstructured":"E. Franconi, G. Ng, The i.com tool for intelligent conceptual modelling, in: Working Notes of the ECAI2000 Workshop on Knowledge Representation Meets Databases (KRDB2000), 2000."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB16","first-page":"9","article-title":"A data warehouse conceptual data model for multidimensional aggregation","volume":"1","author":"Franconi","year":"1999","journal-title":"Italian Association for Artificial Intelligence AI*IA Notizie"},{"key":"10.1016\/S0306-4379(03)00003-6_BIB17","unstructured":"B. Hollunder, W. Nutt, M. Schmidt-Schauss, Subsumption algorithms for concept description languages, in: ECAI-90, Pitman Publishing, London, 1990."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB18","unstructured":"F. Donini, M. Lenzerini, D. Nardi, W. Nutt, The complexity of concept languages, in: Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (KR-91), Boston, MA, USA, 1991."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB19","doi-asserted-by":"crossref","unstructured":"F. Baader, P. Hanschke, A schema for integrating concrete domains into concept languages, in: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, 1991, pp. 452\u2013457, A long version appeared in the Technical Report RR-91-10, DFKI, Germany, 1991.","DOI":"10.1007\/BFb0013550"},{"key":"10.1016\/S0306-4379(03)00003-6_BIB20","unstructured":"C. Lutz, Reasoning with concrete domains, in: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), Morgan Kaufmann, Los Altos, 1999."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB21","unstructured":"D. Calvanese, Finite Model Reasoning in Description Logics, in: Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96), Morgan Kaufmann, Los Altos, 1996."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB22","unstructured":"A. Gupta, V. Harinarayan, D. Quass, Aggregate-query processing in data warehousing environments, in: Proceedings of the 21st International Conference on Very Large Data Bases (VLDB-95), 1995, pp. 358\u2013369."},{"issue":"3\u20134","key":"10.1016\/S0306-4379(03)00003-6_BIB23","article-title":"How expressive is stratified aggregation","volume":"15","author":"Mumick","year":"1995","journal-title":"Ann. Math. Artif. Intell."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB24","doi-asserted-by":"crossref","unstructured":"A.Y. Levy, I.S. Mumick, Reasoning with aggregation constraints, in: Proceedings of the International Conference on Extending Database Technology (EDBT-96), Avignon, France, 1996.","DOI":"10.1007\/BFb0014176"},{"key":"10.1016\/S0306-4379(03)00003-6_BIB25","unstructured":"D. Srivastava, S. Dar, H.V. Jagadish, A.Y. Levy, Answering queries with aggregation using views, in: Proceedings of the 22nd International Conference on Very Large Data Bases (VLDB-96), Bombay, India, 1996."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB26","doi-asserted-by":"crossref","unstructured":"F. Baader, U. Sattler, Description logics with concrete domains and aggregation, in: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), Wiley, New York, 1998, pp. 336\u2013340.","DOI":"10.25368\/2022.78"},{"key":"10.1016\/S0306-4379(03)00003-6_BIB27","doi-asserted-by":"crossref","first-page":"233","DOI":"10.2307\/2318447","article-title":"Hilbert's tenth problem is unsolvable","volume":"80","author":"Davis","year":"1973","journal-title":"Am. Math. Monthly"},{"issue":"2\u20134","key":"10.1016\/S0306-4379(03)00003-6_BIB28","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF02127747","article-title":"Using automata theory for characterizing the semantics of terminological cycles","volume":"18","author":"Baader","year":"1996","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1\u20132","key":"10.1016\/S0306-4379(03)00003-6_BIB29","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0304-3975(97)00011-X","article-title":"Foundations of aggregation constraints","volume":"193","author":"Ross","year":"1998","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB30","series-title":"Integer and Combinatorial Optimization","author":"Nemhauser","year":"1988"},{"key":"10.1016\/S0306-4379(03)00003-6_BIB31","unstructured":"P. Hanschke, Specifying role interaction in concept languages, in: Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (KR-91), 1992."},{"key":"10.1016\/S0306-4379(03)00003-6_BIB32","doi-asserted-by":"crossref","unstructured":"W. Nutt, Y. Sagiv, S. Shurin, Deciding equivalences among aggregate queries, in: Proceedings of the Seventeenth ACM SIGACT SIGMOD Symposium on Principles of Database Systems (PODS-98), 1998.","DOI":"10.1145\/275487.275512"}],"container-title":["Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306437903000036?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306437903000036?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,25]],"date-time":"2023-04-25T21:27:40Z","timestamp":1682458060000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0306437903000036"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":32,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2003,12]]}},"alternative-id":["S0306437903000036"],"URL":"https:\/\/doi.org\/10.1016\/s0306-4379(03)00003-6","relation":{},"ISSN":["0306-4379"],"issn-type":[{"value":"0306-4379","type":"print"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}