Identification constraints and functional dependencies in description logics

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2001, Pages 155-160

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^a   Lenzerini, Maurizio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SCHEMAS; DESCRIPTION LOGIC; EXPRESSIVE DESCRIPTION LOGIC; FUNCTIONAL DEPENDENCY; KNOWLEDGE BASE; LOGICAL IMPLICATIONS; SATISFIABILITY; UNDECIDABILITY;

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; INFORMATION MANAGEMENT; KNOWLEDGE BASED SYSTEMS; SEMANTICS;

DATA DESCRIPTION;

EID: 84880905070     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley Publ. Co., Reading, Massachussetts, 1995.
2. F. Baader and U. Sattler. Expressive number restrictions in description logics. J. of Log. and Comp., 9(3):319-350, 1999.
3. R. Berger. The undecidability of the dominoe problem. Mem. Amer. Math. Soc., 66:1-72, 1966.
4. A. Borgida and G. E. Weddell. Adding uniqueness constraints to description logics (preliminary report). In Proc. of DOOD'97, pages 85-102, 1997.
5. A. Borgida. Description logics in data management. IEEE Trans. on Knowledge and Data Engineering, 7(5):671-682, 1995.
6. D. Calvanese, G. De Giacomo, and M. Lenzerini. Structured objects: Modeling and reasoning. In Proc. of DOOD'95, volume 1013 of LNCS, pages 229-246. Springer-Verlag, 1995.
7. D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proc. of PODS'98, pages 149-158, 1998.
8. D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Description logic framework for information integration. In Proc. of KR'98, pages 2-13, 1998.
9. D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation formalisms. J. of Artificial Intelligence Research, 11:199-240, 1999. (Pubitemid 129628764)
10. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of LPAR'99, number 1705 in LNAI, pages 161-180. Springer-Verlag, 1999.
11. V. L. Khizder, D. Toman, and G. E. Weddell. On decidability and complexity of description logics with uniqueness constraints. In Proc. of ICDT 2001, 2001.
12. T. Kirk, A. Y. Levy, Yehoshua Sagiv, and Divesh Srivastava. The Information Manifold. In Proceedings of the AAAI 1995 Spring Symp. on Information Gathering from Heterogeneous, Distributed Enviroments, pages 85-91, 1995.
13. S. Tobies. The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. of Artificial Intelligence Research, 12:199-217, 2000.
14. P. van Emde Boas. The convenience of tilings. In Complexity, Logic, and Recursion Theory, volume 187 of Lecture notes in pure and applied mathematics, pages 331-363. Marcel Dekker Inc., 1997.