350 rub
Journal Highly available systems №1 for 2012 г.
Article in number:
Support of databases with ontological dependencies on the basis of description logics
Keywords: ontologies ontological data dependencies conceptual modeling description logics relational data models Datalog information systems
Authors:
L.A. Kalinichenko
Abstract:
The paper provides brief analysis of the state of the art in the area of "ontology based" data access systems and of the possible influence of such works on the development of research in the database and information systems fields. The issues of correlation between ontological and conceptual modeling and between the respective languages are discussed. An analysis of development of the languages based on description logics and oriented on their use as a facility for conceptual modeling in the database context is given in brief. Short overview of experimental results of development of "ontology based" data access systems is also provided. Elaboration of description logics intended for application in the context of databases and information systems as well as creation of "ontology based" data access systems show that development of the DL-Lite description logics family providing an efficiency acceptable for the work with databases is an important result. Description logic languages and the respective conceptual models can be mapped into the existing data models of the database integration systems preserving their semantics. Research and development performed in the area of description logics are important for inclusion of the relational databases into the Semantic Web context. An alternative approach for efficient support of queries over database schemas with ontological dependencies being developed by Georg Gottlob and his colleagues in accordance with the database technology trends looks very promising. They have defined the Datalog± language family being more expressible than the logics of the DL-Lite family. Overview of the Datalog± languages is planned to be provided in another paper.
Pages: 3-12
References
  1. Diego Calvanese1, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati. Ontology-based database access. // Proc. of the 15th Italian Conf. on Database Systems (SEBD 2007), 2007.
  2. Diego Calvanese. Ontology-based Data Management Masters Ontology Spring School. September. 2009. //http://ksg-projects.meraka.csir.co.za/krr-projects/events/moss09-1/MOSS-09-OBDM-calvanese-draft.pdf.
  3. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro1, and Riccardo Rosati. Reasoning Ontologies and Databases: The DL-Lite Approach Web 2009 // LNCS 5689, Springer-Verlag. 2009. P. 255 - 356.
  4. Donini F., Lenzerini M., Nardi D., and Schaerf A. Al-log: Integrating datalog and description logics // Journal of Intelligent Information Systems (JIIS). 1998. V. 27(1).
  5. Andrea Calì, Georg Gottlob, Thomas Lukasiewicz. Datalog ± : A Unified Approach to Ontologies and Integrity Constraints // ICDT 2009. March. 2009. Saint Petersburg. Russia.
  6. Andrea Calì, Georg Gottlob, Thomas Lukasiewicz. A General Datalog-Based Framework for Tractable Query Answering over Ontologies // PODS-09. June. 2009.
  7. Andrea Cal`I, Georg Gottlob, Andreas Pieris. Advanced Processing for Ontological Queries // Proceedings of the 36th International Conference on Very Large Data Bases. September. 2010. Singapore.
  8. Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris. Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications // Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science. 2010. P. 228 - 242.
  9. Andrea Cal`ı, Georg Gottlob, and Andreas Pieris. Query Answering under Expressive Entity-Relationship Schemata // ER 2010. LNCS 6412. 2010. P. 347 - 361.
  10. Andrea Cal`ı, Georg Gottlob  and Andreas Pieris. New Expressive Languages for Ontological Query Answering // Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. 2011.
  11. Gottlob G. Ontological Queries Rewriting and Optimization // Proceedings of the ICDE. 2011.
  12. Georg Gottlob, Giorgio Orsi, and Andreas Pieris. Ontological Query Answering via Rewriting // ADBIS 2011. LNCS 6909. 2011. P. 1 - 18.
  13. Калиниченко Л.А. Экспансия онтологий: онтологии в информационных системах // Труды Второго Симпозиума «Онтологическое моделирование», Казань, 2010. М.: ИПИ РАН. 2011. С.29-44.
  14. Thomas R. Gruber. Toward Principles for the Design of Ontologies Used for Knowledge Sharing // International Journal Human-Computer Studies. 1995. V. 43. P. 907 - 928.
  15. Nicola Guarino. Formal Ontology in Information Systems // Proceedings of FOIS-98. Trento. Italy. June 1998. Amsterdam. IOS Press. P. 3 - 15.
  16. Gruber T. Ontology // Encyclopedia of Database Systems. Ling Liu and M. Tamer Özsu (Eds.). Springer-Verlag. 2008.
  17. Diego Clavanese. Knowledge Bases and Databases. Part 2: Ontology-Based Access to Information // Presentation. 2009. http://www.inf.unibz.it/~calvanese/teaching/08-09-kbdb/lecture-notes/p2-obda-2up.pdf.
  18. Diego Calvanese. Ontology-based Data Management // Masters Ontology Spring School. September. 2009. http://ksg-projects.meraka.csir.co.za/krr-projects/events/moss09-1/MOSS-09-OBDM-calvanese-draft.pdf.
  19. Kogalovsky M.R., Kalinichenko L.A. Conceptual and Ontological Modeling in Information Systems. // Programming and Computer Software. Moscow: MAIK Nauka/Interperiodica. Pleiades Publishing Inc. 2009.  V. 35. № 5. P. 241 - 256.
  20. Borgida, Brachman R. J., McGuinness D. L., Resnick L.A. CLASSIC: A Structural Data Model for Objects // ACM SIGMOD Record. June 1989. V. 18. Issue 2.
  21. Robert M. MacGregor. Using a description classifier to enhance deductive inference // Proceedings of the Seventh IEEE Conference on AI Applications. 1991. P. 141 - 147.
  22. Rector A.L., Bechofer S., Goble C.A., Horrocks I., Nowlan W.A., and Solomon W.D. The grail concept modelling language for medical terminology // Artificial Intelligence in Medicine. 1997. V. 9. P. 139 - 171.
  23. Yigal Arens, Chun-Nan Hsu, and Craig A. Knoblock. Query processing in the sims information mediator. In Advanced Planning Technology // AAAI Press. California. USA. 1996.
  24. Fensel D., Horrocks I., Van Harmelen F., Decker S., Erdmann M., and Klein M. Oil in a nutshell // 12th International Conference on Knowledge Engineering and Knowledge Management EKAW2000. France. 2000.
  25. Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Description logics for information integration // Computational Logic: From Logic Programming into the Future. LNCS. Springer-Verlag. 2001.
  26. Francois Goasdou´e, V´eronique Lattes, and Marie-Christine Rousset. The use of carin language and algorithms for information integration: The picsel project. // International Journal of Cooperative Information Systems (IJCIS). 1999. V. 9(4). P. 383 - 401.
  27. Tom Gruber. A translation approach to portable ontology specifications // Knowledge Acquisition. 1993. V. 5(2). P.199 - 220.
  28. Калиниченко Л.А. СИНТЕЗ - язык определения, проектирования и программирования сред неоднородных интероперабельных информационных ресурсов. М.: ИПИ РАН. 1993.
  29. Kifer M., Lausen G., and Wu J. Logical foundations of object-oriented and frame-based systems // Journal of the ACM. 1995. V. 42. Issue 4.
  30. Vinay K. Chaudhri, Adam Farquhar, Richard Fikes, Peter D. Karp, and James P. Rice. Open knowledge base connectivity (okbc) specification document 2.0.3 // Technical report, SRI International and Stanford University (KSL). April 1998.
  31. Michael Kifer, Jos de Bruijn, Harold Boley, and Dieter Fensel. A realistic architecture for the semantic web // Proceedings of the 1st International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML2005). LNCS. 3791. Galway. Ireland. November 2005. Springer. P. 17-29.
  32. Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker. Description Logic Programs: Combining Logic Programs with Description Logic // WWW2003. May 20-24. 2003. Budapest. Hungary.
  33. OWL 2 Web Ontology Language: Profiles // W3C, 2009.
  34. Diego Calvanese Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family // Journal of Automated Reasoning. 2007. V. 39
  35. Acciarri, D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, M. Palmieri, and R. Rosati. QUONTO: QUerying ONTOlogies // Proc. of AAAI. 2005. P. 1670 - 1671.
  36. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati. MASTRO-I: Efficient integration of relational data through DL ontologies // Proceedings of the 2007 International Workshop on Description Logic (DL 2007). CEUR Electronic Workshop Proceedings. 2007.
  37. Kalinichenko L., Stupnikov S. OWL as Yet Another Data Model to be Integrated. Proceedings of the 15th International Conference //ADBIS 2011. Vienna. Austria. September 2011.
  38. Ступников С. А., Скворцов Н. А. Взаимное отображение канонической информационной модели и языка OWL 2 // Труды 12-й Всероссийской научной конференции «Электронные библиотеки: перспективные методы и технологии, электронные коллекции». RCDL'2010. Казань: Казанский государственный университет. 2010. С. 392 - 398.