KWARC: About us

The KWARC research group conducts research in knowledge representation 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 too costly. We concentrate on developing techniques for marking up the structural semantics in technical documents. This level of markup allows to offer interesting knowledge management services, without forcing the author to formalize the document contents.

The KWARC group is based at Jacobs University Bremen and DFKI Lab Bremen (Safe and Secure Cognitive Systems Division). This setup lets us build a pipeline between foundational research and innovative applications that transports technologies and ideas towards applications and innovation challenges towards research.

The KWARC web site you are looking at is intended for the discussion of activities that are largely group-internal. Projects with significant outside cooperation or visibility will be hosted on the MathWeb.org site.