omoc.md

---
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).