## Distributed First Order Logics (1998)

Citations: | 60 - 21 self |

### BibTeX

@MISC{Ghidini98distributedfirst,

author = {C. Ghidini and L. Serafini},

title = {Distributed First Order Logics},

year = {1998}

}

### Years of Citing Articles

### OpenURL

### Abstract

ist and Wiksell, Stockholm, 1965. [ Serafini and Ghidini, 1997 ] L. Serafini and C. Ghidini. Context Based Semantics for Federated Databases. In Proceedings of the 1st International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-97), pages 33--45, Rio de Jeneiro, Brazil, 1997. Also IRSTTechnical Report 9609-02, IRST, Trento, Italy. [ Subrahmanian, 1994 ] V.S. Subrahmanian. Amalgamating Knowledge Bases. ACM Trans. Database Syst., 19(2):291--331, 1994. [ Wiederhold, 1992 ] G. Wiederhold. Mediators in the architecture of future information systems. IEEE Computer, 25(3):38--49, 1992. and complete calculus for DFOL based on ML systems. Finally we have compared our formalism with other formalisms for the representation and integration of distributed knowledge and reasoning systems. Acknowledgments. We thank all the people of the Mechanized Reasoning Group of IRST and DISA for useful discussions and feedb

### Citations

1538 |
Reasoning about Knowledge
- FAGIN, HALPERN, et al.
- 1995
(Show Context)
Citation Context ...t of the global knowledge. Some formalisms have been proposed for the representation and integration of distributed knowledge and reasoning systems. The most important are based on Multi Modal Logics =-=[9]-=-, 1 Labelled Deductive Systems (LDS) and LDS for Modal Logics [6, 1], Annotated Logics [17] and Cooperative Information Systems [4]. The underlying idea of these formalisms is that the truth values of... |

993 | Mediators in the architecture of future information systems
- Wiederhold
- 1992
(Show Context)
Citation Context ...s contained in dom j . Conversely S from i to j captures the fact that, from j point of view set of objects in dom j is contained in the set of objects of dom i . Consider the example of a mediator m =-=[18]-=-, i.e., a database which integrates the information of a set of n databases 1; : : : ; n. The mediator collects all the informations about the individuals of each databases. Therefore the domain dom i... |

227 |
Natural Deduction, A Proof Theoretic Study, Almquist and Wiksell
- Prawitz
- 1965
(Show Context)
Citation Context ...and to compute logical consequence in different languages. The calculus for DFOL is based on Multilanguage systems (ML systems) [13], which are a generalization of Prawitz classical Natural Deduction =-=[15]-=-. An ML system is a triple hfL i g; f\Omega i g; \Deltai where fL i g is a family of languages, f\Omega i g is a family of sets of axioms, and \Delta is the deductive machinery. \Delta contains two ki... |

221 | Reasoning in description logic
- Donini, Lenzerini, et al.
- 1996
(Show Context)
Citation Context ...base. In this case explicit relational symbols between objects of different knowledge bases should be introduced. A Cooperative Information System (CIS) is a formal system based on description logics =-=[8]-=-. A CIS copes with the semantics for heterogeneous information integration. A CIS is quite similar to a theory in DFOL. A CIS is composed by a set of description languages, a T-BOX for each language, ... |

195 | Local Models Semantics, or Contextual Reasoning
- Ghidini, Giunchiglia
- 2001
(Show Context)
Citation Context ...e ffl jhfl; ji 2 \Gammag. From now on we say that OE is a i-formula to specify that OE is a formula of the language L i . The semantics for fL i g is an extension of Local Models Semantics defined in =-=[12]-=-. The structure on which the languages fL i g are interpreted is constituted of two components: (i) the local interpretation for each L i , and (ii) for each pair of languages L i and L j a binary rel... |

