OMoC: Ontology-based Management of Change
Using semantic features in document collections for better change management.

From: 2008
To: 2010

Funding: DFG
Program: Normalverfahren
Grant ID: KO 2428/8-1

Prof. Dr. Michael Kohlhase
Dr. Normen Müller

Dieter Hutter, DFKI Bremen


The OMOC project studies mechanisms for the Ontology-based Management of Change. The idea is to manage dependencies in/between documents (given by document ontology). The target is collaborative editing of mathematical documents (Plugin to Version Control).