Forked from
KWARC / kwarc.info / www
760 commits behind the upstream repository.
-
Michael Kohlhase authoredMichael Kohlhase authored
kminteract.md 597 B
layout: page
title: Semantic Services, Knowledge Management & Interaction
menu_title: Services, KM & Interaction
menu_order: 104
The purpose of knowledge representation and formalization 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.
The KWARC group develops various semantic services and ways of interacting with the underlying semantics of documents. For instance, the