research/index.md

@@ -38,25 +38,24 @@ hidden: true
     </ul>
       </td>
       <td style="border: 1px solid black">
-    <a href="research/kminteract"><span style="font-weight:bold">Knowledge Mgt. &amp; Interaction</span></a>
+    <a href="kminteract"><span style="font-weight:bold">Knowledge Mgt. &amp; Interaction</span></a>
     <ul>
       <li>Semantic Interpretation</li>
-      <li><a href="https://github.com/KWARC/jobad">JOBAD: Document-Embedded Interaction</a></li>
       <li><a href="/systems/mws/">Math Web Search</a></li>
-      <li>Math Archives</li>
+      <li><a href="/systems/mathhub/">MathHub</a></li>
+	  <li><a href="/systems/frameit/">Serious Games</a></li>
     </ul>
       </td>
       <td style="border: 1px solid black">
-    <a href="research/semantization">
+    <a href="semantization">
       <span style="font-weight:bold">Semantization</span>
     </a>
     <ul>
-      <li><a href="/systems/arXMLiv/">LaTeX --&gt; XML</a></li>
+      <li><a href="/projects/arXMLiv/">LaTeX --&gt; XML</a></li>
       <li><a href="/systems/sTeX/">sTeX: Semantic LaTeX</a></li>
-      <li>Invasive editors</li>
       <li>Context-Aware IDEs</li>
-      <li>Mathematical Corpora</li>
-      <li><a href="/systems/llamapun/">Linguistics of Math</a></li>
+      <li>Mathematical <a href="http://gl.mathhub.info">Corpora</a> and <a href="sigmathling.kwarc.info">data sets</a></li>
+      <li><a href="/projects/comma/">Linguistics of Math</a></li>
     </ul>
       </td>
     </tr>

research/structural-semantics.md

@@ -4,10 +4,10 @@ title: Structural Semantics
 menu_order: 103
 ---
 
-Computer support for document interaction is only possible if some aspects of the meaning of the document content are made explicit - i.e. formalized and dealt with with [formal methods](formal-methods/).
-In many cases, useful [mathematical services](kminteract/) can be rendered by machines without having an [entailment relation](formal-methos/), for instance we can search for a formula, we can determine the concepts it depends upon, etc.
+Computer support for document interaction is only possible if some aspects of the meaning of the document content are made explicit - i.e. formalized and dealt with with [formal methods](../formal-methods/).
+In many cases, useful [mathematical services](../kminteract/) can be rendered by machines without having an [entailment relation](../formal-methods/), for instance we can search for a formula, we can determine the concepts it depends upon, etc.
 The commonality of such services is that they are based on the structure of the formulae alone.
 For instance, instead of relying on a formal calculus to determine theorem-hood, we only insist that there be an object that has the structure of a proof.
 We speak of *structural semantics* as a lightweight form of meaning annotation. 
 
