From 587c4e81deb23d49662a4cd0fe722cd2712db273 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 6 May 2017 15:45:01 +0200
Subject: [PATCH] more systems
---
systems/active.md | 2 +-
systems/arXMLiv.md | 2 +-
systems/historic.md | 2 +-
{projects => systems}/llamapun.md | 2 +-
systems/mathhub.md | 11 +++++++++++
systems/mmt.md | 9 +++++++++
systems/mws.md | 2 +-
systems/omdoc.md | 11 +++++++++++
systems/sTeX.md | 2 +-
systems/sally.md | 8 ++++++++
systems/smglom.md | 4 ++--
11 files changed, 47 insertions(+), 8 deletions(-)
rename {projects => systems}/llamapun.md (97%)
create mode 100644 systems/mathhub.md
create mode 100644 systems/mmt.md
create mode 100644 systems/omdoc.md
create mode 100644 systems/sally.md
diff --git a/systems/active.md b/systems/active.md
index 4641178..b683bbf 100644
--- a/systems/active.md
+++ b/systems/active.md
@@ -4,7 +4,7 @@ title: Active Systems
menu_title: Active
menu_order: -1
---
-## Actively Developed Systems ([Historic Systems](/projects/historic))
+## Actively Developed Systems ([Historic Systems](/systems/historic))
listing to be generated here.
diff --git a/systems/arXMLiv.md b/systems/arXMLiv.md
index 9d333d6..04a906c 100644
--- a/systems/arXMLiv.md
+++ b/systems/arXMLiv.md
@@ -1,5 +1,5 @@
---
-layout: project
+layout: system
menu_title: arXMLiv
title: arXMLiv
start: 2006
diff --git a/systems/historic.md b/systems/historic.md
index 5ac2665..9df027a 100644
--- a/systems/historic.md
+++ b/systems/historic.md
@@ -4,7 +4,7 @@ title: Historic Systems
menu_title: Historic
menu_order: 2
---
-## Historic Systems ([active systems](/projects/active/))
+## 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
diff --git a/projects/llamapun.md b/systems/llamapun.md
similarity index 97%
rename from projects/llamapun.md
rename to systems/llamapun.md
index cd883c6..024d54f 100644
--- a/projects/llamapun.md
+++ b/systems/llamapun.md
@@ -1,5 +1,5 @@
---
-layout: project
+layout: system
menu_title: LLaMaPuN
title: "LLaMaPuN: Language and Mathematics Processing and Understanding"
start: 2008-11
diff --git a/systems/mathhub.md b/systems/mathhub.md
new file mode 100644
index 0000000..5804d91
--- /dev/null
+++ b/systems/mathhub.md
@@ -0,0 +1,11 @@
+---
+layout: system
+menu_title: MathHub
+title: MathHub
+teaser:A portal for active mathematical documents and an archive for flexiformal mathematics.
+start: 2008-08
+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/mmt.md b/systems/mmt.md
new file mode 100644
index 0000000..19cd9af
--- /dev/null
+++ b/systems/mmt.md
@@ -0,0 +1,9 @@
+---
+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
+---
+
+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 9323427..5e48a6e 100644
--- a/systems/mws.md
+++ b/systems/mws.md
@@ -1,5 +1,5 @@
---
-layout: project
+layout: system
menu_title: MathWebSearch
title: "MathWebSearch a Mathematical Search Engine"
pillar: KMR
diff --git a/systems/omdoc.md b/systems/omdoc.md
new file mode 100644
index 0000000..13c332f
--- /dev/null
+++ b/systems/omdoc.md
@@ -0,0 +1,11 @@
+---
+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
+---
+
+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/sTeX.md b/systems/sTeX.md
index d96c2f8..50a7212 100644
--- a/systems/sTeX.md
+++ b/systems/sTeX.md
@@ -1,5 +1,5 @@
---
-layout: project
+layout: system
menu_title: sTeX
title: "sTeX: Semantic Markup for LaTeX"
pillar: semantization
diff --git a/systems/sally.md b/systems/sally.md
new file mode 100644
index 0000000..4c1c8f6
--- /dev/null
+++ b/systems/sally.md
@@ -0,0 +1,8 @@
+---
+layout: system
+menu_title: Semantic Alliance
+title: Semantic Alliance
+teaser:A framework for mashing up semantic services into desktop applications.
+repository: https://github.com/KWARC/Sally
+people: mkohlhase,akohlhase,cjucovschi
+---
diff --git a/systems/smglom.md b/systems/smglom.md
index cc835fd..b3d32ab 100644
--- a/systems/smglom.md
+++ b/systems/smglom.md
@@ -1,9 +1,9 @@
---
-layout: project
+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](/projects/smglom/) is a
+The [Semantic, Multilingual Glossary of Mathematics](/systems/smglom/) is a
--
GitLab