Home

KWeb showcases

Deliverables

• Industry Deliverables
• Research Deliverables
• Education Deliverables
• Management Deliverables

Events

• Plenary Meetings
• Management Meetings
• Industry Events
• Research Events
• Education Events
• International Conferences
• International Workshops

Partners

People

Workpackages

• Industry Workpackages
• Research Workpackages
• Education Workpackages
• Management Workpackages

Network Organization

• Managers
• PMB / EAB
• WP Leaders

Publications

Exchanges

FAQ

Web Master

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