Здравствуйте, LaPerouse, Вы писали:

LP>Насколько я понял, вам не нравиться именно концепция rdf-троек, то есть по факту бинарность предикатов (свойств) rdf. Это так?

Нет, бинарность тут не при чем. Сам OWL (а точнее DL) по большей частью укладывается в C_2 (логика первого порядка с всего двумя переменными). Не укладывается только транзитивность свойств, но дело не в ней. Сейчас я в следующем сообщении постараюсь объяснить проблему.