--- layout: project menu_title: OMOC title: "OMoC: Ontology-based Management of Change" start: 2008 end: 2010 funding: DFG program: Normalverfahren grantid: KO 2428/8-1 collaborators: Dieter Hutter, DFKI Bremen people: mkohlhase --- 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).