omoc.md

---
layout: project

title: "OMoC: Ontology-based Management of Change"

active: false
start_date: '2008'
end_date: '2010'

people:
    - mkohlhase

collaborators:
    - Dieter Hutter, DFKI Bremen

funding: DFG
program: Normalverfahren
grantid: KO 2428/8-1
---

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