- 
- |
-
- |
- - Index - | -
-
- |
-
MOWGLI is meant to develop, evaluate, fine-tune and deliver a complete - prototype supporting friendly and interactive access to huge, distributed - repositories of content-based mathematical knowledge. The purpose of the - project is to overcome some of the main obstacles that currently hinder a - wider dissemination of Information Technologies in the mathematical and - research community (comprising both professionals and students). This is - intended as a public service for the whole community of users, and we - expect no direct commercial profit by our work.
-Of course, the core technologies and languages developed in MOWGLI may be - exploited in a lot of different ways, according to the nature and - exploitation plan of each partner.
-In particular, it should be clear that having a coherent, distributed - library of structured mathematical knowledge, saved in a clearly defined, - well documented and application independent format, is just the starting - point of a wider, potentially enormous process. Building on the grounds - provided by MOWGLI, a lot of different services can be imagined, and - independently developed by different organisations. Inside the project, we - shall just give a few hints in this direction, supporting advanced and - interactive forms of searching and navigation, as well as automatic - validation facilities, for suitable fragments of the library.
- -The main target market of MOWGLI is education. Here, the potentiality - offered by a semantic description of the information for the development - of interactive, electronic textbooks are enormous. In particular, the - MOWGLI prototype could become an essential tool for a wider and more - friendly dissemination of mathematical knowledge.
-A second, potential market is Publishing. Digital libraries currently - suffers from clear limitations due to the machine-readable but not - machine understandable encoding of the information. No other kind of - elaboration than displaying or printing is usually possible. There is no - possibility of cut-and paste, formal checking, complex searching. For - instance, we cannot write a spider going around searching for a proof with - a given template, because there is not structure, and in particular no - semantics inside the text.
-A third market are industries specialised in formal verification and - security. These industries are usually asked to check a given system or - protocol for security issues or formal validation of functional/temporal - behaviour. The result of the formalisation work and its automatic - validation is typically in an internal format which is obscure even to - experts. Studying the possibility to automatically generate a more - friendly presentation in usual mathematical notation is thus a major - topic.
- -According to the Project Workplan, a considerable effort will be devoted
- to the dissemination/exploitation of the results. During the first six
- months, the consortium will undertake the development and execution of a
- workplan to achieve successful dissemination of the project results. In
- particular, the very nature of the project suggests to involve the
- largest community of professionals during the modelling phase. Here, we
- shall be open to any contribution, even soliciting them, still keeping
- final technical decisions inside the Project.
-
- The foreseen dissemination steps include:
Management of the Exploitation and Dissemination activities is a specific - Work-package that will be lead by the Project Exploitation Board. It is - planned that all partners will nominate qualified persons as exploitation - managers to coordinate their own exploitation activities. The Exploitation - Board will be in charge of the preparation of the exploitation and - dissemination plan.
- -|
-
- |
- - Index - | -
-
- |
-