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