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

Онтологие - это да. Но есть загвоздка. Обычные онтологии подходят чтобы мапить реляционные данные. Ну может с иерархией классов. Но у них возникают проблемы, если требуются мета-свойства. Грубо говоря, тут дилемма либо переходить к предикатам высших порядков, либо пытаться это все закодировать в обычной онтологии. Оба варианта геморройные, но последний не масштабируемый. Потому как предикаты высших порядков кодировать - это сразу описания распухают. Ведь предикат высшего порядка в качестве аргумента содержит другой предикат, т.е. табличку. А в табличке куча значений, и оно все множится и множится.