Home

KWeb showcases

Deliverables

Events

Partners

People

Workpackages

Network Organization

Publications

Exchanges

FAQ

 

Distributed First Order Logic

Start date: 30/08/2004
End date: 10/09/2004
Topic: Distributed First Order Logic and its Application to Ontology Mapping and Information Integration
Abstract: The goal of the research visit was to discuss the theoretical foundation for ontology mapping and information integration. Distributed First Order Logic, which can be seen as a synergy of Context Logic and the logic foundation for C-OWL, was discussed as logical foundation for approaches which establish meaningful connections between different ontologies or different data schemas of several information sources. A further ┐side effect┐ will be to learn the current research activities at the University of Trento and to identify possible links for further joint research
Final report: WacheTrentoTrexReport.pdf
has host: University of Trento
has participant: Holger Wache