Без заголовка
Сегодня из САПР тащат в базу PLM абсолютно всё. Лет десять назад тащили лишь метаинформацию, и не больше того.
Другой вопрос в том, что там за inference. Не логический, конечно ))) Там солвер -- геометрический движок САПР главным образом, хотя для аннотаций (модель по идее богато аннотируется) может и что-то другое быть использовано.
Dassault Systeme свои САПРы и PLM давно по такой схеме делает, и язык обращения к базе там не логический. И ничего, всё работает.