WP3 Print
 WP3 - Ontology design and maintenance

 Workpackage number
3  Start date or starting event
 02/2006 End date
02/2007 
 Activity type
 RTD/Innovation activities
 Participant id
FUB UOR  MAN.  TUD  TUHH 
 Person months
7
2.5  5
12  2.5 
Description of work
TASK 1: Formalization of tasks for ontology design and maintenance
In this workpackage we concentrate on all those tasks introduced in WP1 that deal with single ontologies
when they are still in the development phase. Based on the results of WP1 and WP2, we will identify
the reasoning services that are needed to support the tasks relevant to the design and maintenance of an
ontology. Such reasoning services will allow the designer to infer implicit knowledge from knowledge
given explicitly, to develop methods for revising the ontology based on the inferred knowledge, and to
devise services that generate new knowledge that may help in structuring the ontology.
TASK 2: Development of techniques for ontology design and maintenance
Our aim is to understand the computational properties of the identified reasoning services when used
within the framework developed in WP2. This includes a detailed analysis of the worst-case computational
complexity, and the development of algorithms that have the potential of being implemented in
an optimized reasoning system whose run-time behavior is acceptable on inputs that arise in ontology
design and maintenance. We will proceed in a bottom-up fashion, i.e., first consider inexpressive variants
of the formalism developed in WP2 and then gradually extend the expressive power towards the full
formalism.
Apart from the development of reasoning techniques, we also envision the establishment of a framework
for the development of ontologies in a modular ways, so as to get similar advantages as modularity in
software engineering, e.g., to enable co-operative design and re-use of (parts of) ontologies.
TASK 3: Implementation of the techniques for ontology design and maintenance
The obtained algorithms for the relevant reasoning services will be implemented in prototype software
tools. These implementations will be used to evaluate the effectiveness of the reasoning techniques in
realizing the ontology design and maintenance tasks. For those tasks with high worst-case computational
complexity, Optimization and heuristic techniques needed to make reasoning feasible in practice will also
be investigated and implemented. Particular attention will be placed in providing a well-defined software
interface to the different reasoning services, to facilitate their reuse within integrated tools (cf. WP7).
Deliverables
D5 (04/2006) – Tasks for ontology design and maintenance (Report)
The report will discuss in detail the reasoning services needed for ontology design and maintenance
tasks. It will also describe how these reasoning services will be used in methods and services supporting
such activities.
D13 (01/2007) – Techniques for ontology design and maintenance (Report)
The report will summarize the techniques that realize the reasoning services identified as fundamental
for ontology design and maintenance, and will report on their computational properties.
D15 (03/2007) – Software tools for ontology design and maintenance (Prototype)
Prototype software tools that implement the reasoning services supporting the tasks for ontology design
and maintenance will be delivered. An accompanying report will also describe the optimization and
heuristic techniques adopted.
Milestones and expected results
The expected results of this workpackage are a set of reasoning techniques and tools for realizing ontology
design and maintenance tasks.

2005-2007 TONES - Thinking Ontologies
1