Abstract
This work is part of the SILK project which aims at supporting semantic integration using logic programming [2]. The main idea of our approach is to collect and manage meta-information on the sources to be integrated. These pieces of information are stored in the model warehouse of the SILK system in the form of models, constraints and mappings. By using logic, all these are represented in a uniform way.
This work is part of the SINTAGMA project which is supported by the Hungarian NKFP programme under grant no. 2/052/2004.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The instance store: DL reasoning with large numbers of individuals. In: Proc. of the 2004 Description Logic Workshop, pp. 31–40 (2004)
Benkő, T., Krauth, P., Szeredi, P.: A logic-based system for application integration. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, pp. 452–466. Springer, Heidelberg (2002)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lukácsy, G., Nagy, Z. (2005). Open World Reasoning in Datalog. In: Gabbrielli, M., Gupta, G. (eds) Logic Programming. ICLP 2005. Lecture Notes in Computer Science, vol 3668. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562931_40
Download citation
DOI: https://doi.org/10.1007/11562931_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29208-1
Online ISBN: 978-3-540-31947-4
eBook Packages: Computer ScienceComputer Science (R0)