×

Linking data to ontologies. (English) Zbl 1132.68061

Spaccapietra, Stefano (ed.), Journal on Data Semantics X. Berlin: Springer (ISBN 978-3-540-77687-1/pbk). Lecture Notes in Computer Science 4900. Journal Subline, 133-173 (2008).
Summary: Many organizations nowadays face the problem of accessing existing data sources by means of flexible mechanisms that are both powerful and efficient. Ontologies are widely considered as a suitable formal tool for sophisticated data access. The ontology expresses the domain of interest of the information system at a high level of abstraction, and the relationship between data at the sources and instances of concepts and roles in the ontology is expressed by means of mappings. In this paper we present a solution to the problem of designing effective systems for ontology-based data access. Our solution is based on three main ingredients. First, we present a new ontology language, based on Description Logics, that is particularly suited to reason with large amounts of instances. The second ingredient is a novel mapping language that is able to deal with the so-called impedance mismatch problem, i.e., the problem arising from the difference between the basic elements managed by the sources, namely data, and the elements managed by the ontology, namely objects. The third ingredient is the query answering method, that combines reasoning at the level of the ontology with specific mechanisms for both taking into account the mappings and efficiently accessing the data at the sources.
For the entire collection see [Zbl 1130.68014].

MSC:

68T30 Knowledge representation
68T27 Logic in artificial intelligence
68P20 Information storage and retrieval of data

Software:

MAFRA
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Abiteboul, S.; Hull, R.; Vianu, V., Foundations of Databases (1995), Reading: Addison Wesley Publ. Co, Reading · Zbl 0848.68031
[2] Acciarri, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QuOnto: Querying ontologies. In: AAAI 2005. Proc. of the 20th Nat. Conf. on Artificial Intelligence, pp. 1670-1671 (2005)
[3] Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: IJCAI 2005. Proc. of the 19th Int. Joint Conf. on Artificial Intelligence, pp. 364-369 (2005)
[4] Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; Patel-Schneider, P. F., The Description Logic Handbook: Theory, Implementation and Applications (2003), Cambridge: Cambridge University Press, Cambridge · Zbl 1058.68107
[5] Barrasa, J., Corcho, O., Gomez-Perez, A.: R2O, an extensible and semantically based database-to-ontology mapping language. In: WebDB 2004. Proc. of the 7th Int. Workshop on the Web and Databases (2004)
[6] Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: AAAI 2005. Proc. of the 20th Nat. Conf. on Artificial Intelligence, pp. 602-607 (2005) · Zbl 1132.68725
[7] Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: KR 2006. Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning, pp. 260-270 (2006) · Zbl 1270.68294
[8] Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning (to appear, 2007) · Zbl 1132.68725
[9] Calvanese, D.; De Giacomo, G.; Lenzerini, M.; Nardi, D.; Rosati, R., Data integration in data warehousing, Int. J. of Cooperative Information Systems, 10, 3, 237-271 (2001)
[10] Donini, F. M.; Lenzerini, M.; Nardi, D.; Schaerf, A., Deduction in concept languages: From subsumption to instance checking, J. of Logic and Computation, 4, 4, 423-452 (1994) · Zbl 0809.68109
[11] Goasdoue, F.; Lattes, V.; Rousset, M.-C., The use of CARIN language and algorithms for information integration: The Picsel system, Int. J. of Cooperative Information Systems, 9, 4, 383-401 (2000)
[12] Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: WWW 2003. Proc. of the 12th Int. World Wide Web Conf, pp. 48-57 (2003)
[13] Heflin, J.; Hendler, J., A portrait of the Semantic Web in action, IEEE Intelligent Systems, 16, 2, 54-59 (2001)
[14] Horrocks, I.; Patel-Schneider, P. F.; van Harmelen, F., From \(\mathcal{SHIQ}\) and RDF to OWL: The making of a web ontology language, J. of Web Semantics, 1, 1, 7-26 (2003)
[15] Hull, R.; Paredaens, J., A survey of theoretical research on typed complex database objects, Databases, 193-256 (1988), London: Academic Press, London
[16] Hull, R., Yoshikawa, M.: ILOG: Declarative creation and manipulation of object identifiers. In: VLDB 1990. Proc. of the 16th Int. Conf. on Very Large Data Bases, pp. 455-468 (1990)
[17] Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: IJCAI 2005. Proc. of the 19th Int. Joint Conf. on Artificial Intelligence, pp. 466-471 (2005)
[18] Komorowski, H.J.: A specification of an abstract Prolog machine and its application to partial evaluation. Technical Report LSST 69, Linköping University (1981)
[19] Lenzerini, M.: Data integration: A theoretical perspective. In: PODS 2002. Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pp. 233-246 (2002)
[20] Lloyd, J. W., Foundations of Logic Programming (1987), Heidelberg: Springer, Heidelberg · Zbl 0668.68004
[21] Lloyd, J. W.; Shepherdson, J. C., Partial evaluation in logic programming, J. of Logic Programming, 11, 217-242 (1991) · Zbl 0741.68030
[22] Lutz, C.: Description logics with concrete domains: A survey. In: Balbiani, P., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M. (eds.) Advances in Modal Logics, vol. 4, King’s College Publications (2003) · Zbl 1082.03032
[23] Mädche, A.; Motik, B.; Silva, N.; Volz, R.; Gómez-Pérez, A.; Benjamins, V. R., MAFRA - a mapping framework for distributed ontologies, EKAW 2002, 235-250 (2002), Heidelberg: Springer, Heidelberg · Zbl 1019.68726
[24] Meseguer, J., Qian, X.: A logical semantics for object-oriented databases. In: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pp. 89-98 (1993)
[25] Minker, J., A logic-based approach to data integration, Theory and Practice of Logic Programming, 2, 3, 293-321 (2002) · Zbl 1087.68527
[26] Ortiz, M.M., Calvanese, D., Eiter, T.: Characterizing data complexity for conjunctive query answering in expressive description logics. In: AAAI 2006. Proc. of the 21st Nat. Conf. on Artificial Intelligence (2006) · Zbl 1154.68102
[27] Poggi, A.: Structured and Semi-Structured Data Integration. PhD thesis, Dipartimento di Informatica e Sistemistica, Università di Roma La Sapienza (2006)
[28] Reiter, R.; Gallaire, H.; Minker, J., On closed world data bases, Logic and Databases, 119-140 (1978), New York: Plenum Publ. Co, New York
[29] Scharffe, F., de Bruijn, J.: A language to specify mappings between ontologies. In: SITIS 2005. Proc. of the 1st Int. Conf. on Signal-Image Technology and Internet-Based Systems, pp. 267-271 (2005)
[30] Serafini, L.; Tamilin, A.; Gómez-Pérez, A.; Euzenat, J., DRAGO: Distributed reasoning architecture for the Semantic Web, ESWC 2005, 361-376 (2005), Heidelberg: Springer, Heidelberg
[31] Vardi, M.Y.: The complexity of relational query languages. In: STOC 1982. Proc. of the 14th ACM SIGACT Symp. on Theory of Computing, pp. 137-146 (1982)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.