From 5e40be9f2aa8c324332e58b6fbbec824154cda1b Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 6 May 2017 12:55:20 +0200
Subject: [PATCH] reorg
---
_layouts/project.html | 4 ++--
projects/FormalCAD.md | 1 -
projects/README.md | 6 +-----
projects/former.md | 18 ++++++++++++++++++
projects/jem.md | 3 +--
projects/latin.md | 1 -
projects/llamapun.md | 1 -
projects/logosphere.md | 1 -
projects/mathsearch.md | 1 -
projects/oaf.md | 1 -
projects/odk.md | 3 +--
projects/omoc.md | 1 -
projects/once-cs.md | 1 -
projects/openmath-tn.md | 3 +--
projects/past.md | 16 ----------------
projects/sissi.md | 1 -
systems/README.md | 24 ++++++++++++++++++++++++
systems/active.md | 11 ++++++-----
systems/completed.md | 16 ----------------
systems/historic.md | 22 ++++++++++++++++++++++
20 files changed, 76 insertions(+), 59 deletions(-)
create mode 100644 projects/former.md
delete mode 100644 projects/past.md
create mode 100644 systems/README.md
delete mode 100644 systems/completed.md
create mode 100644 systems/historic.md
diff --git a/_layouts/project.html b/_layouts/project.html
index e12bfbd..e3d431f 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 60766de..b861545 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 9532123..2857e48 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 0000000..e9b1c90
--- /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 04c94c0..4c03f0f 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 ede1592..5d04651 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 840fab0..cd883c6 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 3d2e47b..e10aad8 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 6ace201..b0ae78a 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 85ebb88..291c1b8 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 edf0edb..f9d7dff 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 e6af448..03732ac 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 293067a..4c091d2 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 559cc63..f98684d 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 872a425..0000000
--- 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 4edb638..796581b 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 0000000..aa9b73c
--- /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 1668078..4641178 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 872a425..0000000
--- 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 0000000..5ac2665
--- /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.
+
+
+
+
+
+
--
GitLab