Skip to content
Snippets Groups Projects
Normal view Permalink
kminteract.md 597 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    first skeleton
    Michael Kohlhase committed
    1 2 
    ---
layout: page
    Michael Kohlhase's avatar
    more  
    Michael Kohlhase committed
    3 4 
    title: Semantic Services, Knowledge Management & Interaction
menu_title: Services, KM & Interaction
    Tom Wiesing's avatar
    Rework the menu  
    Tom Wiesing committed
    5 
    menu_order: 104
    Michael Kohlhase's avatar
    first skeleton
    Michael Kohlhase committed
    6 
    ---
    Michael Kohlhase's avatar
    more  
    Michael Kohlhase committed
    7 8 9 10 11 12 13 14 
    
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