Introducing datatypes in DL-lite

Frontiers in Artificial Intelligence and Applications

Volumn 242, Issue , 2012, Pages 720-725

  Savković, Ognjen ^a   Calvanese, Diego ^a  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; ONTOLOGY; QUERY LANGUAGES; SEMANTICS;

DATATYPES; DESCRIPTION LOGIC; LIMITED ATTENTIONS; ONTOLOGY SYSTEM; ONTOLOGY-BASED DATA ACCESS; PRE-DEFINED SEMANTICS; PROPERTY; QUERY ANSWERING; SCENARIO-BASED; THEORETICAL FRAMEWORK;

COMPUTATIONAL COMPLEXITY;

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

References (13)

1. ISO/IEC 11404:2007, 'Information technology: General-Purpose Datatypes (GPD)', Technical report, ISO/IEC, CH-1211 Geneva 20, Switzerland, (2007).
2. S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases, Addison Wesley Publ. Co., 1995.
3. A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev, 'The DL-Lite family and relations', J. of Artificial Intelligence Research, 36, 1-69, (2009).
4. A. Artale, Y. A. Ibanez-Garcia, R. Kontchakov, and V. Ryzhikov, 'DL-Lite with attributes and sub-roles (extended abstract)', in Proc. of DL 2011, volume 745 of CEUR, ceur-ws.org, (2011).
5. A. Artale, R. Kontchakov, and V. Ryzhikov, 'DL-Lite with attributes and datatypes', in Proc. of ECAI 2012, (2012).
6. F. Baader, S. Brandt, and C. Lutz, 'Pushing the EL envelope', in Proc. of IJCAI 2005, pp. 364-369, (2005).
7. The Description Logic Handbook: Theory, Implementation and Applications, eds., F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, Cambridge University Press, 2nd edn., 2007.
8. F. Baader and P. Hanschke, 'A schema for integrating concrete domains into concept languages', in Proc. of IJCAI'91, pp. 452-457, (1991).
9. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, A. Poggi, M. Rodríguez-Muro, and R. Rosati, 'Ontologies and databases: The DL-Lite approach', in 5th Int. Reasoning Web Summer School (RW 2009), volume 5689 of LNCS, 255-356, Springer, (2009).
10. F. M. Donini, M Lenzerini, D. Nardi, and A. Schaerf, 'Deduction in concept languages: From subsumption to instance checking', J. of Logic and Computation, 4(4), 423-452, (1994).
11. D. Magka, Y. Kazakov, and I. Horrocks, 'Tractable extensions of the description logic EL with numerical datatypes', J. of Automated Reasoning, 47(4), 427-450, (2011).
12. B. Motik and I. Horrocks, 'OWL datatypes: Design and implementation.', in Proc. of ISWC 2008, pp. 307-322, (2008).
13. O. Savkovic, Managing Data Types in Ontology-based Data Access, Master's thesis, KRDB Res. Centre, Free Univ. of Bozen-Bolzano, 2011.