WP6 Print
 WP6 - Ontology interoperation

 Workpackage number
 Start date or starting event
 01/2007 End date 02/2008 
 Activity type
 RTD/Innovation activities
 Participant id
 Person months
12  2
Description of work
TASK 1: Formalization of tasks for ontology interoperation
In this workpackage we concentrate on all those tasks introduced in WP1 that deal with multiple independent
ontologies that are already in operation. Such tasks do not require changes in the single ontologies,
but mapping (see WP5) among the knowledge contained in each of them. On the basis of these mappings
each ontology can take advantage of the knowledge in the others to give value-added services to
its clients. Among such kind of tasks there will be distributed forms of extensional query answering,
intensional query answering, updating of extensional knowledge and to a lesser extent to intensional
knowledge. Ontologies will act as peers in a peer-to-peer system that shares not only means to communicate
to each other at a system level, but also share part of their semantics (and services related to it), so
as to communicate at a knowledge level as well. Task 1 is about assessing and formalizing such tasks.
TASK 2: Development of reasoning techniques for ontology interoperation
We will consider both tasks that are mainly related to sharing extensional knowledge and those related
to sharing intensional knowledge. For both kind of tasks we will study sound, complete and terminating
reasoning techniques, and the computational complexity of the problem. Possibly we will consider
approximation semantically well charaterized techniques to lower computational complexity in critical
tasks. In particular for tasks that deal with large amounts of data (extensional ones, tipically) we will pay
specific attention to the so called data complexity (i.e., the computational complexity w.r.t. the size of the
data) possibly introducing approximations to keep it low. These techniques will build on those developed
in WP4 but will take into account the independence of the single ontologies and their distributed/peerto-
peer nature.
TASK 3: Implementation of the developed reasoning techniques
We will implement as prototype software tools the techniques developed in Task 2. Apart from the
software development effort, this will require studying suitable optimization and heuristic techniques to
keep reasoning feasible even when the original task has a high (worst-case) computational complexity.
D16 (03/2007) – Tasks for ontology interoperation (Report)
The report will describe in detail the tasks for ontology interoperation and their logical and mathematical
D24 (12/2007) – Techniques for ontology interoperation (Report)
The report will describe in detail the techniques developed for the ontology interoperation tasks
D25 (02/2008) – Software tools for ontology interoperation (Prototype)
Prototype software tools that implement the reasoning services supporting the tasks for ontology interoperation
will be delivered. An accompanying report will describe the optimization and heuristic techniques
Milestones and expected results
M5 (02/2008) – Techniques and tools for multiple ontologies offline and online tasks
The expected results of this workpackage are a set of reasoning techniques and tools for realizing interoperation
of multiple ontologies.

2005-2007 TONES - Thinking Ontologies