On Keys and Functional Dependencies as First-Class Citizens in Description Logics

1. Berger, R.: The undecidability of the domino problem. Mem. Am. Math. Soc. 66, 1–72 (1966)

   Google Scholar 

2. Biskup, J., Polle, T.: Decomposition of database classes under path functional dependencies and onto constraints. In: Schewe, K.-D., Thalheim, B. (eds.) Foundations of Information and Knowledge Systems, pp. 31–49. Springer, New York (2000)

   Chapter  Google Scholar 

3. Biskup, J., Polle, T.: Adding inclusion dependencies to an object-oriented data model with uniqueness constraints. Acta Inform. 39, 391–449 (2003)

   MATH  MathSciNet  Google Scholar 

4. Borgida, A., Weddell, G.E.: Adding uniqueness constraints to description logics (preliminary report). In: International Conference on Deductive and Object-Oriented Databases, pp. 85–102, Montreux, 8–12 December 1997

5. Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 155–160, Seattle, 4–10 August 2001

6. Calvanese, D., De Giacomo, G., Lenzerini, M.: Representing and reasoning on XML documents: a description logic approach. J. Log. Comput. 9(3), 295–318 (1999)

   Article  MATH  Google Scholar 

7. Calvanese, D., Lenzerini, M., De Giacomo, G.: Keys for free in description logics. In: Proc. of the 2000 Int. Workshop on Description Logics, pp. 79–88, Aachen, 17–19 August 2000

8. DeHaan, D., Toman, D., Weddell, G.E.: Rewriting aggregate queries using description logics. In: Description Logics 2003, vol. 81, pp. 103–112. CEUR-WS, Aachen (2003)

   Google Scholar 

9. Ito, M., Weddell, G.E.: Implication problems for functional constraints on databases supporting complex objects. J. Comput. Syst. Sci. 49(3), 726–768 (1994)

   Article  MATH  MathSciNet  Google Scholar 

10. Khizder, V.L., Toman, D., Weddell, G.E.: Reasoning about duplicate elimination with description logic. In: Rules and Objects in Databases (DOOD, Part of CL’00), pp. 1017–1032, London, 24–28 July 2000

11. Khizder, V.L., Toman, D., Weddell, G.E.: On decidability and complexity of description logics with uniqueness constraints. In: Int. Conf. on Database Theory ICDT’01, pp. 54–67, London, 4–6 January 2001

12. Liu, H., Toman, D., Weddell, G.E.: Fine grained information integration with description logic. In: Description Logics 2002, vol. 53, pp. 1–12. CEUR-WS, Aachen (2002)

    Google Scholar 

13. Lutz, C., Milicic, M.: Description logics with concrete domains and functional dependencies. In: Proc. Eur. Conf. on Artificial Intelligence (ECAI), pp. 378–382, Valencia, 23–27 August 2004

14. Lutz, C., Areces, C., Horrocks, I., Sattler, U.: Keys, nominals, and concrete domains. In: Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 349–354. Morgan Kaufmann, San Mateo (2003)

    Google Scholar 

15. Sattler, U., Calvanese, D., Molitor, R.: Relationships with other formalisms. In: The Description Logic Handbook: Theory, Implementation, and Applications, chapter 4, pp. 137–177. Cambridge University Press, Cambridge (2003)

    Google Scholar 

16. Stanchev, L., Weddell, G.E.: Index selection for embedded control applications using description logics. In: Description Logics 2003, vol. 81, pp. 9–18. CEUR-WS, Aachen (2003)

    Google Scholar 

17. Toman, D., Weddell, G.: On reasoning about structural equality in XML: a description logic approach. Theor. Comput. Sci. 336(1), 181–203 (2005)

    Article  MATH  MathSciNet  Google Scholar 

18. Toman, D., Weddell G.: On the interaction between inverse features and path-functional dependencies in description logics. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 603–608. Morgan Kaufmann, San Mateo (2005)

    Google Scholar 

19. Toman, D., Weddell, G.E.: On attributes, roles, and dependencies in description logics and the Ackermann case of the decision problem. In: Description Logics, vol. 49, pp. 76–85. CEUR-WS, Aachen (2001)

    Google Scholar 

20. Toman, D., Weddell, G.E.: Attribute inversion in description logics with path functional dependencies. In: Description Logics 2004, vol. 104, pp. 178–187. CEUR-WS, Aachen (2004)

    Google Scholar 

21. Toman, D., Weddell, G.E.: On path-functional dependencies as first-class citizens in description logics. In: Description Logics, vol. 1475. CEUR-WS, Aachen (2005)

    Google Scholar 

22. van Emde Boas, P.: The convenience of tilings. In: Complexity, Logic, and Recursion Theory. Lecture Notes in Pure and Applied Mathematics, vol. 187, pp. 331–363. Marcel Dekker, New York (1997)

    Google Scholar 

23. Weddell, G.: A theory of functional dependencies for object oriented data models. In: Int. Conf. on Deductive and Object-Oriented Databases, pp. 165–184, Kyoto, 4–6 December 1989

Download references