Forked from
KWARC / kwarc.info / www
891 commits behind the upstream repository.
-
Michael Kohlhase authoredMichael Kohlhase authored
omoc.md 623 B
layout: project
title: "OMoC: Ontology-based Management of Change"
teaser: Using semantic features in document collections for better change management.
active: false
start_date: '2008'
end_date: '2010'
people:
- mkohlhase
- nmueller
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).