DL-lite and role inclusions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5367 LNCS, Issue , 2008, Pages 16-30

  Kontchakov, Roman ^a   Zakharyaschev, Michael ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; INFORMATION THEORY; SEMANTIC WEB; SEMANTICS;

#P-HARD; ARBITRARY NUMBERS; COMBINED COMPLEXITIES; DATA COMPLEXITIES; NUMBER RESTRICTIONS; SATISFIABILITY;

INCLUSIONS;

EID: 58049087406     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89704-0_2     Document Type: Conference Paper

References (18)

1. Artale, A., Calvanese, D., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Complexity of reasoning over Entity-Relationship models. In: Proc. of DL, pp. 163-170 (2007)
2. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: DL-Lite in the light of first-order logic. In: Proc. of AAAI, pp. 361-366 (2007)
3. Bernstein, P., Giunchiglia, F., Kementsietsidis, A., Mylopoulos, J., Serafini, L., Zaihrayeu, I.: Data management for peer-to-peer computing: A vision. In: Proc. of WebDB (2002)
4. Borger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. Perspectives in Mathematical Logic. Springer, Heidelberg (1997)
5. Borgida, A., Brachman, R., McGuinness, D., Alperin Resnick, L.: CLASSIC: A structural data model for objects. In: Proc. of ACM SIGMOD, pp. 59-67 (1989)
6. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proc. of AAAI, pp. 602-607. AAAI Press, Menlo Park (2005)
7. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tailoring OWL for data intensive ontologies. In: Proc. of OWLED (2005)
8. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of KR., pp. 260-270 (2006)
9. A- In: Proc. OWLED (2006)
10. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39, 385-429 (2007)
11. Eiter, T., Gottlob, G., Ortiz, M., Šimkus, M.: Query answering in the description logic Horn-SHIQ. In: Proc. of JELIA (2008)
12. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. In: Proc. of IJCAI, pp. 399-404 (2007)
13. Heflin, J., Hendler, J.: A portrait of the Semantic Web in action. IEEE Intelligent Systems 16, 54-59 (2001)
14. Hustadt, U., Motik, B., Sattler, U.: Reasoning in description logics by a reduction to disjunctive Datalog. J. of Automated Reasoning 39, 351-384 (2007)
15. Kozen, D.: Theory of Computation. Springer, Heidelberg (2006)
16. Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. of PODS, pp. 233-246 (2002)
17. Papadimitriou, C.: Computational Complexity. Addison-Wesley, Reading (1994)
18. Schaerf, A.: On the complexity of the instance checking problem in concept languages with existential quantification. J. Intell. Infor. Systems 2, 265-278 (1993)