-So instead of formalizing mathematical knowledge to a level where an entailment relation can be induced, we can use structural descriptions instead, e.g. by annotating certain properties to mathematical documents turning them into [objects of flexible formality](https://mathhub.info/help/FlexiForms.html). 
+So instead of formalizing mathematical knowledge to a level where an entailment relation can be induced, we can use structural descriptions instead, e.g. by annotating certain properties to mathematical documents turning them into [objects of flexible formality](https://mathhub.info/help/FlexiForms.html).

run

+bundle exec jekyll serve

systems/TNTBase.md

@@ -2,6 +2,7 @@
 layout: system
 
 title: TNTBase
+shorttitle: TNTBase
 teaser: A  Versioned Storage for Mathematics (OMDoc) 
 
 start_date: 2009-09
@@ -10,6 +11,8 @@ end_date: 2012-08
 people:
     - mkohlhase
     - vzholudev
+logo: public/kwarc_logo.svg
+publink: http://kwarc.github.io/bibs/tntbase
 ---
 
 TNTBase is a database which is optimized for storing mathematical documents in OMDoc format. It is based on Subversion and Berkeley DB XML.

systems/arXMLiv.md

----
-layout: system
-
-title: arXMLiv
-teaser: Translating the arXiv to XML/HTML5 
-start_date: '2006'
-
-people:
-    - mkohlhase
-    - dginev
-
-website: http://cortex.mathweb.info
-repository: https://github.com/dginev/CorTeX
----
-
-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.

systems/cpoint.md

@@ -2,6 +2,7 @@
 layout: system
 
 title: CPoint
+shorttitle: CPoint
 teaser: Adding a semantic layer to MS PowerPoint.
 
 start_date: 2001-07
@@ -9,6 +10,8 @@ end_date: 2008-04
 
 people:
     - akohlhase
+publink: http://kwarc.github.io/bibs/cpoint
+logo: public/kwarc_logo.svg
 ---
 CPoint is an extension to MS PowerPoint that allows to add and manage semantic annotations
 in PowerPoint presentations. The system offers various embedded semantic services.  

systems/frameit.md

+---
+layout: system
+
+menu_title: FrameIt
+shorttitle: FrameIT
+title: The UFrameIT Framework
+teaser: A Framework for Serious Games by combining Virtual Worlds with Mathematical Knowledge Management
+
+start_date: '2013'
+
+people: 
+    - mkohlhase
+    - dmueller
+    - rmarcus
+    - nroux
+    - jschihada
+
+supported-by:
+    - oaf
+
+website: https://uframeit.org
+repository: https://github.com/UFrameIT
+publink: http://kwarc.github.io/bibs/frameit
+---
+
+The FrameIT project builds a Framework for Serious Games by combining Virtual Worlds with
+Mathematical Knowledge Management. The main idea is that we can use 
+[MMT](https://kwarc.info/projects/mmt) theory graphs to represent the background knowledge
+and [MMT](https://kwarc.info/projects/mmt) pushouts to compute the application of
+knowledge in concrete situations.
+
+The [UFrameIT](https://github.com/UFrameIT) framework uses the
+[Unity game engine](http://unity.com) with the [MMT](https://kwarc.info/projects/mmt)
+system. 
+
+*For students*: Topics for theses and projects are available [here](https://gl.kwarc.info/kwarc/thesis-projects/-/issues?label_name%5B%5D=FrameIT).

systems/jobad.md

@@ -2,14 +2,18 @@
 layout: system
 
 title: JOBAD
+shorttitle: JOBAD
 teaser: A Javascrip Framework for instrumenting Active Documents with Semantic Services
-
 start_date: 2008-09
+end_date: 2015-12
 oprhan: true
 
 people: 
     - frabe
     - twiesing
+logo: public/kwarc_logo.svg
+publink: http://kwarc.github.io/bibs/jobad
+repository: https://github.com/kwarc/jobad
 ---
 
 JOBAD (JavaScript API for OMDoc-based Active Documents) is a javascript framework which

systems/jomdoc.md

@@ -2,6 +2,7 @@
 layout: system
 
 title: JOMDoc
+shorttitle: JOMDoc
 teaser: A Java API for OMDoc documents
 
 start_date: 2007-09
@@ -10,6 +11,7 @@ end_date: 2013-12
 people: 
     - mkohlhase
     - nmueller
+logo: public/kwarc_logo.svg
 ---
 
 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.

systems/kat.md

@@ -2,15 +2,23 @@
 layout: system
 
 title: "KAT: KWARC Annotation Tool" 
+shorttitle: KAT
 teaser: An Annotation Tool for STEM Documents
 
 start_date: 2013-06
+end_date: 2017-06
+orphan: true
 
 people:
     - mkohlhase
     - twiesing
 
-repository: https://github.com/KWARC/KAT 
+supported-by:
+    - mathsearch
+
+logo: public/kwarc_logo.svg
+repository: https://github.com/KWARC/KAT
+publink: http://kwarc.github.io/bibs/kat
 ---
 
 KAT is an  annotation-ontology independent annotation tool for HTML5 documents. It can

systems/krextor.md

@@ -2,6 +2,7 @@
 layout: system
 
 title: Krextor
+shorttitle: Krextor
 teaser: An extensible XSLT-based framework for extracting RDF from XML.
 
 start_date: 2008-02
@@ -12,6 +13,7 @@ people:
 
 webpage: https://github.com/EIS-Bonn/krextor/wiki
 repository: https://github.com/EIS-Bonn/krextor
+publink: http://kwarc.github.io/bibs/krextor
 ---
 
 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.

systems/llamapun.md

 ---
 layout: system
 
-title: "LLaMaPuN: Language and Mathematics Processing and Understanding" 
+title: "LLaMaPuN: Language and Mathematics Processing and Understanding"
+shorttitle: LLaMaPuN
 teaser: A RUST library for math corpus linguistics.
 
 start_date: 2008-11
@@ -12,13 +13,29 @@ people:
     - jfschaefer
     - itoloaca
 
+supported-by:
+    - mathsearch
+
+logo: public/kwarc_logo.svg
 repository: https://github.com/KWARC/LLaMaPUn/
+publink: http://kwarc.github.io/bibs/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
+The [LLaMaPUn library](https://github.com/KWARC/LLaMaPUn/) is a
+[RUST](https://www.rust-lang.org) library that provides a wide range of processing
+tools for natural language and mathematics.
+It can be used to investigate the structure and meaning of scientific/technical
+documents and to build 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. 
+In particular, the LLaMaPUn library is used on the
+[arXMLiv](https://www.kwarc.info/projects/arXMLiv/) data set, which is a translation
+of the [arxiv](https://arxiv.org/) corpus to "HTML5 with [MathML](https://www.w3.org/TR/MathML/)".
+
+Some of the library's features are:
+ * Plaintext generation with many options (unicode normalization, word stemming, custom handling of e.g. `math` nodes, ...)
+ * Word/Sentence tokenization
+ * Support for standard NLP tools (token models for GloVe, POS tagging with SENNA, ...)
+ * Mapping between plaintext offsets and HTML nodes (using the DNM data structure)
 
+For a more complete overview, take a look at the [README file](https://github.com/KWARC/llamapun/blob/master/README.md).

systems/mathhub.md

 ---
 layout: system
 
-title: MathHub
+title: MathHub.info
+shorttitle: MathHub
 teaser: A portal for active mathematical documents and an archive for flexiformal mathematics.
 
 start_date: 2008-08
@@ -10,9 +11,32 @@ people:
     - mkohlhase
     - akohlhase
     - cjucovschi
+    - twiesing
+    - kbercic
 
+supported-by:
+    - mathsearch
+    - oaf
+    - odk
+    - latin
+    - mdh
+
+logo: public/mathHubLogo.png
 website: http://mathhub.info
 repository: https://github.com/KWARC/mathhub
+publink: http://kwarc.github.io/bibs/mathhub
 ---
 
-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 
+[MathHub.info](http://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.
+
+The [MathHub.info](http://mathhub.info) system consists of a
+
+* [repository manager](http://gl.mathhub.info) for mathematical archives based on [GitLab](http://gitlab.com) that handles user management, access control, and versioning. 
+* [knowledge management process](https://mmt.mathhub.info) based on the [MMT System](http://uniformal.github.io) that provides scalable knowledge management services and math presentation.
+* various indices and data stores including [MathWebSearch](/systems/mws/).
+* a web front end compositor that combines these into a uniform web experience. 
+* some special applications like a [multilingual glossary](https://mathhub.info/mh/glossary) and a [math dictionary](https://mathhub.info/mh/dictionary) based on the [SMGloM](/systems/smglom/) data set.
+
+[MathHub.info](http://mathhub.info) serves as the main data repository for the [OAF](/projects/oaf) and [SMGloM](/systems/smglom/) projects and (the KWARC part of the [OpenDreamKit](/projets/odk/) project. 

systems/meta/README.md

@@ -9,8 +9,11 @@ Each post needs some specific parameters:
  * **layout** use `system`
  
  * **title** the title of the system
+ * **shorttitle** the short title of the system, used for System Chips
  * **teaser** (optional) a one-line description for the overview
 
+ * **logo** (optional) a (local) path to the logo of a system
+
  * **start_date** the system start date (YYYY[-MM])
  * **end_date** (optional) the system end date (YYYY[-MM])
 

systems/meta/historic.md

@@ -10,12 +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.
  
-{% assign systems = site.pages | where: "layout", "system" | sort: "pillar" | sort: "start_date" %}
+{% assign systems = site.pages | where: "layout", "system" | sort: "start_date" %}
 
 <ul class="collection">
     {% for item in systems %}
         {% if item.end_date %}
-            {% include psitem.html %}
+            {% include psitem.html item=item %}
         {% endif %}
     {% endfor %}
 </ul>
\ No newline at end of file

systems/meta/index.md

 ---
 layout: default
-title: Systems
+title: Systems and Libraries
 permalink: /systems/
 ---
 
@@ -9,7 +9,7 @@ permalink: /systems/
 <ul class="collection">
     {% for item in systems %}
         {% unless item.end_date %}
-            {% include psitem.html %}
+            {% include psitem.html item=item %}
         {% endunless %}
     {% endfor %}
-</ul>
\ No newline at end of file
+</ul>

systems/orphans.md → systems/meta/orphans.md

 ---
 layout: page
 title: Orphaned Systems up for Adoption
+permalink: /systems/orphans/
 ---
+
 Many of the KWARC projects are the work of students and become orphaned when these move on
 to greener pastures (e.g. when they graduate). We put these systems up for adoption bt new
 students. If you are interested, please contact someone from the KWARC group, we would be
 happy to help you understand the development opportunities and get involved. 
+
+{% assign systems = site.pages | where: "layout", "system" | sort: "start_date" %}
+
+<ul class="collection">
+    {% for item in systems %}
+        {% if item.orphan %}
+            {% include psitem.html item=item %}
+        {% endif %}
+    {% endfor %}
+</ul>
\ No newline at end of file