diff --git a/_layouts/project.html b/_layouts/project.html index e12bfbd97b62906e396d2ff3552ccc988c7912cc..e3d431f26cc7f2e59acb857357f04cbd70a892b4 100644 --- a/_layouts/project.html +++ b/_layouts/project.html @@ -31,8 +31,8 @@ layout: default {{page.collaborators}} {% endif %} - {% if page.phomepage %} + {% if page.homepage %} <h3>Project Home Page</h3> - <a href="{{page.url}}">{{page.phomepage}}</a> + <a href="{{page.url}}">{{page.homepage}}</a> {% endif %} </div> diff --git a/projects/FormalCAD.md b/projects/FormalCAD.md index 60766ded64269346b8cbb6d4c279e5abe3f6496a..b86154599bee2aafc1e4daaa6b810b8dcd7562d8 100644 --- a/projects/FormalCAD.md +++ b/projects/FormalCAD.md @@ -4,7 +4,6 @@ menu_title: FormalCAD title: "FormalCAD: Formal Methods and Semantic Technologies for Engineering Design Processes" teaser: Towards a computer-supported, document-oriented process for systematic engineering design and a semantic help system for CAD systems. -pillar: KMR start: 2012-04 end: 2015-02 people: mkohlhase,akohlhase,cjucovschi diff --git a/projects/README.md b/projects/README.md index 9532123d64ebf5921d9d00377304818bb49cc819..2857e4806f1be7c43ceda4123389c35ebbde6b8d 100644 --- a/projects/README.md +++ b/projects/README.md @@ -15,11 +15,7 @@ Each post needs some specific parameters: * **collaborators** (optional) the outside collaborators * **start** (optional) the project start date * **end** (optional) the project end date - * **pillar** (optional) the pillar (in the sense of http://kwarc.info/research) of the - project); use one of `semantization`, `KMR`, or `foundations`. - * **redirect_from** (optional) not needed for new projects, this is just the redirect - link from old activities pages on the former site. * **funding** (optional): the funding body, *DFG*, *Leibniz Foundation*, *EU*, *Industry* * **program** (optional): the funding program * **grantid** (optional): the project identifier of the funder, e.g. `KO 2428/13-1` - * **phomepage** (optional): the project home page + * **homepage** (optional): the project home page diff --git a/projects/former.md b/projects/former.md new file mode 100644 index 0000000000000000000000000000000000000000..e9b1c90de7621270dc80a06d2e0f5125bf3f2308 --- /dev/null +++ b/projects/former.md @@ -0,0 +1,18 @@ +--- +layout: default +title: Past Projects +menu_title: Past +menu_order: 2 +--- +## Completed Projects ([current projects](/projects/current/)) + + + +project links to be generated here. + + + + + + + diff --git a/projects/jem.md b/projects/jem.md index 04c94c000715ab9d8eb973e0bfb9c7baefc58409..4c03f0fc73e004a68c43afe80c678e093838feef 100644 --- a/projects/jem.md +++ b/projects/jem.md @@ -2,12 +2,11 @@ layout: project menu_title: JEM title: "JEM:JoiningEducationalMathematics" -pillar: KMR start: 2006 end: 2009 funding: EU program: eContentPlus Thematic Network -phomepage: http://calc.mathstat.helsinki.fi/jem/en/about/ +homepage: http://calc.mathstat.helsinki.fi/jem/en/about/ people: mkohlhase --- The network assembles leading developers of semantic web technologies for the diff --git a/projects/latin.md b/projects/latin.md index ede1592d44f7b29cb4c113e1194373703253ddbe..5d04651df8aa982ddae3a35a4e82d6c5529c9edc 100644 --- a/projects/latin.md +++ b/projects/latin.md @@ -2,7 +2,6 @@ layout: project menu_title: LATIN title: "LATIN: Logic Atlas & Integrator" -pillar: foundations start: 2009 end: 2012 funding: DFG diff --git a/projects/llamapun.md b/projects/llamapun.md index 840fab07e8738aa6efaa702e2c9f44d7e9df14d5..cd883c6ce29022276f35f8d0202251f5a7c35c7a 100644 --- a/projects/llamapun.md +++ b/projects/llamapun.md @@ -2,7 +2,6 @@ layout: project menu_title: LLaMaPuN title: "LLaMaPuN: Language and Mathematics Processing and Understanding" -pillar: semantization start: 2008-11 people: mkohlhase,dginev,jfschaefer,itoloaca --- diff --git a/projects/logosphere.md b/projects/logosphere.md index 3d2e47bec2d577c537b35d9ca26a32e9ff4c9df4..e10aad83126172e97e7a312fcc28942f40b2da2e 100644 --- a/projects/logosphere.md +++ b/projects/logosphere.md @@ -2,7 +2,6 @@ layout: project menu_title: Logosphere title: "Logosphere: Formal Digital Libraries" -pillar: KMR start: 2003 end: 2006 funding: NSF diff --git a/projects/mathsearch.md b/projects/mathsearch.md index 6ace201fdedf39a108310085f2570b4fbc1e32d7..b0ae78aac41d9f643194f693d6c61de4a22e2329 100644 --- a/projects/mathsearch.md +++ b/projects/mathsearch.md @@ -3,7 +3,6 @@ layout: project menu_title: MathSearch title: "MathSearch: Analyse und Suche in mathematischen Formeln" teaser: Methods for information extraction and information retrieval for mathematical documents with the aim of providing semantically enhanced interaction for Zentralblatt Math and the arXiv. -pillar: KMR start: 2012-03 end: 2015-02 funding: Leibniz Foundation diff --git a/projects/oaf.md b/projects/oaf.md index 85ebb883afa583624f6c68f3a3618d40bddb3443..291c1b8a5c4a5bc2c80a9f5979f283d6292ff02d 100644 --- a/projects/oaf.md +++ b/projects/oaf.md @@ -3,7 +3,6 @@ layout: project menu_title: OAF title: "OAF: An Open Archive for Formalizations" teaser: The OAF Project builds a theoretical framework for interoperability of theorem prover libraries and implements an information system that host and align multiple libraries in a joint semantic setting. -pillar: KMR start: 2014 end: 2018 funding: DFG diff --git a/projects/odk.md b/projects/odk.md index edf0edb91a68e8286c3ea51355e9a6da40c11f2b..f9d7dff5fa92fc2532a478ab8fa5cb1f6a0da9ec 100644 --- a/projects/odk.md +++ b/projects/odk.md @@ -2,13 +2,12 @@ layout: project menu_title: OpenDreamKit title: OpenDreamKit -pillar: KMR start: 2015-09 end: 2019-08 funding: EU program: Research Infrastructure grantid: 676541 -phomepage: http://opendreamkit.org +homepage: http://opendreamkit.org people: mkohlhase,frabe,twiesing --- diff --git a/projects/omoc.md b/projects/omoc.md index e6af4482591a6f47b239bca68f52b0560efba574..03732ac8af53a04c187e5a1f26d0d648e1474207 100644 --- a/projects/omoc.md +++ b/projects/omoc.md @@ -2,7 +2,6 @@ layout: project menu_title: OMOC title: "OMoC: Ontology-based Management of Change" -pillar: KMR start: 2008 end: 2010 funding: DFG diff --git a/projects/once-cs.md b/projects/once-cs.md index 293067a0051447b6b86fa29f50299883ab79d787..4c091d2e3f76ba14db0c0b448b08fdee53dbc9e6 100644 --- a/projects/once-cs.md +++ b/projects/once-cs.md @@ -2,7 +2,6 @@ layout: project menu_title: ONCE-CS title: "ONCE-CS: Open Network of Centres of Excellence in Complex Systems" -pillar: KMR start: 2005 end: 2008 funding: EU diff --git a/projects/openmath-tn.md b/projects/openmath-tn.md index 559cc6307032b11af5f6c9719f142efcecd0f448..f98684d3b1c1e98b2a173490ce80c630ace5ff37 100644 --- a/projects/openmath-tn.md +++ b/projects/openmath-tn.md @@ -2,13 +2,12 @@ layout: project menu_title: OpenMath TN title: Thematic Netork "OpenMath" -pillar: KMR start: 2001 end: 2004 funding: EU program: IST Thematic Netork grantid: IST-2000-29719 -phomepage: http://www.openmath.org/projects/thematic/ +homepage: http://www.openmath.org/projects/thematic/ people: mkohlhase --- The OpenMath Thematic Network, was a European Union sponsored project with the following diff --git a/projects/past.md b/projects/past.md deleted file mode 100644 index 872a42567c3aaed44e5abbeb26eff6abec82925d..0000000000000000000000000000000000000000 --- a/projects/past.md +++ /dev/null @@ -1,16 +0,0 @@ ---- -layout: default -title: Past Projects -menu_title: Past -menu_order: 2 ---- -## Past Projects ([current projects](/projects/current/)) - -to be generated here. - - - - - - - diff --git a/projects/sissi.md b/projects/sissi.md index 4edb638e2118d35b325669bbd05dad62fca24cfa..796581bcb03cfa70ee046bb0b838904e52a663b2 100644 --- a/projects/sissi.md +++ b/projects/sissi.md @@ -3,7 +3,6 @@ layout: project menu_title: SiSsI title: "SiSsI: Software Engineering for Spreadsheet Interaction" teaser: Methods and technologies to enhance spreadsheets semantically. -pillar: KMR start: 2011-08 end: 2013-07 funding: DFG diff --git a/systems/README.md b/systems/README.md new file mode 100644 index 0000000000000000000000000000000000000000..aa9b73cafd6b215679f3758b16ce11c690c82bb0 --- /dev/null +++ b/systems/README.md @@ -0,0 +1,24 @@ +Technical directions on adding a system +------------------------------------------ + +To add a new system, create a file in this directory, taking the existing files as +examples. + +Each post needs some specific parameters: + + * **layout** use `system` + * **title** the title of the system + * **subtitle** (optional) a subtitle. It will be adjuncted to your title in the post + link and just under the title in the post page + * **teaser** (optional) a one-line description for the overview + * **people** (optional) the KWARC people involved in this + * **collaborators** (optional) the outside collaborators + * **start** (optional) the system start date + * **end** (optional) the system end date + * **pillar** (optional) the pillar (in the sense of http://kwarc.info/research) of the + system); use one of `semantization`, `KMR`, or `foundations`. + * **redirect_from** (optional) not needed for new systems, this is just the redirect + link from old activities pages on the former site. + * **funding** (optional): the funding body, *DFG*, *Leibniz Foundation*, *EU*, *Industry* + * **homepage** (optional): the system home page + * **repos** (optional): the system repository diff --git a/systems/active.md b/systems/active.md index 1668078036f8a8893da9cdbeeb75eaa5a92be0fa..46411783ec29e405d3a3bb33262893e98fc690a9 100644 --- a/systems/active.md +++ b/systems/active.md @@ -1,12 +1,13 @@ --- layout: default -title: Current Projects -menu_title: Current -menu_order: 1 +title: Active Systems +menu_title: Active +menu_order: -1 --- -## Current Projects ([past projects](/projects/past/)) +## Actively Developed Systems ([Historic Systems](/projects/historic)) -to be generated here. + +listing to be generated here. diff --git a/systems/completed.md b/systems/completed.md deleted file mode 100644 index 872a42567c3aaed44e5abbeb26eff6abec82925d..0000000000000000000000000000000000000000 --- a/systems/completed.md +++ /dev/null @@ -1,16 +0,0 @@ ---- -layout: default -title: Past Projects -menu_title: Past -menu_order: 2 ---- -## Past Projects ([current projects](/projects/current/)) - -to be generated here. - - - - - - - diff --git a/systems/historic.md b/systems/historic.md new file mode 100644 index 0000000000000000000000000000000000000000..5ac2665f1d6e9da30643e00b8cf7836716e9a092 --- /dev/null +++ b/systems/historic.md @@ -0,0 +1,22 @@ +--- +layout: default +title: Historic Systems +menu_title: Historic +menu_order: 2 +--- +## Historic Systems ([active systems](/projects/active/)) + +The KWARC group has developed various added value services based on OMDoc-encoded content, +including a mathematical knowledge base, a semantic search engine, management of change, a +semantic wiki, mathematical web services, and invasive OMDoc editing +technologies. Furthermore, the group works on the utilization of OMDoc to provide Logic +Interoperability and to establish scientific Communities of Practice. + + +listing to be generated here. + + + + + +