OMoC: Ontology-based Management of Change
Funding: DFG
Program: Normalverfahren
Grant ID: KO 2428/8-1
Prof. Dr. Michael Kohlhase 
Dr. Normen Müller
Funds: 
OMDoc
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
Funds:
OMDoc 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).