Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Effective support of databases with ontological dependencies: Relational languages instead of description logics

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

The paper provides a brief survey of the languages for efficient support of access to the databases satisfying the ontological dependencies. The first part of the paper retraces the development of description logics intended for application in the database and information systems context, as well as experimental results of building of the “ontologically based” data access systems. The main part of the paper is devoted to the survey of the development of relational database languages providing broader and more efficient support of queries over databases with the ontological dependencies compared to the description logics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., and Rosati, R., Ontology-based database access, Proc. of the 15th Italian Conf. on Database Systems (SEBD 2007), 2007.

  2. Calvanese, D., 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. Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro1, M., and Rosati, R., Reasoning Ontologies and Databases: The DL-Lite Approach Web 2009, LNCS, vol. 5689, Springer, 2009, pp. 255–356.

  4. Donini, F., Lenzerini, M., Nardi, D., and Schaerf, A., Al-log: Integrating Datalog and Description Logics, J. Intelligent Information Systems (JIIS), 1998, vol. 27, no. 1.

  5. Calì, A., Gottlob, G., and Lukasiewicz, T., Datalog±: A Unified Approach to Ontologies and Integrity Constraints, ICDT 2009, St. Petersburg, 2009.

  6. Calì, A., Gottlob, G., and Lukasiewicz, T., A General Datalog-Based Framework for Tractable Query Answering over Ontologies, PODS’09, June 2009.

  7. Calì, A., Gottlob, G., and Pieris, A., Advanced Processing for Ontological Queries, Proc. of the 36th Int. Conf. on Very Large Data Bases, Singapore, 2010.

  8. Calì, A., Gottlob, G., Lukasiewicz, T., Marnette, B., and Pieris, A., Datalog±: A Family of Logical Knowledge Representation and Query Languages for New Applications, Proc. of the 25th Ann. IEEE Symp. on Logic in Computer Sci., 2010, pp. 228–242.

  9. Calì, A., Gottlob, G., and Pieris, A., Query Answering under Expressive Entity-Relationship Schemata, ER 2010, LNCS, 2010, vol. 6412, pp. 347–361.

  10. Calì, A., Gottlob, G., and Pieris, A., New Expressive Languages for Ontological Query Answering, Proc. of the Twenty-Fifth AAAI Conf. on Artificial Intelligence, 2011.

  11. Gottlob, G., Ontological Queries Rewriting and Optimization, Proc. of the ICDE, 2011.

  12. Gottlob, G., Orsi, G., and Pieris, A., Ontological Query Answering via Rewriting, ADBIS 2011, LNCS, 2011, vol. 6909, pp. 1–18.

    Google Scholar 

  13. Kalinichenko, L.A., Onology Expansion: Ontologies in Information Systems, Trudy Vtorogo Simpoziuma “Ontologicheskoe modelirovanie” (Proc. of the Second Symp. “Ontological Modeling”), Kazan, 2010, Moscow: IPI RAN, 2011, pp. 29–44.

  14. Gruber, T.R., Toward Principles for the Design of Ontologies Used for Knowledge Sharing, Int. J. Human-Comput. Studies, 1995, vol. 43, pp. 907–928.

    Article  Google Scholar 

  15. Guarino, N., Formal Ontology in Information Systems, Proc. of FOIS’98, Trento, Italy, 1998, Amsterdam: IOS, pp. 3–15.

    Google Scholar 

  16. Gruber, T., Ontology, in Encyclopedia of Database Systems, Ling Liu and Ozsu, M.T., Eds., Springer, 2008.

  17. Clavanese, D., Knowledge Bases and Databases. Part 2: Ontology-Based Access to Information, Presentation, http://www.inf.unibz.it/~calvanese/teaching/08-09-kbdb/lecture-notes/p2-obda-2up.pdf, 2009.

  18. Clavanese, D., 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. and Kalinichenko, L.A., Conceptual and Ontological Modeling in Information Systems, Programming Computer Software, 2009, vol. 35, no. 5, pp. 241–256.

    Article  MATH  Google Scholar 

  20. Borgida, Brachman, R.J., McGuinness, D.L., and Resnick, L.A., CLASSIC: A Structural Data Model for Objects, ACM SIGMOD Record, 1989, vol. 18, no. 2.

  21. MacGregor, R.M., Using a Description Classifier to Enhance Deductive Inference, Proc. of the Seventh IEEE Conf. on AI Applications, 1991, pp. 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 Medicine, 1997, vol. 9, pp. 139–171.

    Article  Google Scholar 

  23. Arens, Y., Chun-Nan Hsu, and Knoblock, C.A., Query Processing in the Sims Information Mediator, in Advanced Planning Technology, AAAI, 1996.

  24. Fensel, D., Horrocks, I., Van Harmelen, F., Decker, S., Erdmann, M., and Klein, M., Oil in a Nutshell, Proc. of the 12th Int. Conf. on Knowledge Engineering and Knowledge Management EKAW2000, France, 2000.

  25. Clavanese, D., Giacomo, G., and Lenzerini, M., Description Logics for Information Integration, in Computational Logic: From Logic Programming into the Future, LNCS, Springer, 2001.

  26. Goasdouè, F., Lattes, V., and Rousset, M.-C., The Use of Carin language and Algorithms for Information Integration: The Picsel Project, Int. J. Cooperative Information Systems (IJCIS), 1999, vol. 9, no. 4, pp. 383–401.

    Article  Google Scholar 

  27. Gruber, T., A Translation Approach to Portable Ontology Specifications, Knowledge Acquisition, 1993, vol. 5, no. 2, pp. 199–220.

    Article  Google Scholar 

  28. Kalinichenko, L.A., SYNTHESIS: The Language for Defining, Designing, and Programming of Heterogeneous Interoperable Information Resource Environments, Moscow: IPI RAN, 1993.

    Google Scholar 

  29. Kifer, M, Lausen, G., and Wu, J., Logical Foundations of Object-Oriented and Frame-based Systems, J. ACM, 1995, vol. 42, no. 4.

  30. Chaudhri, V.K., Farquhar, A., Fikes, R., Karp, P.D., and Rice, J.P., Open Knowledge Base Connectivity (OKBC) Specification Document 2.0.3, Technical Report, SRI International and Stanford University (KSL), April 1998.

  31. Kifer, M., de Bruijn, J., Boley, H., and Fensel, D., A Realistic Architecture for the Semantic Web, Proc. of the 1st Int. Conf. on Rules and Rule Markup Languages for the Semantic Web (RuleML2005) (Galway, Ireland, November 2005), LNCS, vol. 3791, Springer, pp. 17–29.

  32. Grosof, B.N., Horrocks, I., Volz, R., and Decker, S., Description Logic Programs: Combining Logic Programs with Description Logic, www2003, Budapest, May 20–24, 2003.

  33. OWL 2 Web Ontology Language: Profiles, W3C, 2009.

  34. Clavanese, D., Giacomo, G., Lembo, D., Lenzerini, M., and Rosati, R., Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family, J. Automated Reasoning, 2007, vol. 39.

  35. Acciarri, Clavanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., and Rosati, R., QUONTO: QUerying ONTOlogies, Proc. of AAAI 2005, pp. 1670–1671.

  36. Clavanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., and Rosati, R., MASTRO-I: Efficient Integration of Relational Data through DL Ontologies, Proc. of the 2007 Int. Workshop on Description Logic (DL 2007), CEUR Electronic Workshop Proceedings, 2007.

  37. Maier, D., Mendelzon, A.O., and Sagiv, Y., Testing Implications of Data Dependencies, ACM Trans. Database Systems, 1979, vol. 4, no. 4, pp. 455–469.

    Article  Google Scholar 

  38. Johnson, D.S. and Klug, A.C., Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies, J. Comput. Syst. Sci., 1984, vol. 28, no. 1, pp. 167–189.

    Article  MathSciNet  MATH  Google Scholar 

  39. Abiteboul, S., Hull, R., and Vianu, V., Foundations of Databases, Addison-Wesley, 1995.

  40. Beeri, C. and Vardi, M.Y., The Implication Problem for Data Dependencies, Proc. of ICALP, 1981, pp. 73–85.

  41. Kanellakis, P.C., Elements of Relational Database Theory, Handbook of Theoretical Computer Science, Van Leeuwen, J., Ed., Amsterdam: Elsevier, 1991, pp. 1074–1156.

    Google Scholar 

  42. Mailharrow, D., A Classification and Constraint-based Framework for Configuration, Artificial Intelligence Engineering Design, Analysis Manufacturing, 1998, vol. 12, no. 4, pp. 383–397.

    Google Scholar 

  43. Cabibbo, L., The Expressive Power of Stratified Logic Programs with Vvalue Invention, Inf. Comput., 1998, vol. 147, no. 1, pp. 22–56.

    Article  MathSciNet  MATH  Google Scholar 

  44. Patel-Schneider, P.F. and Horrocks, I., A Comparison of Two Modelling Paradigms in the Semantic Web, J. Web Sem., 2007, vol. 5, no. 4, pp. 240–250.

    Article  Google Scholar 

  45. Fagin, R., Kolaitis, P.G., Miller, R.J., and Popa, L., Data Exchange: Semantics and Query Answering, Theor. Comput. Sci., 2005, vol. 336, pp. 89–124.

    Article  MathSciNet  MATH  Google Scholar 

  46. Calì, A., Gottlob, G., and Kifer, M., Taming the Infinite Chase: Query Answering under Expressive Relational Constraints, Proc. of KR-2008, 2008, pp. 70–80.

  47. Gottlob, G., Ontological Queries Rewriting and Optimization, Proc. of ICDE-2011, 2011.

  48. Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., and Rosati, R., Data Complexity of Query Answering in Description Logics, Proc. of KR, 2006, pp. 260–270.

  49. Rudolph, S., Krotzsch, M., and Hitzler, P., All Elephants are Bigger than all Mice, Proc. of DL, 2008.

  50. De Virgilio, R, Orsi, G., Tanca, L., and Torlone, R., Semantic Data Markets: A Flexible Environment for Knowledge Management, CIKM’11, October 2011, Glasgow, Scotland, UK.

  51. De Virgilio, R, Orsi, G., Tanca, L., and Torlone, R., Reasoning over Large Semantic Datasets, Technical Report RT-DIA-149, University Roma Tre, 2009.

  52. Ma, L., Yang, Y. Qiu, Z., Xie, G.T., Pan, Y., and Liu, S., Towards a Complete OWL Ontology Benchmark, Proc. of the 3rd Europ. Semantic Web Conf. (ESWC), 2006, pp. 125–139.

  53. Perez-Urbina, H., Motik, B., and Horrocks, I., Tractable Query Answering and Rewriting under Description Logic Constraints, J. Applied Logic, 2009, vol. 8, no. 2, pp. 151–232.

    Google Scholar 

  54. Kalinichenko, L. and Stupnikov, S., OWL as Yet Another Data Model to Be Integrated, Proc. of the 15th Int. Conf. ADBIS 2011, Vienna, Austria, September 2011.

  55. Stupnikov, S.A. and Skvortsov, N.A., Mutual Mapping of a Canonical Information Model and OWL 2 Language, Trudy 12-oi Vserossiiskoi nauchnoi konferentsii “Elektronnye biblioteki: perspektivnye metody i teknologii, elektronnye kollektsii” (Proc. of the 12th All-Russian Conf. “Digital Libraries: Prospective Methods and Technologies, Digital Collections” RCDL’2010), Kazan: KGU, 2010, pp. 392–398.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics Problems, Russian Academy of Sciences, ul. Vavilova 44/2, Moscow, 117333, Russia

    L. A. Kalinichenko

Authors
  1. L. A. Kalinichenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to L. A. Kalinichenko.

Additional information

Original Russian Text © L.A. Kalinichenko, 2012, published in Programmirovanie, 2012, Vol. 38, No. 6.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kalinichenko, L.A. Effective support of databases with ontological dependencies: Relational languages instead of description logics. Program Comput Soft 38, 315–326 (2012). https://doi.org/10.1134/S0361768812060059

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768812060059

Keywords

Search

Navigation