reorg

_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>

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

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

projects/past.md → projects/former.md

@@ -4,9 +4,11 @@ title: Past Projects
 menu_title: Past
 menu_order: 2
 ---
-## Past Projects ([current projects](/projects/current/))
+## Completed  Projects ([current projects](/projects/current/))
 
-to be generated here.
+
+
+project links to be generated here.
 
 
 

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

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

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
 ---

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

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

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

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
 ---
 

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

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

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

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

systems/README.md

+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

systems/active.md

 ---
 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.
 
 
 

systems/completed.md

----
-layout: default
-title: Past Projects
-menu_title: Past
-menu_order: 2
----
-## Past Projects ([current projects](/projects/current/))
-
-to be generated here.
-
-
-
-
-
-
-

systems/historic.md

+---
+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.
+
+
+
+
+
+