350 руб
Журнал «Системы высокой доступности» №1 за 2012 г.
Статья в номере:
Поддержка баз данных с онтологическими зависимостями на основе дескриптивных логик
Ключевые слова: онтологии онтологические зависимости данных концептуальное моделирование дескриптивные логики реляционные модели данных язык Datalog информационные системы
Авторы:
Л.А. Калиниченко - д.ф.-м.н., профессор, зав. лабораторией, ИПИ РАН. E-mail: leonidk@synth.ipi.ac.ru
Аннотация:
Дан краткий анализ состояния работ в области «онтологически базированных» систем доступа к данным и их возможного влияния на развитие информационных систем и баз данных**. Обсуждены вопросы соотношения онтологического и концептуального моделирования и соответствующих языковых средств. Дан анализ развития языков на дескриптивных логиках, ориентированных на использование в качестве средств концептуального моделирования в контексте баз данных и информационных систем. Дан краткий обзор известных экспериментальных результатов создания «онтологически базированных» систем доступа к данным.
Страницы: 3-12
Список источников
  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.