The purpose of the current deliverable is to summarize the techniques that realize
the reasoning services identified as fundamental for ontology design and maintenance,
and to report on their computational properties. In particular, we concentrate on novel
techniques and results that have been developed within the TONES project.