avlasov (avlasov) wrote,
avlasov
avlasov

Category:

Системы онтологического программирования

Работ по онтологическому программированию не так много, тем не менее кое-какие и весьма значительные есть.

Самая значительная - это F-Logic, есть несколько реализаций Florid, Flora, Flora-2 есть даже коммерческая OntoBroker.
Есть также язык онтологического программирования Go! (не путать Google'овым), также как и F-Logic базирующийся на Прологе.

Из собственно языков насколько я понимаю и все :). Несомненно, есть еще языки которые можно использовать для онтологического программирования, но явно ориентированных на это я знаю только два.

Правда есть еще какие-то коммерческие редакторы онтологий, они наверняка тоже содержат какую-то языковую поддержку.

Также есть всеразличные rule системы, которые могут использоваться для онтологической работы, и даже для онто-программирования в каком-то виде. В том числе есть и rule системы явно ориентированные на работу с онтологиями.

Однако, основная часть разработок это движки и API ддя OWL. Т.е. в основном полагается, что языковая поддержка не нужна, обходитесь библиотеками.

И последнее, по порядку, но не по значимости! В России тоже ведутся работы по разработке системы онтологического программирования и даже есть коммъюнити в ЖЖ dot15926.livejournal.com/ И даже не просто по онтологическому, но и по языко-ориентированному программированию. Т.е. можно сказать что цель поставлена более глобальная нежели в случае F-Logic и Go! являющихся по сути расширениями Пролога. А именно речь идет о создании различных специализированных языков (DSL) базированных на 4D онтологии 15926.
Subscribe
  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 0 comments