From c1318cbfaa63c439e7de90b3c8aa98f029124b88 Mon Sep 17 00:00:00 2001 From: Irene Schena Date: Wed, 6 Mar 2002 14:40:16 +0000 Subject: [PATCH] Modified Files: 1) html/.cvsignore html/Makefile xml/home.xml xml/menu.xml: new menu item for mowgli proposal 2) xml/news.xml: error fixed Added Files: 1) html/proposal/.cvsignore 2) xml/proposal/EC-contribution.xml xml/proposal/contribution.xml xml/proposal/econ-scient-tech-prospects.xml xml/proposal/innovation.xml xml/proposal/project-management.xml xml/proposal/project-objectives.xml xml/proposal/project-summary.xml : files moved in the new dir proposal/ 3) xml/proposal/proposal-index.xml: index of mowgli proposal Removed Files: 1) xml/EC-contribution.xml xml/contribution.xml xml/econ-scient-tech-prospects.xml xml/innovation.xml xml/project-management.xml xml/project-objectives.xml xml/project-summary.xml --- helm/mowgli/home/html/.cvsignore | 9 +--- helm/mowgli/home/html/Makefile | 48 +++++++++++-------- helm/mowgli/home/html/proposal/.cvsignore | 8 ++++ helm/mowgli/home/xml/home.xml | 12 ----- helm/mowgli/home/xml/menu.xml | 1 + helm/mowgli/home/xml/news.xml | 2 +- .../xml/{ => proposal}/EC-contribution.xml | 0 .../home/xml/{ => proposal}/contribution.xml | 0 .../econ-scient-tech-prospects.xml | 0 .../home/xml/{ => proposal}/innovation.xml | 4 +- .../xml/{ => proposal}/project-management.xml | 0 .../xml/{ => proposal}/project-objectives.xml | 8 ++-- .../xml/{ => proposal}/project-summary.xml | 0 .../home/xml/proposal/proposal-index.xml | 24 ++++++++++ 14 files changed, 68 insertions(+), 48 deletions(-) create mode 100644 helm/mowgli/home/html/proposal/.cvsignore rename helm/mowgli/home/xml/{ => proposal}/EC-contribution.xml (100%) rename helm/mowgli/home/xml/{ => proposal}/contribution.xml (100%) rename helm/mowgli/home/xml/{ => proposal}/econ-scient-tech-prospects.xml (100%) rename helm/mowgli/home/xml/{ => proposal}/innovation.xml (98%) rename helm/mowgli/home/xml/{ => proposal}/project-management.xml (100%) rename helm/mowgli/home/xml/{ => proposal}/project-objectives.xml (96%) rename helm/mowgli/home/xml/{ => proposal}/project-summary.xml (100%) create mode 100644 helm/mowgli/home/xml/proposal/proposal-index.xml diff --git a/helm/mowgli/home/html/.cvsignore b/helm/mowgli/home/html/.cvsignore index 5dad0d3b8..206e8734b 100644 --- a/helm/mowgli/home/html/.cvsignore +++ b/helm/mowgli/home/html/.cvsignore @@ -1,9 +1,6 @@ home.html index.html menu.html -project-management.html -project-objectives.html -project-summary.html consortium.html project.html news.html @@ -12,8 +9,4 @@ other-events.html deadlines.html people-list.html latest-news.xml -approaching-deadlines.xml -contribution.html -innovation.html -EC-contribution.html -econ-scient-tech-prospects.html \ No newline at end of file +approaching-deadlines.xml \ No newline at end of file diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index 8cebc0c94..51d76ba92 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -55,13 +55,14 @@ DOCUMENTS = \ index.html \ home.html \ menu.html \ - project-management.html \ - project-objectives.html \ - project-summary.html \ - contribution.html \ - innovation.html \ - EC-contribution.html \ - econ-scient-tech-prospects.html \ + proposal/proposal-index.html \ + proposal/project-management.html \ + proposal/project-objectives.html \ + proposal/project-summary.html \ + proposal/contribution.html \ + proposal/innovation.html \ + proposal/EC-contribution.html \ + proposal/econ-scient-tech-prospects.html \ consortium.html \ project.html \ news.html \ @@ -168,33 +169,38 @@ software/index.html: $(XMLROOT)/software/index.xml \ $(XHTMLCONTENT) $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $< -project-management.html: $(XMLROOT)/project-management.xml \ +proposal/proposal-index.html: $(XMLROOT)/proposal/proposal-index.xml \ $(XHTMLCONTENT) - sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - + sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - + + +proposal/project-management.html: $(XMLROOT)/proposal/project-management.xml \ + $(XHTMLCONTENT) + sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - -project-summary.html: $(XMLROOT)/project-summary.xml \ +proposal/project-summary.html: $(XMLROOT)/proposal/project-summary.xml \ $(XHTMLCONTENT) - sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - + sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - -project-objectives.html: $(XMLROOT)/project-objectives.xml \ +proposal/project-objectives.html: $(XMLROOT)/proposal/project-objectives.xml \ $(XHTMLCONTENT) - sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - + sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - -contribution.html: $(XMLROOT)/contribution.xml \ +proposal/contribution.html: $(XMLROOT)/proposal/contribution.xml \ $(XHTMLCONTENT) - sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - + sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - -innovation.html: $(XMLROOT)/innovation.xml \ +proposal/innovation.html: $(XMLROOT)/proposal/innovation.xml \ $(XHTMLCONTENT) - sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - + sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - -EC-contribution.html: $(XMLROOT)/EC-contribution.xml \ +proposal/EC-contribution.html: $(XMLROOT)/proposal/EC-contribution.xml \ $(XHTMLCONTENT) - sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - + sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - -econ-scient-tech-prospects.html: $(XMLROOT)/econ-scient-tech-prospects.xml \ +proposal/econ-scient-tech-prospects.html: $(XMLROOT)/proposal/econ-scient-tech-prospects.xml \ $(XHTMLCONTENT) - sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - + sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - mowgli-events/kick-off.html: $(XMLROOT)/mowgli-events/kick-off.xml \ $(XHTMLCONTENT) diff --git a/helm/mowgli/home/html/proposal/.cvsignore b/helm/mowgli/home/html/proposal/.cvsignore new file mode 100644 index 000000000..3d3dcaf6f --- /dev/null +++ b/helm/mowgli/home/html/proposal/.cvsignore @@ -0,0 +1,8 @@ +proposal-index.html +project-management.html +project-objectives.html +project-summary.html +contribution.html +innovation.html +EC-contribution.html +econ-scient-tech-prospects.html \ No newline at end of file diff --git a/helm/mowgli/home/xml/home.xml b/helm/mowgli/home/xml/home.xml index 00d5386ac..13434f912 100644 --- a/helm/mowgli/home/xml/home.xml +++ b/helm/mowgli/home/xml/home.xml @@ -53,18 +53,6 @@ (XSLT, RDF, etc).