183 | Multilanguage hierarchical logics (or: how we can do without modal logics
- Giunchiglia, Serafini
- 1994
(Show Context)
Citation Context ... which formalizes the relations between objects as well as relations between formulae of different subsystems of a knowledge representation system, and (ii) to provide a calculus (based on ML systems =-=[13]-=-) to reason about DFOL. DFOL syntax is composed of a family of first order languages, each of which represents a piece of the global knowledge. DFOL semantics is composed of a family of set of first o... |

150 | On the relative expressiveness of description logics and predicate logics
- Borgida
- 1996
(Show Context)
Citation Context ...tion systems interschema assertions allow to state inclusions between concepts of different database schemata. Inclusion between concepts can be considered, under the translation in first order logic =-=[3]-=-, as an implication between first order formulae. In many cases stating relations between the truth of formulae is not enough. Consider an example from the Electronic Commerce scenario: a buyer agent ... |

141 | Representing and using interschema knowledge in cooperative information systems
- Catarci, Lenzerini
- 1993
(Show Context)
Citation Context ...easoning systems. The most important are based on Multi Modal Logics [9], 1 Labelled Deductive Systems (LDS) and LDS for Modal Logics [6, 1], Annotated Logics [17] and Cooperative Information Systems =-=[4]-=-. The underlying idea of these formalisms is that the truth values of certain formulae in different knowledge subsystems are related one another. In modal logics axioms relating different modal operat... |

92 |
Amalgamating knowledge bases
- Subrahmanian
- 1994
(Show Context)
Citation Context ...ntegration of distributed knowledge and reasoning systems. The most important are based on Multi Modal Logics [9], 1 Labelled Deductive Systems (LDS) and LDS for Modal Logics [6, 1], Annotated Logics =-=[17]-=- and Cooperative Information Systems [4]. The underlying idea of these formalisms is that the truth values of certain formulae in different knowledge subsystems are related one another. In modal logic... |

41 |
Partitioned Representations
- Dinsmore
- 1991
(Show Context)
Citation Context ...lation among languages allows us great flexibility in specifying the different kinds of relations between domains associated to different languages. To clar1 Similar notations have been introduced by =-=[10, 17, 7, 14] 5 ify thi-=-ngs let us consider the following example. Suppose that two observers, Chiara and Luciano, represent a "piece of world" at two different approximation levels, namely suppose that Chiara desc... |

31 |
Labeled Deductive Systems Volume 1 -- Foundations
- Gabbay
- 1994
(Show Context)
Citation Context ...lation among languages allows us great flexibility in specifying the different kinds of relations between domains associated to different languages. To clar1 Similar notations have been introduced by =-=[10, 17, 7, 14] 5 ify thi-=-ngs let us consider the following example. Suppose that two observers, Chiara and Luciano, represent a "piece of world" at two different approximation levels, namely suppose that Chiara desc... |

29 |
Are Tableaux an Improvement on Truth-Tables
- Dâ€™Agostino
- 1992
(Show Context)
Citation Context ... the representation and integration of distributed knowledge and reasoning systems. The most important are based on Multi Modal Logics [9], 1 Labelled Deductive Systems (LDS) and LDS for Modal Logics =-=[6, 1]-=-, Annotated Logics [17] and Cooperative Information Systems [4]. The underlying idea of these formalisms is that the truth values of certain formulae in different knowledge subsystems are related one ... |

15 | Labelled modal logics: Quantifiers
- Basin, ViganĂ˛
- 1998
(Show Context)
Citation Context ... the representation and integration of distributed knowledge and reasoning systems. The most important are based on Multi Modal Logics [9], 1 Labelled Deductive Systems (LDS) and LDS for Modal Logics =-=[6, 1]-=-, Annotated Logics [17] and Cooperative Information Systems [4]. The underlying idea of these formalisms is that the truth values of certain formulae in different knowledge subsystems are related one ... |

14 | 2-sequent calculus: A proof theory of modalities - Masini - 1992 |

10 |
A semantics for contextual reasoning: theory and two relevant applications
- Ghidini
- 1998
(Show Context)
Citation Context ...onal and Structural Properties In this section we investigate the representational and structural properties of DFOL presented in the introduction of the paper. Proofs of the theorems are reported in =-=[11]-=-. The capability of DFOL to cope with different languages, interpretation domains, and semantics is a consequence of how we define DFOL syntax and semantics. The relation between objects of different ... |

8 | A Context Based Semantics for Federated Databases
- Serafini, Ghidini
- 2000
(Show Context)
Citation Context ...escribed in [13] I is a set of names for agents, and each L i is the language adopted by agent i to express its beliefs about the world. Another example is in the formalization of federated databases =-=[16]-=- where I is a set of databases of a federated database and each L i is the language which describes the logical schema of the i-th database in the federation. Languages L i and L j are not necessarily... |