Let's show begins:-)
Вот копия с форума от 09.07. 14 так на всякий случай: "Всем привет! Давно не заходил. Оторвался от коллектива.
Тут на ontolog-forum случайно возник вопрос о выразительной силе OWL.
Я написал "... if you have sentences of some knowledge in English not expressible in OWL give us and we can make formal languages competition."
И получил от John Sowa:
"> A benzene molecule has 6 carbon atoms and 6 hydrogen atoms.
> Each hydrogen atom is linked to exactly 1 carbon atom.
> The carbon atoms are connected in a ring with each carbon atom
> linked to exactly 2 other carbon atoms.
> An atom X is connected to an atom Y iff X is linked to Y
> or X is linked to an atom Z that is connected to Y.
"
Я не силён в OWL. Может кто-нибудь поучаствовать и перевести на OWL или сказать что записать нельзя?
Мне кажется такие соревнования очень полезны.
Можно даже иметь такую копилку: CNL 2 OWL, CL..."
А вот ответ Павла Клинова от 13.07.14 "Нельзя, конечно. В OWL нельзя выразить классы, моделями которых будут циклические структуры."