---
layout: page
title: Semantic Services, Knowledge Management & Interaction
menu_title: Services, KM & Interaction
menu_order: 104
---

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