1 Тема от ashkotin

  • Зарегистрирован: 2010-11-09
  • Сообщений: 85
  • User Karma: 20

Тема: Соревнование формальных языков

Всем привет! Давно не заходил. Оторвался от коллектива.

Тут на 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...

Отредактировано ashkotin (2014-07-09 19:50:54)

Thumbs up Thumbs down

2 Ответ от PavelK

  • PavelK
  • Moderator
  • Неактивен
  • Откуда: Ulm
  • Зарегистрирован: 2009-08-20
  • Сообщений: 237
  • User Karma: 105

Re: Соревнование формальных языков

Нельзя, конечно. В OWL нельзя выразить классы, моделями которых будут циклические структуры.

Сайт PavelK

Thumbs up +1 Thumbs down

3 Ответ от ashkotin

  • Зарегистрирован: 2010-11-09
  • Сообщений: 85
  • User Karma: 20

Re: Соревнование формальных языков

Если модель может иметь цикл произвольной длины то такое, кажется даже в FOL записать нельзя.
А вот предикат Ring(x1 x2 x3 x4 x5 x6) в FOL выразим.
А в OWL?

Thumbs up Thumbs down

4 Ответ от PavelK

  • PavelK
  • Moderator
  • Неактивен
  • Откуда: Ulm
  • Зарегистрирован: 2009-08-20
  • Сообщений: 237
  • User Karma: 105

Re: Соревнование формальных языков

Нет. tree model property, однако.

Сайт PavelK

Thumbs up Thumbs down