Skip to content
Snippets Groups Projects
Commit 9288c462 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

more

parent e2171547
No related branches found
No related tags found
No related merge requests found
......@@ -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">
......
---
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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment