Description logics with aggregates and concrete domains

Information Systems

Volumn 28, Issue 8, 2003, Pages 979-1004

  Baader, Franz ^a   Sattler, Ulrike ^a,b  

^a LuFG Theoretical Computer Science   (Italy)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; DATA WAREHOUSES; FORMAL LOGIC; INFERENCE ENGINES;

CONCRETE DOMAINS; DESCRIPTION LOGICS; SATISFIABILITY;

KNOWLEDGE REPRESENTATION;

EID: 0141939159     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0306-4379(03)00003-6     Document Type: Article

References (32)

1. M. Schmidt-Schauß, G. Smolka, Attributive concept descriptions with complements, Artif. Intell. 48 (1) (1991) 1-26
2. B. Nebel, Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Artificial Intelligence, Springer, Berlin, 1990
3. R.J. Brachman, D. McGuinness, P. Patel-Schneider, L. Resnick, A. Borgida, Living with CLASSIC: when and how to use a KL-ONE-like language, in: J.F. Sowa (Ed.), Principles of Semantic Networks, Morgan Kaufmann, Los Altos, 1991.
4. M. Buchheit, M.A. Jeusfeld, W. Nutt, M. Staudt, Subsumption of queries over object-oriented databases, Inform. Systems 19 (1) (1994) 33-54.
5. 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-120.
6. T. Catarci, G. D'Angiolini, M. Lenzerini, Conceptual language for statistical data modelling, Data Knowledge Eng. 17 (2) (1995) 93-125.
7. 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'96), IEEE Computer Society Press, Stockholm, Sweden, 1996, pp. 168-175.
8. 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é Paris-Sud URA-CNRS 410.
9. 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'98), 1998, pp. 149-158.
10. D. Calvanese, M. Lenzerini, D. Nardi, Description logics for conceptual data modelling, in: J. Chomicki, G. Saake (Eds.), Logics for Databases and Information Systems, Kluwer Academic Publisher, Dordrecht, 1998, pp. 229-263.
11. D. Calvanese, G. De Giacomo, R. Rosati, Data integration and reconciliation in data warehousing: conceptual modelling and reasoning support, Network Inform. Systems 4 (2) (1999) 413-432.
12. 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.
13. 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-23.
14. V. Haarslev, R. Möller, 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.
15. 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.
16. E. Franconi, U. Sattler, A data warehouse conceptual data model for multidimensional aggregation: a preliminary report, Italian Association for Artificial Intelligence AI*IA Notizie 1 (1999) 9-21.
17. B. Hollunder, W. Nutt, M. Schmidt-Schauss, Subsumption algorithms for concept description languages, in: ECAI-90, Pitman Publishing, London, 1990.
18. 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.
19. 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-457, A long version appeared in the Technical Report RR-91-10, DFKI, Germany, 1991.
20. C. Lutz, Reasoning with concrete domains, in: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), Morgan Kaufmann, Los Altos, 1999.
21. 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.
22. 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-369.
23. I.S. Mumick, O. Shmueli, How expressive is stratified aggregation, Ann. Math. Artif. Intell. 15 (3-4) (1995).
24. 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.
25. 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.
26. 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-340.
27. M. Davis, Hilbert's tenth problem is unsolvable, Am. Math. Monthly 80 (1973) 233-269.
28. F. Baader, Using automata theory for characterizing the semantics of terminological cycles, Ann. Math. Artif. Intell. 18 (2-4) (1996) 175-219.
29. K.A. Ross, D. Srivastava, P.J. Stuckey, S. Sudarshan, Foundations of aggregation constraints, Theoret. Comput. Sci. 193 (1-2) (1998) 149-179.
30. G.L. Nemhauser, L.A. Wolsey, Integer and Combinatorial Optimization, Wiley, New York, 1988.
31. 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.
32. 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.