Szakterület-specifikus modelleken értelmezett kényszerek leképezése ontológia alapú és gráfminta reprezentációkba