Без заголовка

Языки, у которых дизайн-цель безопасность (доказательства правильности программ) -- они не подходят для моделирования они как раз лучше подходят, ибо в силу ограничений для них (несопоставимо) проще делать всякие формальные методы. фактически все равно придется делать на DSL язык с ограничениями, но это может оказаться немного через задницу. Все-таки "сахарность" тут тоже важна, а реализовывать ее (еще раз) для eDSL не факт что получиться да и геморройно может выйти. Хотя это конечно зависит от целей, которые ставяться перед моделированием/онтологизированием. Но для чего-то более-менее серьезного все же хочется иметь крутые формальные методы. Я бы сказал, что в конце-концов все упирается в ту самую безопасность - т.е. получать более корректные программы (в которых устранены те или иные подклассы ошибок). Вопрос только в трейдоффе между сложностью для понимания и выразительностью формальных методов. Ну и затрат времени на все это дело тоже конечно.