Cel Ontologies are seen as the key technology used to describe the semantics of information at various sites, overcoming the problem of implicit and hidden knowledge and thus enabling exchange of semantic contents. As such, they have found applications in key growth areas, such as e-commerce, bio-informatics, Grid computing, and the Semantic Web. The increased demand for multiple large-scale and complex ontologies poses novel challenges on all tasks related to ontology engineering (i.e. their design, maintenance, merging, and integration) and to the operation with ontologies (i.e. the run-time access to ontologies both by human users and by software agents). In all such tasks, understanding and taking into account the implicit knowledge of an ontology is crucial.Nowadays, it is widely accepted that a logical underpinning of ontologies is desirable since it provides a well-defined semantics and allows to re-phrase system services of ontology tools in terms of logical reasoning problems. This, in turn, enables one to base such system services on automated reasoning procedures. Such a reasoning support already proved to be an essential component of state-of-the-art ontology management tools; the range and power of services provided are, however, far from being sufficient. The aim of the TONES project is to study and develop automated reasoning techniques for engineering of and operation with ontologies, and devise methodologies for the deployment of such techniques in advanced tools and applications. This will be achieved by (i) defining a common semantical framework, based on logic, for ontologies, (ii) identifying the key reasoning services needed to support ontology tasks, (iii) developing suitable algorithmic techniques for the provision of such services, (iv) investigating and studying the efficient implementation of the techniques, and (v) developing methodologies on how to exploit the reasoning services in tools for ontologies. Dziedzina nauki natural sciencescomputer and information sciencesknowledge engineeringontologynatural sciencescomputer and information sciencessoftwaresocial scienceseconomics and businessbusiness and managementcommercee-commercenatural sciencescomputer and information sciencesinternetsemantic web Program(-y) FP6-IST - Information Society Technologies: thematic priority under the specific programme "Integrating and strengthening the European research area" (2002-2006). Temat(-y) IST-2002-2.3.4.1 - FET - Open Zaproszenie do składania wniosków Data not available System finansowania STREP - Specific Targeted Research Project Koordynator Libera Università di Bolzano Wkład UE Brak danych Adres Piazza Domenicani 3 39100 BOLZANO Włochy Zobacz na mapie Koszt całkowity Brak danych Uczestnicy (4) Sortuj alfabetycznie Sortuj według wkładu UE Rozwiń wszystko Zwiń wszystko TECHNISCHE UNIVERSITAET DRESDEN Niemcy Wkład UE Brak danych Adres Hans-Grundig-Str. 25 (do not include in mail address) 01062 DRESDEN Zobacz na mapie Koszt całkowity Brak danych THE UNIVERSITY OF MANCHESTER Zjednoczone Królestwo Wkład UE Brak danych Adres OXFORD ROAD M13 9PL MANCHESTER Zobacz na mapie Koszt całkowity Brak danych Technische Universität Hamburg Harburg Niemcy Wkład UE Brak danych Adres Harburger Schloßstraße 20 21079 HAMBURG Zobacz na mapie Koszt całkowity Brak danych UNIVERSITA DEGLI STUDI DI ROMA "LA SAPIENZA" Włochy Wkład UE Brak danych Adres Via Eudossiana, 18 00185 ROME Zobacz na mapie Koszt całkowity Brak danych