On the interaction between inverse features and path-functional dependencies in description logics

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 603-608

  Toman, David ^a   Weddell, Grant ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COHERENCE CONDITIONS; DESCRIPTION LOGIC; LOGICAL IMPLICATIONS; OBJECT ORIENTED; UNDECIDABILITY;

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; INVERSE PROBLEMS; TERMINOLOGY;

DATA DESCRIPTION;

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

References (17)

1. R. Berger. The undecidability of the dominoe problem. Mem. Amer. Math. Soc., 66:1-72, 1966.
2. Joachim Biskup and Torsten Polle. Decomposition of Database Classes under Path Functional Dependencies and Onto Constraints. In Foundations of Information and Knowledge Systems, pages 31-49, 2000.
3. Joachim Biskup and Torsten Polle. Adding inclusion dependencies to an object-oriented data model with uniqueness constraints. Acta Informatica, 39:391-449, 2003.
4. Joachim Biskup, Ralf Menzel, Torsten Polle, and Yehoshua Sagiv. Decomposition of Relationships through Pivoting. In Conceptual Modeling - ER'96, pages 28-41, 1996.
5. Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Identification Constraints and Functional Dependencies in Description Logics. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI), pages 155-160, 2001.
6. David DeHaan, David Toman, and Grant E. Weddell. Rewriting Aggregate Queries using Description Logics. In Description Logics 2003, pages 103-112. CEUR-WS vol.81, 2003.
7. Martin Fürer. Alternation and the Ackermann Case of the Decision Problem. L'Enseignement Math., 27:137-162, 1981.
8. Vitaliy L. Khizder, David Toman, and Grant E. Weddell. Reasoning about Duplicate Elimination with Description Logic. In Rules and Objects in Databases (DOOD, part of CL'00), pages 1017-1032, 2000.
9. Huizhu Liu, David Toman, and Grant E. Weddell. Fine Grained Information Integration with Description Logic. In Description Logics 2002, pages 1-12. CEUR-WS vol.53, 2002.
10. C. Lutz and M. Milicic. Description Logics with Concrete Domains and Functional Dependencies. In Proc. European Conference on Artificial Intelligence (ECAI), pages 378-382, 2004.
11. Carsten Lutz, Carlos Areces, Ian Horrocks, and Ulrike Sattler. Keys, Nominals, and Concrete Domains. In Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI), pages 349-354, 2003.
12. Lubomir Stanchev and Grant E. Weddell. Index Selection for Embedded Control Applications using Description Logics. In Description Logics 2003, pages 9-18. CEUR-WS vol.81, 2003.
13. David Toman and Grant E. Weddell. On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. In Description Logics 2001, pages 76-85. CEUR-WS vol.49, 2001.
14. David Toman and Grant E. Weddell. Attribute Inversion in Description Logics with Path Functional Dependencies. In Description Logics 2004, pages 178-187. CEUR-WS vol.104, 2004.
15. David Toman and Grant E. Weddell. On Reasoning about Structural Equality in XML: A Description Logic Approach. Theoretical Computer Science, 2004. doi:10.1016/j.tcs.2004.10.036.
16. 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.
17. Grant Weddell. A Theory of Functional Dependencies for Object Oriented Data Models. In International Conference on Deductive and Object-Oriented Databases, pages 165-184, 1989.