On keys and functional dependencies as first-class citizens in description logics

Journal of Automated Reasoning

Volumn 40, Issue 2-3, 2008, Pages 117-132

  Toman, David ^a   Weddell, Grant ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Description logics; Path functional dependency; Relational keys

Indexed keywords

FORMAL LANGUAGES;

DESCRIPTION LOGIC; FUNCTIONAL DEPENDENCY; IMPLICATION PROBLEM; INCLUSION DEPENDENCIES; LOGICAL IMPLICATIONS; PATH-FUNCTIONAL DEPENDENCY; RELATIONAL KEYS; RIGHT-HAND SIDES;

DATA DESCRIPTION;

EID: 73049089025     PISSN: 01687433     EISSN: 15730670     Source Type: Journal    
DOI: 10.1007/s10817-007-9092-z     Document Type: Conference Paper

References (23)

1. Berger, R.: The undecidability of the domino problem. Mem. Am. Math. Soc. 66, 1-72 (1966)
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)
3. Biskup, J., Polle, T.: Adding inclusion dependencies to an object-oriented data model with uniqueness constraints. Acta Inform. 39, 391-449 (2003)
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)
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)
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)
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)
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)
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)
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)
17. Toman, D., Weddell, G.: On reasoning about structural equality in XML: a description logic approach. Theor. Comput. Sci. 336(1), 181-203 (2005)
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)
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)
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)
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)
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)
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