DL-lite with attributes and datatypes

Frontiers in Artificial Intelligence and Applications

Volumn 242, Issue , 2012, Pages 61-66

  Artale, Alessandro ^a   Ryzhikov, Vladislav ^a   Kontchakov, Roman ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION;

ABSTRACT OBJECT; COMBINED COMPLEXITY; COMPLEXITY RESULTS; DATA COMPLEXITY; DATATYPES; EXTENDED LANGUAGES; QUERY ANSWERING; REASONING PROBLEMS; SATISFIABILITY;

KNOWLEDGE BASED SYSTEMS;

EID: 84878800444     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-61499-098-7-61     Document Type: Conference Paper

References (17)

1. A. Artale, D. Calvanese, R. Kontchakov, V. Ryzhikov, and M. Zakharyaschev, 'Reasoning over extended ER models', in Proc. of the 26th Int. Conf. on Conceptual Modeling (ER 2007), volume 4801 of Lecture Notes in Computer Science, pp. 277-292. Springer, (2007).
2. A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev, 'DL-Lite in the light of first-order logic', in Proc. of the 22nd Nat. Conf. on Artificial Intelligence (AAAI 2007), pp. 361-366, (2007).
3. A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev, 'The DL-Lite family and relations', Journal of Artificial Intelligence Research, 36, 1-69, (2009).
4. A. Artale, R. Kontchakov, and V. Ryzhikov, 'DL-Lite with attributes, datatypes and sub-roles (full version)', Technical Report BBKCS-1201, Department of Computer Science and Information Systems, Birkbeck, University of London, (2012).
5. F. Baader, S. Brandt, and C. Lutz, 'Pushing the EL envelope', in Proc. of the 19th Int. Joint Conf. on Artificial Intelligence, IJCAI-05. MorganKaufmann Publishers, (2005).
6. D. Berardi, D. Calvanese, and G. De Giacomo, 'Reasoning on UML class diagrams', Artificial Intelligence, 168(1-2), 70-118, (2005).
7. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati, 'DL-Lite: Tractable description logics for ontologies', in Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI), pp. 602-607, (2005).
8. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati, 'Tractable reasoning and efficient query answering in description logics: The DL-Lite family', Journal of Automated Reasoning, 39(3), 385-429, (2007).
9. D. Calvanese, M. Lenzerini, and D. Nardi, 'Unifying class-based representation formalisms', Journal of Artificial Intelligence Research, 11, 199-240, (1999).
10. B. Cuenca Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, and U. Sattler, 'OWL 2: The next step for OWL', Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 6(4), 309-322, (2008).
11. M. Despoina, Y. Kazakov, and I. Horrocks, 'Tractable extensions of the description logic EL with numerical datatypes', Journal of Automated Reasoning, (2011).
12. E. Franconi, Y. A. Ibáñez-García, and I. Seylan, 'Query answering with DBoxes is hard', Electr. Notes Theor. Comput. Sci., 278, 71-84, (2011).
13. C. Lutz, 'Description logics with concrete domains - a survey', in Advances in Modal Logics Volume 4. King's College Publications, (2003).
14. J. Pan and I. Horrocks, 'OWL-Eu: Adding customised datatypes into OWL', Web Semantics: Science, Services and Agents on the World Wide Web, 4(1), (2011).
15. A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati, 'Linking Data to Ontologies', Journal on Data Semantics, X, 133-173, (2008).
16. O. Savković, Managing Datatypes in Ontology-Based Data Access, MSc dissertation, European Master in Computational Logic, Faculty of Computer Science, Free University of Bozen-Bolzano, October 2011.
17. A. Schaerf, 'On the complexity of the instance checking problem in concept languages with existential quantification', Journal of Intelligent Information Systems, 2, 265-278, (1993).