research/index.md

@@ -2,7 +2,7 @@
 layout: page
 title: KWARC Research
 menu_title: Overview
-menu_order: 101
+hidden: true
 ---
  The KWARC research group conducts research in knowledge representation with a view towards applications in knowledge management.
  We extend techniques from [formal methods](formal-methods/) so that they can be used in settings where formalization is either infeasible or too costly.
@@ -12,6 +12,9 @@ menu_order: 101
 
 
 <table style="border: 1px solid black">
+  <col width="33%"/>
+  <col width="33%"/>
+  <col width="33%"/>
   <tbody>
     <tr style="border: 1px solid black">
       <td colspan="3">
@@ -30,31 +33,29 @@ menu_order: 101
       <li><a href="https://omdoc.org">OMDoc</a></li>
       <li><a href="http://uniformal.github.io">MMT: Modular Math Theories</a></li>
       <li><a href="/projects/latin">Logic Morphisms/Atlas</a></li>
-      <li>advanced Type Theories</li>
+      <li>Advanced Type Theories</li>
       <li><a href="/projects/oaf/">Theorem Prover</a> and <a href="../projects/odk/">Computer Algebra</a>  Interoperability</li>
     </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://trac.omdoc.org/JOBAD">JOBAD: Document-Embedded Interaction</a></li>
-      <li><a href="https://trac.mathweb.org/tntbase">TNTBase: Versioned XML Storage</a></li>
-      <li><a href="http://trac.mathweb.org/MWS">Math Web Search</a></li>
-      <li>Math Archives</li>
+      <li><a href="/systems/mws/">Math Web Search</a></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>
@@ -69,3 +70,7 @@ menu_order: 101
     </tr>
   </tbody>
 </table>
+
+The KWARC Group welcomes student involvement in research. If you are interested, please send an e-mail to <michael.kohlhase@fau.de>, or come to our seminars and courses
+
+We have an initial list topics for [theses, or guided research](https://gl.kwarc.info/kwarc/thesis-projects)

research/kminteract.md

 ---
 layout: page
-title: Knowledge Management & Interaction
-menu_title: KM & Interaction
+title: Semantic Services, Knowledge Management & Interaction
+menu_title: Services, KM & Interaction
 menu_order: 104
 ---
-...more to be written ...
+
+The purpose of [knowledge representation](structural-semantics/) and
+[formalization](formal-methods/) is the provisioning of semantic services and ways of
+interacting with the represented knowledge that would be impossible if the knowledge
+structures were still implicity, - i.e. before [semanitzation](semantization/).
+
+The KWARC group develops various semantic services and ways of interacting with the
+underlying semantics of documents. For instance, the 

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

students/index.md

----
-layout: page
-title: For Students
-menu_title: KWARC For Students
-menu_order: 101
----
-The KWARC Group welcomes student involvement in research. If you are interested, please send an e-mail to <michael.kohlhase@fau.de>, or come to our seminars and courses
-
-We have an initial list topics for [theses, or guided research](https://gl.kwarc.info/kwarc/thesis-projects)
-

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

+---
+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
+makes it easy to create interactive web pages.

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.