Open world reasoning in datalog

Authors:
Gergely Lukácsy;Zsolt Nagy
Affiliations:
Department of Computer Science and Information Theory, Budapest University of Technology and Economics, Hungary;Department of Computer Science and Information Theory, Budapest University of Technology and Economics, Hungary
Venue:
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Year:
2005

Citing 2
Cited 0

A Logic-Based System for Application Integration

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Introduction and Background. 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.