Knowledge Representation and Reasoning Techniques Group
Knowledge Representation and Reasoning Techniques Groupkwarc.info
The group conducts research in knowledge representation and reasoning techniques with a view towards applications in knowledge management. We extend techniques from formal methods so that they can be used in settings where formalization is either infeasible or too costly. We concentrate on developing techniques for marking up the structural semantics in technical documents. This level of markup allows for offering interesting knowledge management services without forcing the author to formalize the document contents.
Director: Prof. Dr. Michael Kohlhase