Path-based identification constraints in description logics

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2008, Pages 231-241

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   Lembo, Domenico ^b   Lenzerini, Maurizio ^b   Rosati, Riccardo ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION;

DESCRIPTION LOGIC; EXPRESSIVE DESCRIPTION LOGIC; IDENTIFICATION MECHANISM; MODELING FEATURES; ONTOLOGY ENGINEERING; PATH-BASED; REAL-WORLD; REASONERS;

DATA DESCRIPTION;

EID: 69049083358     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. Abiteboul, S.; Hull, R.; and Vianu, V. 1995. Foundations of Databases. Addison Wesley Publ. Co.
2. Acciarri, A.; Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; Palmieri, M.; and Rosati, R. 2005. QUONTO: QUerying ONTOlogies. In Proc. of AAAI 2005, 1670-1671.
3. Amoroso, A.; Esposito, G.; Lembo, D.; Urbano, P.; and Vertucci, R. 2008. Ontology-based data integration with MASTRO-I for configuration and data management at SELEX Sistemi Integrati. Submitted for publication.
4. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press.
5. Bechhofer, S.; van Harmelen, F.; Hendler, J.; Horrocks, I.; McGuinness, D. L.; Patel-Schneider, P. F.; and Stein, L. A. 2004. OWL Web Ontology Language reference. W3C Recommendation. Available at http://www.w3.org/TR/owl-ref/.
6. Berger, R. 1966. The undecidability of the dominoe problem. Mem. Amer. Math. Soc. 66:1-72.
7. Borgida, A., and Weddell, G. E. 1997. Adding uniqueness constraints to description logics (preliminary report). In Proc. of DOOD'97, 85-102.
8. Brodie, M. L.; Mylopoulos, J.; and Schmidt, J. W., eds. 1984. On Conceptual Modeling: Perspectives from Artificial Intelligence, Databases, and Programming Languages. Springer.
9. Calvanese, D., and De Giacomo, G. 2003. Expressive description logics. In Baader et al. (2003). chapter 5, 178-218.
10. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; Poggi, A.; and Rosati, R. 2006a. Linking data to ontologies: The description logic DL-LiteA. In Proc. of OWLED 2006.
11. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2006b. Data complexity of query answering in description logics. In Proc. of KR 2006, 260-270.
12. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007a. Can OWL model football leagues? In Proc. of OWLED 2007.
13. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007b. EQL-Lite: Effective first-order query processing in description logics. In Proc. of IJCAI 2007, 274-279.
14. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007c. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3):385-429.
15. Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 1995. Structured objects: Modeling and reasoning. In Proc. of DOOD'95, volume 1013 of LNCS, 229-246. Springer.
16. Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 1998. On the decidability of query containment under constraints. In Proc. of PODS'98, 149-158.
17. Calvanese, D.; De Giacomo, G.; and Lenzerini, M. 2001. Identification constraints and functional dependencies in description logics. In Proc. of IJCAI 2001, 155-160.
18. Calvanese, D.; Eiter, T.; and Ortiz, M. 2007. Answering regular path queries in expressive description logics: An automatatheoretic approach. In Proc. of AAAI 2007, 391-396.
19. Chen, P. P. 1976. The Entity-Relationship model: Toward a unified view of data. ACM Trans. on Database Systems 1(1):9-36.
20. De Giacomo, G., and Lenzerini, M. 1995. What's in an aggregate: Foundations for description logics with tuples and sets. In Proc. of IJCAI'95, 801-807.
21. Fowler, M., and Scott, K. 1997. UML Distilled - Applying the Standard Object Modeling Laguage. Addison Wesley Publ. Co.
22. Hull, R. B., and King, R. 1987. Semantic database modelling: Survey, applications and research issues. ACM Computing Surveys 19(3):201-260.
23. Lutz, C.; Areces, C.; Horrocks, I.; and Sattler, U. 2005. Keys, nominals, and concrete domains. J. of Artificial Intelligence Research 23:667-726.
24. Lutz, C. 2007. Inverse roles make conjunctive queries hard. In Proc. of DL 2007, volume 250 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/Vol-250/, 100-111.
25. Nguyen, T. D. T., and Le Thanh, N. 2007. Integrating identification constraints in web ontology. In Proc. of the 9th Int. Conf. on Enterprise Information Systems, 338-343.
26. Poggi, A.; Lembo, D.; Calvanese, D.; De Giacomo, G.; Lenzerini, M.; and Rosati, R. 2008. Linking data to ontologies. J. on Data Semantics X:133-173.
27. Toman, D., and Weddell, G. E. 2005. On the interaction between inverse features and path-functional dependencies in description logics. In Proc. of IJCAI 2005, 603-608.
28. Toman, D., and Weddell, G. E. 2008. On keys and functional dependencies as first-class citizens in description logics. J. of Automated Reasoning 40(2-3):117-132.
29. van Emde Boas, P. 1997. The convenience of tilings. In Sorbi, A., ed., Complexity, Logic, and Recursion Theory, volume 187 of Lecture Notes in Pure and Applied Mathematics. Marcel Dekker Inc. 331-363.
30. Vardi, M. Y., and Wolper, P. 1986. Automata-theoretic techniques for modal logics of programs. J. of Computer and System Sciences 32:183-221.
31. Vardi, M. Y. 1998. Reasoning about the past with two-way automata. In Proc. of ICALP'98, volume 1443 of LNCS, 628-641. Springer.
32. Welty, C., and Guarino, N. 2001. Support for ontological analysis of taxonomic relationships. Data and Knowledge Engineering 39(1):51-74.