The DL-Lite family and relations

Journal of Artificial Intelligence Research

Volumn 36, Issue , 2009, Pages 1-69

  Artale, Alessandro ^a   Calvanese, Diego ^a   Kontchakov, Roman ^b   Zakharyaschev, Michael ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN CONNECTIVES; COMBINED COMPLEXITY; CONCEPTUAL MODELING; DATA COMPLEXITY; DESCRIPTION LOGIC; DISJOINTNESS; FIRST ORDER LOGIC; NUMBER RESTRICTIONS; ROLE HIERARCHY; SATISFIABILITY; SYSTEMATIC INVESTIGATIONS;

DATA DESCRIPTION; FORMAL LOGIC; MULTI AGENT SYSTEMS;

COMPUTATIONAL COMPLEXITY;

EID: 73649143525     PISSN: None     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.2820     Document Type: Article

References (75)

1. Abiteboul, S., Hull, R., & Vianu, V. (1995). Foundations of Databases. Addison-Wesley.
2. Acciarri, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., & Rosati, R. (2005). QuOnto: Querying ONTOlogies. In Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), pp. 1670-1671.
3. Apt, K. (1990). Logic programming. In van Leeuwen, J. (Ed.), Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, pp. 493-574. Elsevier and MIT Press.
4. Artale, A., Calvanese, D., Kontchakov, R., & Zakharyaschev, M. (2007a). DL-Lite in the light of first-order logic. In Proc. of the 22nd Nat. Conf. on Artificial Intelligence (AAAI 2007), pp. 361-366.
5. Artale, A., Calvanese, D., Kontchakov, R., Ryzhikov, V., & Zakharyaschev, M. (2007b). Reasoning over extended ER models. In Proc. of the 26th Int. Conf. on Conceptual Modeling (ER 2007), Vol. 4801 of Lecture Notes in Computer Science, pp. 277-292. Springer.
6. Artale, A., Cesarini, F., & Soda, G. (1996). Describing database objects in a concept language environment. IEEE Trans. on Knowledge and Data Engineering, 8(2), 345- 351.
7. Artale, A., Parent, C., & Spaccapietra, S. (2007). Evolving objects in temporal information systems. Ann. of Mathematics and Artificial Intelligence, 50, 5-38.
8. Baader, F., & Narendran, P. (2001). Unification of concepts terms in description logics. J. of Symbolic Computation, 31(3), 277-305.
9. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., & Patel-Schneider, P. F. (Eds.). (2003). The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press. (2nd edition, 2007).
10. Beeri, C., Levy, A. Y., & Rousset, M.-C. (1997). Rewriting queries using views in description logics. In Proc. of the 16th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'97), pp. 99-108.
11. Berardi, D., Calvanese, D., & De Giacomo, G. (2005). Reasoning on UML class diagrams. Artificial Intelligence, 168(1-2), 70-118.
12. Bergamaschi, S., & Sartori, C. (1992). On taxonomic reasoning in conceptual design. ACM Trans. on Database Systems, 17(3), 385-422.
13. Boppana, R., & Sipser, M. (1990). The complexity of finite functions. In van Leeuwen, J. (Ed.), Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity, pp. 757-804. Elsevier and MIT Press.
14. Börger, E., Grädel, E., & Gurevich, Y. (1997). The Classical Decision Problem. Perspectives in Mathematical Logic. Springer.
15. Borgida, A., & Brachman, R. J. (2003). Conceptual modeling with description logics. In Baader et al. (Baader et al., 2003), chap. 10, pp. 349-372.
16. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., & Rosati, R. (2007). Ontology-based database access. In Proc. of the 15th Ital. Conf. on Database Systems (SEBD 2007), pp. 324-331.
17. A ontologies. In Schewe, K.-D., & Thalheim, B. (Eds.), Revised Selected Papers of the 3rd Int. Workshop on Semantics in Data and Knowledge Bases (SDKB 2008), Vol. 4925 of Lecture Notes in Computer Science, pp. 26-47. Springer.
18. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2005). DL-Lite: Tractable description logics for ontologies. In Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), pp. 602-607.
19. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2006). Data complexity of query answering in description logics. In Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 260-270.
20. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2007a). Can OWL model football leagues?. In Proc. of the 3rd Int. Workshop on OWL: Experiences and Directions (OWLED 2007), Vol. 258 of CEUR Workshop Proceedings.
21. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2007b). Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning, 39(3), 385-429.
22. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2008a). Inconsistency tolerance in P2P data integration: An epistemic logic approach. Information Systems, 33(4), 360-384.
23. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2008b). Path-based identification constraints in description logics. In Proc. of the 11th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2008), pp. 231-241.
24. Calvanese, D., De Giacomo, G., & Lenzerini, M. (2002a). Description logics for information integration. In Kakas, A., & Sadri, F. (Eds.), Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Vol. 2408 of Lecture Notes in Computer Science, pp. 41-60. Springer.
25. Calvanese, D., De Giacomo, G., & Lenzerini, M. (2002b). A framework for ontology inte-gration. In Cruz, I., Decker, S., Euzenat, J., & McGuinness, D. (Eds.), The Emerging Semantic Web - Selected Papers from the First Semantic Web Working Symposium, pp. 201-214. IOS Press.
26. Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., & Rosati, R. (1998a). Description logic framework for information integration. In Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'98), pp. 2-13.
27. Calvanese, D., Lenzerini, M., & Nardi, D. (1998b). Description logics for conceptual data modeling. In Chomicki, J., & Saake, G. (Eds.), Logics for Databases and Information Systems, pp. 229-264. Kluwer Academic Publishers.
28. Calvanese, D., Lenzerini, M., & Nardi, D. (1999). Unifying class-based representation formalisms. J. of Artificial Intelligence Research, 11, 199-240.
29. Corona, C., Ruzzi, M., & Savo, D. F. (2009). Filling the gap between OWL 2 QL and QuOnto: ROWLKit. In Proc. of the 22nd Int. Workshop on Description Logics (DL 2009), Vol. 477 of CEUR Workshop Proceedings.
30. Cuenca Grau, B., Horrocks, I., Kazakov, Y., & Sattler, U. (2008). Modular reuse of ontologies: Theory and practice. J. of Artificial Intelligence Research, 31, 273-318.
31. Decker, S., Erdmann, M., Fensel, D., & Studer, R. (1999). Ontobroker: Ontology based access to distributed and semi-structured information. In Meersman, R., Tari, Z., & Stevens, S. (Eds.), Database Semantic: Semantic Issues in Multimedia Systems, chap. 20, pp. 351-370. Kluwer Academic Publishers.
32. Dolby, J., Fokoue, A., Kalyanpur, A., Ma, L., Schonberg, E., Srinivas, K., & Sun, X. (2008). Scalable grounded conjunctive query evaluation over large and expressive knowledge bases. In Proc. of the 7th Int. Semantic Web Conf. (ISWC 2008), Vol. 5318 of Lecture Notes in Computer Science, pp. 403-418. Springer.
33. Eiter, T., Gottlob, G., Ortiz, M., & Šimkus, M. (2008). Query answering in the descrip-tion logic Horn-SHIQ. In Proc. of the 11th Eur. Conference on Logics in Artificial Intelligence (JELIA 2008), pp. 166-179.
34. Franconi, E., & Ng, G. (2000). The i.com tool for intelligent conceptual modeling. In Proc. of the 7th Int. Workshop on Knowledge Representation meets Databases (KRDB 2000), Vol. 29 of CEUR Workshop Proceedings, pp. 45-53.
35. Garey, M., & Johnson, D. (1979). Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman.
36. Ghilardi, S., Lutz, C., & Wolter, F. (2006). Did I damage my ontology? A case for conservative extensions in description logics. In Doherty, P., Mylopoulos, J., & Welty, C. (Eds.), Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 187-197.
37. Glimm, B., Horrocks, I., Lutz, C., & Sattler, U. (2007). Conjunctive query answering for the description logic SHIQ. In Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), pp. 399-404.
38. Goasdoue, F., Lattes, V., & Rousset, M.-C. (2000). The use of CARIN language and algorithms for information integration: The Picsel system. Int. J. of Cooperative Information Systems, 9(4), 383-401.
39. Gottlob, G., & Nash, A. (2008). Efficient core computation in data exchange. J. of the ACM, 55(2), 1-49.
40. Hayes, P. (2004). RDF semantics. W3C Recommendation. http://www.w3.org/ TR/rdf-mt/.
41. Heflin, J., & Hendler, J. (2001). A portrait of the Semantic Web in action. IEEE Intelligent Systems, 16(2), 54-59.
42. Heymans, S., Ma, L., Anicic, D., Ma, Z., Steinmetz, N., Pan, Y., Mei, J., Fokoue, A., Kalyanpur, A., Kershenbaum, A., Schonberg, E., Srinivas, K., Feier, C., Hench, G., Wetzstein, B., & Keller, U. (2008). Ontology reasoning with large data repositories. In Hepp, M., De Leenheer, P., de Moor, A., & Sure, Y. (Eds.), Ontology Management, Semantic Web, Semantic Web Services, and Business Applications, Vol. 7 of Semantic Web And Beyond Computing for Human Experience, pp. 89-128. Springer.
43. Horrocks, I., Patel-Schneider, P. F., & van Harmelen, F. (2003). From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics, 1(1), 7-26.
44. Horrocks, I., Sattler, U., & Tobies, S. (2000). Practical reasoning for very expressive description logics. J. of the Interest Group in Pure and Applied Logic, 8(3), 239-264.
45. Hustadt, U., Motik, B., & Sattler, U. (2007). Reasoning in description logics by a reduction to disjunctive Datalog. J. of Automated Reasoning, 39(3), 351-384. (Pubitemid 47340921)
46. Hustadt, U., Motik, B., & Sattler, U. (2005). Data complexity of reasoning in very expressive description logics. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pp. 466-471.
47. Immerman, N. (1999). Descriptive Complexity. Springer.
48. Klyne, G., & Carroll, J. J. (2004). Resource description framework (RDF): Concepts and abstract syntax. W3C Recommendation. http://www.w3.org/TR/ rdf-concepts/.
49. Kontchakov, R., Pulina, L., Sattler, U., Schneider, T., Selmer, P., Wolter, F., & Za-kharyaschev, M. (2009). Minimal module extraction from DL-Lite ontologies using QBF solvers. In Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJ-CAI 2009), pp. 836-840.
50. Kontchakov, R., Wolter, F., & Zakharyaschev, M. (2008). Can you tell the difference between DL-Lite ontologies?. In Proc. of the 11th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2008), pp. 285-295.
51. Kontchakov, R., & Zakharyaschev, M. (2008). DL-Lite and role inclusions. In Domingue, J., & Anutariya, C. (Eds.), Proc. of the 3rd Asian Semantic Web Conf. (ASWC 2008), Vol. 5367 of Lecture Notes in Computer Science, pp. 16-30. Springer.
52. Kozen, D. (2006). Theory of Computation. Springer.
53. Lenzerini, M. (2002). Data integration: A theoretical perspective. In Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2002), pp. 233-246.
54. Levy, A. Y., & Rousset, M.-C. (1998). Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104(1-2), 165-209.
55. Lutz, C., Toman, D., & Wolter, F. (2008). Conjunctive query answering in EL using a database system. In Proc. of the 5th Int. Workshop on OWL: Experiences and Directions (OWLED 2008).
56. McGuinness, D., & Wright, J. R. (1998). Conceptual modelling for configuration: A descrip-tion logic-based approach. Artificial Intelligence for Engineering Design, Analysis, and Manufacturing. Special Issue on Configuration, 12, 333-344.
57. Meyer, T., Lee, K., & Booth, R. (2005). Knowledge integration for description logics. In Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), pp. 645-650.
58. Noy, N. F. (2004). Semantic integration: A survey of ontology-based approaches. SIGMOD Record, 33(4), 65-70.
59. Ortiz, M., Calvanese, D., & Eiter, T. (2006). Characterizing data complexity for conjunctive query answering in expressive description logics. In Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI 2006), pp. 275-280.
60. Ortiz, M., Calvanese, D., & Eiter, T. (2008). Data complexity of query answering in expressive description logics via tableaux. J. of Automated Reasoning, 41(1), 61-98.
61. Papadimitriou, C. (1994). Computational Complexity. Addison-Wesley.
62. Pérez-Urbina, H., Motik, B., & Horrocks, I. (2009). A comparison of query rewriting techniques for DL-Lite. In Proc. of the 22nd Int. Workshop on Description Logics (DL 2009), Vol. 477 of CEUR Workshop Proceedings.
63. Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., & Rosati, R. (2008a). Linking data to ontologies. J. on Data Semantics, X, 133-173.
64. Poggi, A., Rodriguez, M., & Ruzzi, M. (2008b). Ontology-based database access with DIG-Mastro and the OBDA Plugin for Protégé. In Clark, K., & Patel-Schneider, P. F. (Eds.), Proc. of the 4th Int. Workshop on OWL: Experiences and Directions (OWLED 2008 DC).
65. Rautenberg, W. (2006). A Concise Introduction to Mathematical Logic. Springer.
66. Reingold, O. (2008). Undirected connectivity in log-space. J. of the ACM, 55(4).
67. Schaerf, A. (1993). On the complexity of the instance checking problem in concept languages with existential quantification. J. of Intelligent Information Systems, 2, 265-278.
68. Schmidt-Schauß, M., & Smolka, G. (1991). Attributive concept descriptions with complements. Artificial Intelligence, 48(1), 1-26.
69. Stocker, M., & Smith, M. (2008). Owlgres: A scalable OWL reasoner. In Proc. of the 5th Int. Workshop on OWL: Experiences and Directions (OWLED 2008).
70. Tobies, S. (2001). Complexity results and practical algorithms for logics in Knowledge Rep-resentation. Ph.D. thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany.
71. Toman, D., & Weddell, G. E. (2005). 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 2005), pp. 603-608.
72. Toman, D., & 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.
73. Vardi, M. (1982). The complexity of relational query languages (extended abstract). In Proc. of the 14th ACM SIGACT Symp. on Theory of Computing (STOC'82), pp. 137-146.
74. Vollmer, H. (1999). Introduction to Circuit Complexity: A Uniform Approach. Springer.
75. Wang, Z., Wang, K., Topor, R. W., & Pan, J. Z. (2008). Forgetting concepts in DL-Lite. In Bechhofer, S., Hauswirth, M., Hoffmann, J., & Koubarakis, M. (Eds.), Proc. of the 5th Eur. Semantic Web Conf. (ESWC 2008), Vol. 5021 of Lecture Notes in Computer Science, pp. 245-257. Springer.