diff --git a/_config.yml b/_config.yml
index 58a0b70dfd7347582133b04dcfb8de3a8d430612..95c7bbaebc0bed3d8d1657b16bb16e41d617b3bb 100644
--- a/_config.yml
+++ b/_config.yml
@@ -55,10 +55,19 @@ menu:
- title: 'Bibliography'
external: true
url: 'https://kwarc.github.io/bibs/'
+
- title: 'Research'
- folder: 'research'
+ folder: '/research/'
+
- title: 'Systems'
- folder: 'systems'
+ active: '/systems/'
+ items:
+ - title: 'Current Systems'
+ url: '/systems/'
+ - title: 'Historic Systems'
+ url: '/systems/historic/'
+
+
- title: 'Projects'
folder: 'projects'
- title: '4Students'
diff --git a/_includes/psitem.html b/_includes/psitem.html
new file mode 100644
index 0000000000000000000000000000000000000000..4e413abd95e2495d76a0d155b7ccf195436cc6ff
--- /dev/null
+++ b/_includes/psitem.html
@@ -0,0 +1,25 @@
+{% comment %}
+ Renders a link to a single project or system. Expects 'item' as a parameter.
+{% endcomment %}
+
+<li class="collection-item avatar">
+ <a href="{{item.url}}" class="title">{{item.title}}</a>
+ <p>
+ {% if item.start_date %}
+ {% unless item.end_date %}
+ <b>started</b>
+ {% endunless %}
+ {% assign date = item.start_date %}
+ {% include date.html %}
+
+ {% if item.end_date %}
+ -
+ {% assign date = item.end_date %}
+ {% include date.html %}
+ {% endif %}
+ <br />
+ {% endif %}
+
+ {{item.teaser | safe}}
+ </p>
+</li>
\ No newline at end of file
diff --git a/_layouts/system.html b/_layouts/system.html
index 4a66897093ac23b0835e352046764c51ec8678a6..f553b6291cd824daa0051b37ee35b5665c8f2d48 100644
--- a/_layouts/system.html
+++ b/_layouts/system.html
@@ -3,66 +3,51 @@ layout: default
---
<div class="row">
- <div class="col s12 m5 left">
- <div class="card">
- <div class="card-content">
- <span class="card-title">{{page.title}}</span>
- {% if page.subtitle %}<h6>{{page.subtitle}}</h6>{% endif %}
-
- {% if page.homepage %}
- <p>
- <a href="{{page.url}}">{{page.homepage}}</a>
- </p>
- {% endif %}
-
- {% if page.start %}
- <p>
- <b>From:</b>
- {% assign date = page.start %}
- {% include date.html %}
+ <div class="col s12 m5 left">
+ <div class="card">
+ <div class="card-content">
+ <span class="card-title">{{page.title}}</span>
+ {% if page.subtitle %}<h6>{{page.subtitle}}</h6>{% endif %}
+
+ {% if page.start_date %}
+ <p>
+ <b>From:</b>
+ {% assign date = page.start_date %}
+ {% include date.html %}
+
+ {% if page.end_date %}
+ <br />
+ <b>To:</b>
+ {% assign date = page.end_date %}
+ {% include date.html %}
+ {% endif %}
+ </p>
+ <hr />
+ {% endif %}
+
+ {% for person in page.people %}
+ {% include people_chip.html %} <br />
+ {% endfor %}
+ </div>
+ {% assign hasaction = false %}
- {% if page.end %}
- <b>To:</b>
- {% assign date = page.end %}
- {% include date.html %}
- {% endif %}
- </p>
- {% endif %}
-
- </div>
-
- <div class="card-tabs">
- <ul class="tabs tabs-fixed-width">
- {% if page.people %}
- <li class="tab"><a href="#people">People</a></li>
- {% endif %}
- {% if page.collaborators %}
- <li class="tab"><a href="#collaborators">Collaborators</a></li>
- {% endif %}
- </ul>
- </div>
- <div class="card-content grey lighten-4">
-
- {% if page.people %}
- <div id="people">
- {% assign people = page.people | split: ',' %}
+ {% if page.website %}{% assign hasaction = true %}{% endif %}
+ {% if page.repository %}{% assign hasaction = true %}{% endif %}
- {% for person in people %}
- {% include people_chip.html %}
- {% endfor %}
- </div>
- {% endif %}
-
- {% if page.collaborators %}
- <div id="collaborators">
- {{page.collaborators}}
- </div>
- {% endif %}
-
-
- </div>
+ {% if hasaction %}
+ <div class="card-action">
+ {% if page.website %}
+ <a target="_blank" href="{{ page.website }}">Website</a>
+
+ {% endif %}
+ {% if page.repository %}
+ <a target="_blank" href="{{ page.repository }}">Repository</a>
+
+ {% endif %}
+ </div>
+ {% endif %}
+ </div>
</div>
- </div>
<p>
{{content}}
</p>
diff --git a/systems/README.md b/systems/README.md
deleted file mode 100644
index aa9b73cafd6b215679f3758b16ce11c690c82bb0..0000000000000000000000000000000000000000
--- a/systems/README.md
+++ /dev/null
@@ -1,24 +0,0 @@
-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/TNTBase.md b/systems/TNTBase.md
index 9c6714c7fb71fbf0f17ae8a8b4857aede4618e6e..e9f2387861107ed26d0a992917962023d8bd5fb0 100644
--- a/systems/TNTBase.md
+++ b/systems/TNTBase.md
@@ -1,9 +1,15 @@
---
layout: system
+
title: TNTBase
teaser: A Versioned Storage for Mathematics (OMDoc)
-start: 2009-09
-end: 2012-08
-people: mkohlhase,vzholudev
+
+start_date: 2009-09
+end_date: 2012-08
+
+people:
+ - mkohlhase
+ - vzholudev
---
+
TNTBase is a database which is optimized for storing mathematical documents in OMDoc format. It is based on Subversion and Berkeley DB XML.
diff --git a/systems/active.md b/systems/active.md
deleted file mode 100644
index 2d6fdf33475df6e2b3a4a394ccbab76e90c054e1..0000000000000000000000000000000000000000
--- a/systems/active.md
+++ /dev/null
@@ -1,17 +0,0 @@
----
-layout: default
-title: Active Systems
-menu_title: Active
-menu_order: 100
----
-## Actively Developed Systems ([Historic Systems](/systems/historic))
-
-
-listing to be generated here.
-
-
-
-
-
-
-
diff --git a/systems/arXMLiv.md b/systems/arXMLiv.md
index 9c84f72cfb6c64ee947d1455108ff57a9370de9a..129a8b65390391ac096379322867ac291c72646f 100644
--- a/systems/arXMLiv.md
+++ b/systems/arXMLiv.md
@@ -1,8 +1,15 @@
---
layout: system
+
title: arXMLiv
-start: 2006
-pillar: semantization
-people: mkohlhase,dginev
+
+start_date: '2006'
+
+people:
+ - mkohlhase
+ - dginev
+
+website: http://arxiv.org
---
+
The [Cornell e-print arXiv](http://arxiv.org) contains one of the largest corpora of scientific literature in the world. Unfortunately, its contents are locked up in the TeX/LaTeX format, which makes it nearly useless for knowledge management techniques. We translate it to XML to have a basis for uncovering it's structural semantics.
diff --git a/systems/cpoint.md b/systems/cpoint.md
index 719af42fb43365189f30b7cf27533379f0b360cf..1bbfd543c839b281bf8c626fda3c9b72dccdd146 100644
--- a/systems/cpoint.md
+++ b/systems/cpoint.md
@@ -1,8 +1,12 @@
---
layout: system
+
title: CPoint
teaser: Adding a semantic layer to MS PowerPoint.
-start: 2001-07
-end: 2008-04
-people: akohlhase
+
+start_date: 2001-07
+end_date: 2008-04
+
+people:
+ - akohlhase
---
diff --git a/systems/jomdoc.md b/systems/jomdoc.md
index a82cd179c9f6bf7a25dd99f8d1dbf03604240085..475da9a68dd739448a3adef9ec4163b0ce2f8cd5 100644
--- a/systems/jomdoc.md
+++ b/systems/jomdoc.md
@@ -1,9 +1,15 @@
---
layout: system
+
title: JOMDoc
-teaser: A Java API for OMDoc documents.
-start: 2007-09
-end: 2013-12
-people: mkohlhase,nmueller
+teaser: A Java API for OMDoc documents
+
+start_date: 2007-09
+end_date: 2013-12
+
+people:
+ - mkohlhase
+ - nmueller
---
+
JOMDoc is Java API for OMDoc documents that facilitates the parsing of OMDoc XML documents into a Java data structure, to manipulate them conveniently, and to serialize the result back to XML. The functionality of this library will be superseded by the MMT API in the near future.
diff --git a/systems/kat.md b/systems/kat.md
index a1ab161764209bdaed6406589e43d1011767eb03..a636b38348a194a2b09a5ccefc4a7870ce66c470 100644
--- a/systems/kat.md
+++ b/systems/kat.md
@@ -1,8 +1,14 @@
---
layout: system
-menu_title: KAT
+
title: "KAT: An Annotation Tool for STEM Documents"
-start: 2013-06
-people: twiesing
+
+start_date: 2013-06
+
+people:
+ - twiesing
+
+repository: https://github.com/KWARC/KAT
---
+
KAT is an annotation-ontology independent annotation tool for HTML5 documents. It can even annotate MathML.
diff --git a/systems/krextor.md b/systems/krextor.md
index 36f321ee1b89ebb599c7e39c23ca20c46ff9b36d..b0385608a7750e92e32793039b828966964e2e92 100644
--- a/systems/krextor.md
+++ b/systems/krextor.md
@@ -1,8 +1,13 @@
---
layout: system
+
title: Krextor
-start: 2008-02
-end: 2010-09
-people: clange
+
+start_date: 2008-02
+end_date: 2010-09
+
+people:
+ - clange
---
+
Krextor, the ​KWARC RDF Extractor, is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages as well as multiple output RDF notations. See
diff --git a/systems/llamapun.md b/systems/llamapun.md
index 024d54f7f3680c5945288542a85b041bf9c67c95..5916d49be0bfcae84592cabe7854031dc7d4a01f 100644
--- a/systems/llamapun.md
+++ b/systems/llamapun.md
@@ -1,14 +1,23 @@
---
layout: system
-menu_title: LLaMaPuN
+
title: "LLaMaPuN: Language and Mathematics Processing and Understanding"
-start: 2008-11
-people: mkohlhase,dginev,jfschaefer,itoloaca
+
+start_date: 2008-11
+
+people:
+ - mkohlhase
+ - dginev
+ - jfschaefer
+ - itoloaca
+
+repository: https://github.com/KWARC/LLaMaPUn/
---
+
The LaMaPUn project investigates the structure and meaning of scientific/technical
documents and builds tools for extracting semantic representations from them that can be
used to enhance access to and interaction with document corpora.
The LLaMaPUn library consists of a wide range of processing tools for natural language and
-mathematics. Its repository is at https://github.com/KWARC/LLaMaPUn/
+mathematics.
diff --git a/systems/mathhub.md b/systems/mathhub.md
index 8eeeaa4c152ddf8a27bab61268610f50de1bb333..153dba2afe12dd6450ff8ec0ff40b5d6258f54ed 100644
--- a/systems/mathhub.md
+++ b/systems/mathhub.md
@@ -1,10 +1,18 @@
---
layout: system
+
title: MathHub
teaser: A portal for active mathematical documents and an archive for flexiformal mathematics.
-start: 2008-08
+
+start_date: 2008-08
+
+people:
+ - mkohlhase
+ - akohlhase
+ - cjucovschi
+
+website: http://mathhub.info
repository: https://github.com/KWARC/mathhub
-homepage: http://mathhub.info
-people: mkohlhase,akohlhase,cjucovschi
---
+
MathHub.info is a portal for active mathematical documents and an archive for flexiformal mathematics. It offers a rich interface for reading, writing, and interacting with mathematical documents and knowledge
diff --git a/systems/meta/README.md b/systems/meta/README.md
new file mode 100644
index 0000000000000000000000000000000000000000..7ffbe7ee56c3f36f47385e8b9ac67913b9131bb2
--- /dev/null
+++ b/systems/meta/README.md
@@ -0,0 +1,22 @@
+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
+ * **teaser** (optional) a one-line description for the overview
+
+ * **start_date** the system start date (YYYY[-MM])
+ * **end_date** (optional) the system end date (YYYY[-MM])
+
+ * **people** (optional) a list of KWARC people involved in this
+
+ * **website** (optional): the system home page
+ * **repository** (optional): the system repository
+
+A system is considered active, iff it has no end date.
\ No newline at end of file
diff --git a/systems/historic.md b/systems/meta/historic.md
similarity index 60%
rename from systems/historic.md
rename to systems/meta/historic.md
index acc243f1a298e83a3b560f2fa6710fe315dc0423..999fded29d0f3953a08e33fb5faf5172ba4630cb 100644
--- a/systems/historic.md
+++ b/systems/meta/historic.md
@@ -1,10 +1,8 @@
---
layout: default
title: Historic Systems
-menu_title: Historic
-menu_order: 102
+permalink: /systems/historic/
---
-## Historic Systems ([active systems](/systems/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
@@ -12,11 +10,12 @@ 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.
-
-
-
-
-
-
+{% assign systems = site.pages | where: "layout", "system" | sort: "pillar" | sort: "start_date" %}
+
+<ul class="collection">
+ {% for item in systems %}
+ {% if item.end_date %}
+ {% include psitem.html %}
+ {% endif %}
+ {% endfor %}
+</ul>
\ No newline at end of file
diff --git a/systems/meta/index.md b/systems/meta/index.md
new file mode 100644
index 0000000000000000000000000000000000000000..e0a1e72f31187998e735a74267e7a9fe5f1e2a39
--- /dev/null
+++ b/systems/meta/index.md
@@ -0,0 +1,15 @@
+---
+layout: default
+title: Systems
+permalink: /systems/
+---
+
+{% assign systems = site.pages | where: "layout", "system" | sort: "start_date" %}
+
+<ul class="collection">
+ {% for item in systems %}
+ {% unless item.end_date %}
+ {% include psitem.html %}
+ {% endunless %}
+ {% endfor %}
+</ul>
\ No newline at end of file
diff --git a/systems/mmt.md b/systems/mmt.md
index 19cd9af0014fb1436ab5a02bb3ab98b169e6b6c1..e0d74f98c8b532bb407d4dbd68afd9c8c905a57a 100644
--- a/systems/mmt.md
+++ b/systems/mmt.md
@@ -1,9 +1,20 @@
---
layout: system
-menu_title: MMT
+
title: "MMT: Meta Meta Theories/Meta Meta Tool"
teaser: A framework for representing declarative languages such as logics, type theories, set theories, etc.. The MMT API implements complex algorithms generically for any language in the framework.
-people: frabe,dmueller,twiesing,miancu,fhorozal
+
+start_date: 2011-03
+
+people:
+ - frabe
+ - dmueller
+ - twiesing
+ - miancu
+ - fhorozal
+
+website: https://uniformal.github.io/
+repository: https://github.com/Uniformal/MMT
---
MMT is a framework for representing declarative languages such as logics, type theories, set theories, etc.. It achieves a high level of generality by systematically avoiding a commitment to a particular syntax or semantics. Instead, individual language features (e.g., λ-abstraction, conjunction, etc.) and syntax features (keywords, notations, etc.) are defined as separate, reusable modules, from which individual languages are assembled. These modules can be declarative by specifying features as Mmt theories or programmatic by providing individual rules as plugins.Despite this high degree of abstraction, it is possible to implement advanced algorithms generically at the MMT level. These include knowledge management algorithms (e.g, IDE, search, change management) as well as logical algorithms (e.g., parsing, type reconstruction, module system). Thus, we can use MMT to obtain strong implementations of declarative languages at extremely low cost.Moreover, the focus on modularity and language-independence enables system integration, where MMT can mediate the exchange of knowledge across different foundational systems and concrete syntaxes.See here for the MMT homepage.
diff --git a/systems/mws.md b/systems/mws.md
index 5e48a6ea4db9866abef71bc1742c94e61eb650ea..cac65794816b24e605031907e0f6edb8acd578a4 100644
--- a/systems/mws.md
+++ b/systems/mws.md
@@ -1,14 +1,22 @@
---
layout: system
+
menu_title: MathWebSearch
title: "MathWebSearch a Mathematical Search Engine"
-pillar: KMR
-start: 2005
-people: mkohlhase,isucan,cprodescu,rhambasan,ahambasan
+
+start_date: '2005'
+
+people:
+ - mkohlhase
+ - isucan
+ - cprodescu
+ - rhambasan
+ - ahambasan
+
+website: http://search.mathweb.org
+repository: http://githhub.com/KWARC/mws
---
The MathWebSearch system (MWS) is a content-based search engine for mathematical
formulae. It indexes MathML formulae, using a technique derived from automated theorem
-proving: Substitution Tree Indexing. Find more information at the
-[Project Overview Page](http://search.mathweb.org) or the
-[GitHub Repository](http://githhub.com/KWARC/mws).
+proving: Substitution Tree Indexing.
diff --git a/systems/omdoc.md b/systems/omdoc.md
index 13c332fdb54b6dc105b840627e3cb658ab1b3d6c..6ab7bd542a8426c5b2c3e216a6b8eda3f7e60e18 100644
--- a/systems/omdoc.md
+++ b/systems/omdoc.md
@@ -1,11 +1,16 @@
---
layout: system
-menu_title: OMDoc
+
title: "OMDoc: Open Mathematical Documents"
teaser: A markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge.
-homepage: http://omdoc.org
-repository: http://github.com/OMDoc
-people: mkohlhase
+
+start_date: '1998'
+
+people:
+ - mkohlhase
+
+website: http://omdoc.org
+repository: https://github.com/OMDoc
---
OMDoc is a markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge.
diff --git a/systems/openmathmap.md b/systems/openmathmap.md
index 4d9d54d202d3fac3b20752cb7acc63e057920c83..bd5e9c8f60425c2cf6288067cc8ba279d2ae38b8 100644
--- a/systems/openmathmap.md
+++ b/systems/openmathmap.md
@@ -1,10 +1,15 @@
---
layout: system
+
title: OpenMathMap
teaser: A Map of Mathematics
-start: 2013-06
+
+start_date: 2013-06
+
+people:
+ - mkohlhase
+
+website: http://map.mathweb.org
repository: https://github.com/KWARC/openmathmap/
-homepage: http://map.mathweb.org
-people: mkohlhase
---
OpenMathMap project, a recognizable, interactive map of mathematical areas from the MSC an Zentralblatt Publication Data.
diff --git a/systems/sTeX.md b/systems/sTeX.md
index 50a7212758fc5ac5396dc3a4196f538170453492..60ac2de4b2d04d44d6ff7c5d1edc339d0af140fd 100644
--- a/systems/sTeX.md
+++ b/systems/sTeX.md
@@ -1,11 +1,17 @@
---
layout: system
-menu_title: sTeX
+
title: "sTeX: Semantic Markup for LaTeX"
-pillar: semantization
-start: 2004-09
-people: mkohlhase,dginev
+
+start_date: 2004-09
+
+people:
+ - mkohlhase
+ - dginev
+
+repository: https://github.com/KWARC/sTeX
---
+
The TeX/LaTeX workflow is deeply embedded into mathematical practice. Therefore the sTeX
-system allows to embed [/structural semantics](/research/structural-semantics) into documents. For details see the [sTeX project on GitHub](https://github.com/KWARC/sTeX).
+system allows to embed [/structural semantics](/research/structural-semantics) into documents.
diff --git a/systems/sally.md b/systems/sally.md
index 7b2729a33f8dccc101ee1b713ed46c4456bbd80c..e60c015bf690c27a4a821fb5e12754aa2bc1382b 100644
--- a/systems/sally.md
+++ b/systems/sally.md
@@ -1,7 +1,15 @@
---
layout: system
+
title: Semantic Alliance
teaser: A framework for mashing up semantic services into desktop applications.
+
+start_date: 2013-02
+
+people:
+ - mkohlhase
+ - akohlhase
+ - cjucovschi
+
repository: https://github.com/KWARC/Sally
-people: mkohlhase,akohlhase,cjucovschi
---
diff --git a/systems/smglom.md b/systems/smglom.md
index b3d32ab8dcadd595edbd1bb5e0147d005460222e..74d0bb8dfc2b3f82e8aeb81e9cd9b493b0afab66 100644
--- a/systems/smglom.md
+++ b/systems/smglom.md
@@ -1,9 +1,12 @@
---
layout: system
-menu_title: SMGloM
+
title: "The Semantic, Multilingual Glossary of Mathematics"
-pillar: KMR
-start: 2013-11
-people: mkohlhase,cjucovshi,miancu
----
-The [Semantic, Multilingual Glossary of Mathematics](/systems/smglom/) is a
+
+start_date: 2013-11
+
+people:
+ - mkohlhase
+ - cjucovshi
+ - miancu
+---
\ No newline at end of file
diff --git a/systems/swim.md b/systems/swim.md
index 84b9b38c99ec34229830870968be09872cfc8861..19cef8f627428328cdb6c1dc37d0a524897eb32e 100644
--- a/systems/swim.md
+++ b/systems/swim.md
@@ -1,9 +1,14 @@
---
layout: system
-menu_title: SWIM
+
title: "SWiM: Semantic Wiki for Mathematics"
-start: 2006-08
-end: 2009-06
-people: mkohlhase,clange
+
+start_date: 2006-08
+end_date: 2009-06
+
+people:
+ - mkohlhase
+ - clange
---
-SWIM is a Semantic Wiki for Interactive Mathematics. The system has been superseded by [MathHub](/systems/mathhub/).
+
+SWIM is a Semantic Wiki for Interactive Mathematics. The system has been superseded by [MathHub](/systems/mathhub/).
\ No newline at end of file