HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Answering queries using views (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Proceedings of the 17th International Conference on Logic Programming
Massive Parallelism for Query Answering in Weakly Integrated P2P Systems
DEXA '04 Proceedings of the Database and Expert Systems Applications, 15th International Workshop
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Querying with Negation in Data Integration Systems
IDEAS '05 Proceedings of the 9th International Database Engineering & Application Symposium
Inconsistency tolerance in P2P data integration: an epistemic logic approach
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Intensional semantics for p2p data integration
Journal on Data Semantics VI
Intensional semantics for RDF data structures
IDEAS '08 Proceedings of the 2008 international symposium on Database engineering & applications
Conservative intensional extension of Tarski's semantics
Advances in Artificial Intelligence - Special issue on Artificial Intelligence Applications in Biomedicine
| Hi-index | 0.01 |
The meaning of concepts and views defined over a database ontology can be considered as intensional objects which have a particular extension in a given possible world: for instance in the actual world. Thus, non invasive mapping between completely independent peer databases in a P2P systems can be naturally specified by the set of couples of views, which have the same meaning (intension), over two different peers. Such a kind of mapping has very different semantics from standard view-based mappings based on material implication, commonly used for Data Integration Systems. The introduction of an intensional equivalence generates the quotient intensional FOL fundamental for a query answering in P2P systems. In this paper we introduce this formal intensional FOL by fusing Bealer's intensional algebraic FOL with a possible-world semantics of the Montague's FOL modal approach to natural language. We modify the Bealer's intensional algebra in order to deal with relational databases and views, by introducing the join operation of relational algebra. Then we adopt the S5 Kripke frame in order to define an intensional equivalence relation between views for peer databases. Finally, we define an embedding of P2P database system into this quotient intensional FOL, and the computing of its extensionalization mapping in the actual Montague's world.