helm/mowgli/home/xml/work-packages/index.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE work-packages [
   4  <!ELEMENT work-packages (work-package+,description)>
   5
   6  <!ELEMENT work-package EMPTY>
   7  <!ATTLIST work-package
   8            file CDATA #REQUIRED>
   9
  10  <!ELEMENT description (p|dl|ul|ol)+>
  11
  12  <!-- A subset of XHTML -->
  13  <!ELEMENT p (#PCDATA|em|a)*>
  14  <!ELEMENT em (#PCDATA)>
  15  <!ELEMENT a (#PCDATA)>
  16  <!ATTLIST a
  17            href CDATA #REQUIRED>
  18  <!ELEMENT dl (dt|dd)+>
  19  <!ELEMENT dt (#PCDATA)>
  20  <!ELEMENT dd (#PCDATA)>
  21  <!ELEMENT ul (li)+>
  22  <!ELEMENT ol (li)+>
  23  <!ELEMENT li (#PCDATA)>
  24 ]>
  25
  26 <work-packages>
  27  <work-package file="project-management"/>
  28  <work-package file="requirement-analysis"/>
  29  <work-package file="transformation"/>
  30  <work-package file="metadata"/>
  31  <work-package file="interfaces"/>
  32  <work-package file="distribution"/>
  33  <work-package file="testing-and-validation"/>
  34  <work-package file="information-dissemination-and-exploitation"/>
  35  <description>
  36   <p>The previous work packages are not strictly sequential.</p>
  37   <p> WP1 should be reasonably short; apart from a few topics requiring a
  38       deeper analysis (Tasks 1.3-5), this phase is essentially meant to rapidly
  39       reach a good level of inter-operability among the different sites.</p>
  40   <p>Most part of the work is based on the possibility to have at our
  41      disposal, and as soon as possible, large collections of documents encoded
  42      with semantic markup. One strategy is the import of material (e.g.
  43      journal articles) written in LaTeX. The development of a suitable LaTeX
  44      based authoring tool (Task 4.4) will need to begin immediately, as an
  45      appropriate semantic encoding in LaTeX has to be developed first.
  46      The delivery of the first prototype of the authoring tool is scheduled
  47      for month 18.</p>
  48   <p>A more rapid way to get meaningful repositories of fully structured
  49      mathematical knowledge is by exporting them from the available
  50      libraries of Logical Frameworks and Proof Assistants (Task 2.1).
  51      The intelligence contained in the exported XML files should reflect the
  52      requirements defined
  53      in the previous work package, requiring a deep analysis of the markup
  54      model. After six months from the beginning of the project we plan to have
  55      a first prototype of the Exportation Module and a first draft of the
  56      Document Type Descriptor for thelow, logical level. This is our first
  57      Milestone.</p>
  58   <p>At this point we may start the study of the intermediate format of the
  59      information, and the implementation of the stylesheets performing the
  60      transformation (tasks T2.2-3). This part of the work is expected to be
  61      essentially completed after one year (second Milestone). Since a strong
  62      feedback is expectedwith presentational issues, we plan to begin the
  63      development of presentational stylesheets around month 9. In turn, the
  64      need of rapidly have at our disposal good presentational engines suggests
  65      to begin their development as soon as possible (task 4.1).</p>
  66   <p>In parallel with these transformation issues, we shall start the study and
  67      classification of metadata, and their concrete modelling.</p>
  68   <p>Summing up, at the end of first year we plan to have:</p>
  69   <ul>
  70    <li>a formal Document Type Descriptor of the intermediate level;</li>
  71    <li>a bunch of stylesheet performing the transformation to intermediate
  72        representation, both for formulae and proofs;</li>
  73    <li>a detailed report on metadata;</li>
  74    <li>a first prototype model of metadata (in RDF format);</li>
  75    <li>a prototype MathML-viewer.</li>
  76   </ul>
  77   <p>During the first half of second year we shall perform, in parallel, four
  78      major activities:</p>
  79   <ul>
  80    <li>study and development of presentational stylesheets, both for expressions
  81        and proofs, and automatic extraction of metadata (tasks T2.4-6).</li>
  82    <li>architectural design and implementation of the consultation engine (task
  83        T4.2, requiring the metadata model), and of the functionalities for
  84        assisted annotation in natural language of the documents (task T4.3,
  85        requiring both the MathML-viewer, and a detailed description of the
  86        intermediate level).</li>
  87    <li>overall architectural design and first prototype implementation of the
  88        distribution model (task T5.1-T5.2).</li>
  89    <li>finalize the first prototype of a LaTeX based authoring tool
  90        (Task 4.4)</li>
  91   </ul>
  92   <p>The second half of the second year is devoted to the completion of the
  93      previous tasks, and to their integration inside a single, compound
  94      application. Around this time we shall also start a detailed validation
  95      of the application, according to three pilot applications:</p>
  96   <ol>
  97    <li>Formalisation of a full undergraduate course in algebra or analysis for
  98        didactical purposes.</li>
  99    <li>Formalization of (part of) the process of loading, verifying and
 100        executing an applet into a smart card. This application will provide
 101        a case study close to both information technology (IT) industry and
 102        Computer Science research, where the presentation and layout needs are
 103        not exactly the same as in Mathematics. The example concerns the
 104        representation of different abstract state machines, transition systems,
 105        typing calculus, and program code. Such concepts are pragmatic use cases
 106        of the formal concepts that usually appears in security evaluations of
 107        IT products and Computer Science articles.</li>
 108    <li>Make maximal use of content marked-up articles in a solely
 109        electronic scientific physics journal. This will allow us to demonstrate
 110        the benefits of content mark-up for search, retrieval, and re-use of
 111        mathematical content, and user customisable content presentation.
 112        Several articles will be processed to test scope, functionality, and
 113        user friendliness of the authoring tool developed in Task 4.4. The tool
 114        will be refined and the mathematical semantics covered extended. The
 115        suite of articles will be used to show benefits of automated
 116        annotation and cross-linking between related mathematical concepts.</li>
 117   </ol>
 118   <p>The last six months are mainly devoted to testing, debugging, validation,
 119      dissemination of results and exploitation plans.</p>
 120  </description>
 121 </work-packages>