Resolve "Sync Diagnosis Model with Ontology Changes" (!12) · Merge requests · interactive-KB-debugging / debugger · GitLab

Wolfgang Schmid requested to merge 52-sync-diagnosis-model-with-ontology-changes into master Nov 16, 2016

Closes #52 (closed) and #47 (closed)