WP2 Print
Work package 1

WP2 – Definition of common logical framework for representing ontologies

 Workpackage number
2  Start date or starting event
 12/2005 End date 07/2006 
 Activity type
 RTD/Innovation activities
 Participant id
 Person months
5 5
Description of work
TASK 1: Appraisal of different formalisms developed for representing ontologies
Ontologies are investigated in a variety of fields such as philosophy, artificial intelligence (knowledge
representation), computer science, and logic. Recent proposals for frameworks for representing ontologies
will be analyzed and compared. In this task, we will identify the relevant aspects a state-of-the-art
formalism for representing ontologies and tasks related to them should address, and investigate which of
these aspects are addressed by which of the recently developed formalisms.
TASK 2: Appraisal of different reasoning methods developed in computational logic, automated reasoning,
and knowledge representation
In these fields, a great variety of reasoning problems for different logics (we use the term logic in a broad
sense) have been investigated w.r.t. their complexity, also leading to the design and implementation of
various reasoning techniques. We will look both at standard and non-standard problems, intensional and
extensional reasoning, and exact versus approximated solutions. Recently, the use of sophisticated optimization
techniques has tremendously changed the notion of which reasoning techniques are “tractable”
in practice (as opposed to intractable or non-polynomial in the worst case). We will collect, in a systematic
way, the latest results in this area, to determine which of them are relevant for our framework.
TASK 3: Development of a common framework for representing ontologies
Having reviewed the state-of-the-art in the relevant areas, we will then design a framework for representing
and reasoning about ontologies. We will aim at a very general framework that encompasses most
other such formalisms. Moreover, the framework will allow for the formal specification of the operations
carried out during the design, use, maintenance, integration, merging, and interoperation of ontologies.
Since the framework will be based on logic, these operations will be based on reasoning services, and
thus be able to utilize known reasoning techniques as well as new ones (to be developed in WP3, WP4,
WP5, and WP6).
D6 (05/2006) – Formalisms for representing ontologies: state of the art survey (Report)
The report will provide a structured overview of formalism for the representation of ontologies developed
in logic and artificial intelligence. It will also survey the state of the art in methods and techniques for
automated reasoning studied in computational logic.
D8 (07/2006) – Common framework for representing ontologies (Report)
The report will specify, in a comprehensive and well-defined way, the common logical framework for
representing ontologies.
Milestones and expected results
M2 (07/2006) – Agreement on common ontology framework
The common framework is, together with the ontology tasks handbook, the basis for the work in this
project since it enables a common view on ontologies and a common language to talk about ontologies
and their tasks. As for the tasks handbook, this agreement is an important milestone of the project.

2005-2007 TONES - Thinking Ontologies