-

Read more about the project:

- - - diff --git a/helm/mowgli/home/xml/menu.xml b/helm/mowgli/home/xml/menu.xml index 152e6c3fb..703ce2f91 100644 --- a/helm/mowgli/home/xml/menu.xml +++ b/helm/mowgli/home/xml/menu.xml @@ -27,6 +27,7 @@ Home Consortium People + Proposal Work Packages MoWGLI Events Other Events diff --git a/helm/mowgli/home/xml/news.xml b/helm/mowgli/home/xml/news.xml index 063497f32..da19a3e51 100644 --- a/helm/mowgli/home/xml/news.xml +++ b/helm/mowgli/home/xml/news.xml @@ -22,7 +22,7 @@ 20020306 The agenda of the - MOWGLI Kick-Off meeting + MOWGLI Kick-Off meeting has been detailed. diff --git a/helm/mowgli/home/xml/EC-contribution.xml b/helm/mowgli/home/xml/proposal/EC-contribution.xml similarity index 100% rename from helm/mowgli/home/xml/EC-contribution.xml rename to helm/mowgli/home/xml/proposal/EC-contribution.xml diff --git a/helm/mowgli/home/xml/contribution.xml b/helm/mowgli/home/xml/proposal/contribution.xml similarity index 100% rename from helm/mowgli/home/xml/contribution.xml rename to helm/mowgli/home/xml/proposal/contribution.xml diff --git a/helm/mowgli/home/xml/econ-scient-tech-prospects.xml b/helm/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml similarity index 100% rename from helm/mowgli/home/xml/econ-scient-tech-prospects.xml rename to helm/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml diff --git a/helm/mowgli/home/xml/innovation.xml b/helm/mowgli/home/xml/proposal/innovation.xml similarity index 98% rename from helm/mowgli/home/xml/innovation.xml rename to helm/mowgli/home/xml/proposal/innovation.xml index f5885fa9c..b552de702 100644 --- a/helm/mowgli/home/xml/innovation.xml +++ b/helm/mowgli/home/xml/proposal/innovation.xml @@ -12,7 +12,7 @@ scientific communities and research topics: digital libraries, Web publishing, logical environments.

