From f0c97b9e57b74b847e2d806692d31b66a3f14984 Mon Sep 17 00:00:00 2001
From: Tom Wiesing <tkw01536@gmail.com>
Date: Fri, 23 Jun 2017 21:49:33 -0400
Subject: [PATCH] Get systems pages ready for deployment
---
_config.yml | 13 ++++-
_includes/psitem.html | 25 +++++++++
_layouts/system.html | 99 +++++++++++++++-------------------
systems/README.md | 24 ---------
systems/TNTBase.md | 12 +++--
systems/active.md | 17 ------
systems/arXMLiv.md | 13 +++--
systems/cpoint.md | 10 ++--
systems/jomdoc.md | 14 +++--
systems/kat.md | 12 +++--
systems/krextor.md | 11 ++--
systems/llamapun.md | 17 ++++--
systems/mathhub.md | 14 +++--
systems/meta/README.md | 22 ++++++++
systems/{ => meta}/historic.md | 21 ++++----
systems/meta/index.md | 15 ++++++
systems/mmt.md | 15 +++++-
systems/mws.md | 20 ++++---
systems/omdoc.md | 13 +++--
systems/openmathmap.md | 11 ++--
systems/sTeX.md | 16 ++++--
systems/sally.md | 10 +++-
systems/smglom.md | 15 +++---
systems/swim.md | 15 ++++--
24 files changed, 285 insertions(+), 169 deletions(-)
create mode 100644 _includes/psitem.html
delete mode 100644 systems/README.md
delete mode 100644 systems/active.md
create mode 100644 systems/meta/README.md
rename systems/{ => meta}/historic.md (60%)
create mode 100644 systems/meta/index.md
diff --git a/_config.yml b/_config.yml
index 58a0b70..95c7bba 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 0000000..4e413ab
--- /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 4a66897..f553b62 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 aa9b73c..0000000
--- 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 9c6714c..e9f2387 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 2d6fdf3..0000000
--- 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 9c84f72..129a8b6 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 719af42..1bbfd54 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 a82cd17..475da9a 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 a1ab161..a636b38 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 36f321e..b038560 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 024d54f..5916d49 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 8eeeaa4..153dba2 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 0000000..7ffbe7e
--- /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 acc243f..999fded 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 0000000..e0a1e72
--- /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 19cd9af..e0d74f9 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 5e48a6e..cac6579 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 13c332f..6ab7bd5 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 4d9d54d..bd5e9c8 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 50a7212..60ac2de 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 7b2729a..e60c015 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 b3d32ab..74d0bb8 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 84b9b38..19cef8f 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
--
GitLab