From 9288c4622e44beb1bb04bafc7edce0c7f2901d07 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 1 Jul 2017 15:40:55 +0200
Subject: [PATCH] more
---
research/index.md | 3 +++
research/kminteract.md | 13 ++++++++++---
2 files changed, 13 insertions(+), 3 deletions(-)
diff --git a/research/index.md b/research/index.md
index 530206e..3d79aa4 100644
--- a/research/index.md
+++ b/research/index.md
@@ -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">
diff --git a/research/kminteract.md b/research/kminteract.md
index df380b4..9b3567f 100644
--- a/research/kminteract.md
+++ b/research/kminteract.md
@@ -1,7 +1,14 @@
---
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
--
GitLab