- Architecture + Architecture

From the point of view of Web publishing, our project is the first attempt to provide a comprehensive description, from content to metadata, of a @@ -66,7 +66,7 @@ dialect). These additional functionalities may be especially relevant for industrial applications, e.g. in the context of IT security evaluation standards like the Common Criteria standard (see - others/cc). In its highest + others/cc). In its highest assurance level, this standard requires the development of formal models of the IT product under evaluation, as well as mechanized proofs that it meets its security objectives. Such models and proofs must be published in diff --git a/helm/mowgli/home/xml/project-management.xml b/helm/mowgli/home/xml/proposal/project-management.xml similarity index 100% rename from helm/mowgli/home/xml/project-management.xml rename to helm/mowgli/home/xml/proposal/project-management.xml diff --git a/helm/mowgli/home/xml/project-objectives.xml b/helm/mowgli/home/xml/proposal/project-objectives.xml similarity index 96% rename from helm/mowgli/home/xml/project-objectives.xml rename to helm/mowgli/home/xml/proposal/project-objectives.xml index 9a422306a..0c7d01cea 100644 --- a/helm/mowgli/home/xml/project-objectives.xml +++ b/helm/mowgli/home/xml/proposal/project-objectives.xml @@ -10,7 +10,7 @@

Project Objectives

The new frontier of Content Based Information Systems is the so called ``Semantic Web'' (see - others/w3c_bl98). + others/w3c_bl98). Associating meaning with content or establishing a layer of machine understandable data will allow automated agents, sophisticated search engines and interoperable services and will enable higher degree @@ -79,15 +79,15 @@ stylesheets [XSLT], to pass from one language to the other.

- Architecture + Architecture

The fact of encoding also the microscopic, logical level of mathematics opens the possibility to have completely formalised subsystems of the library, which could be checked automatically by standard tools for the automation of formal reasoning and the mechanisation of mathematics (proof assistants and logical frameworks, see - others/cup_hp91 and - others/cup_hp93). At + others/cup_hp91 and + others/cup_hp93). At the same time, any of these tools could be used as an authoring system for documents of the library, by simply exporting their internal libraries into XML, and using stylesheets to transform the output into a standard, diff --git a/helm/mowgli/home/xml/project-summary.xml b/helm/mowgli/home/xml/proposal/project-summary.xml similarity index 100% rename from helm/mowgli/home/xml/project-summary.xml rename to helm/mowgli/home/xml/proposal/project-summary.xml diff --git a/helm/mowgli/home/xml/proposal/proposal-index.xml b/helm/mowgli/home/xml/proposal/proposal-index.xml new file mode 100644 index 000000000..a979260a2 --- /dev/null +++ b/helm/mowgli/home/xml/proposal/proposal-index.xml @@ -0,0 +1,24 @@ + + + + + + + MoWGLI Proposal + + + +

MoWGLI Proposal

+ + + + + -- 2.39.2