FOFIS · Formal Ontological foundations for Information Systems
6РП — Действия „Мария Кюри“
- Период
- 2005-02-01 → 2006-01-31
- Финансиране от ЕС
- 73 659 €
- Участници
- 1
- Схема
- EIF
Линиите свързват координатора с партньорите. За проекти отпреди 2014 г. CORDIS не винаги дава точни координати. Тези точки са на ниво град или държава.
Накратко на български
Техническите обекти, като например документите, се анализират чрез създаване на формални модели, които описват целта, плана, научната основа и работата им. Това помага за по-доброто представяне и организиране на знанията в информационните системи.
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Резултати накратко
Final Activity Report Summary - FOFIS (Formal Ontological Foundations for Information Systems)
The aim of the project was to construct a formal ontology of technical artefacts to be applicable in knowledge representation research. The project output consisted of a general semi-formal theory of artefacts and four more specialised formal subtheories. The general framework defined artefacts as objects with four dimensions, namely teleological, intentional, epistemic and operative. The teleological dimension defined the purposes for which artefacts were designed. The intentional dimension covered the fact that any technical artefact was a result of manufacturing based on a kind of blueprint or plan. Moreover, the epistemic dimension accounted for the fact that any such manufacturing process was guided by scientific understanding of a given domain. On the other hand, the operative dimension characterised a technical artefact as an object whose functionalities were obtainable only because of the environmental conditions to be guaranteed by its users. This framework turned out to be spacious enough to express some relevant features of information objects, provided that the former were construed as in the theory of document genres. The four specific results project results consisted of: 1. a first-order formal theory of design; 2. a formal model for functional decomposition; 3. a taxonomy of artefact functions based on a foundational ontology; and 4. an ontology of document genres.
Текст от CORDIS, на английски · Данни: CORDIS, © Европейски съюз
Цел на проекта
Since the eighties information science has embraced the methods of philosophical ontology to represent and reason in the heterogeneous world of intelligent systems. The need for a reliable and flexible way to describe these systems has pushed toward ontological methods that guarantee a result as general as possible while remaining faithful to the things one wants to represent. Nowadays, ontologies are a crucial concept in this area and are employed at different modelling stages although, we must add, a principled methodology is still lacking. This situation is particularly evident in large domain areas where the right level of generality is hard to reach and it is the cause of many unsolved modelling problems.A typical example is the class of and quot, artefacts and quot, that is, entities ranging from concrete objects like bolts and nuts to objects characterized by their content like books, files or programs. In the case of artefacts, interoperability is of utmost importance. For that reason, a reliable and general way to make functionality explicit and to represent physical and computational features is crucial. The aim of this project is the development an ontology of artefacts that captures their functional and material aspects.The underlying view is based on the assumption that functionality is closely related to the shared context in which artefacts are used. Also, it is believed that a unifying theory concerning both works of art and technical artefacts is possible and that this approach can put it forward. In the second part of the project, the proponent aims at verifying the results of his theory by applying it to the domain of and quot; information objects and quot: books, computers files, catalogues, and so on. Indeed, information objects are at the core of interoperability problems in information systems and provide a huge amount of data for a genuine evaluation of the general theory here developed.
Оригинален текст от CORDIS (на английски).
Участници
- ISTITUTO DI SCIENZE E TECNOLOGIE DELLA COGNIZIONE DEL CONSIGLIO NAZIONALE DELLE RICERCHE · ROMAКоординаторНиво градИталия
Връзки
Данни: CORDIS, © Европейски съюз