Язык моделирования веб-сервисов
WSML или язык моделирования веб-сервисов — это формальный язык , который обеспечивает синтаксис и семантику для онтологии моделирования веб-сервисов (WSMO) .
Другими словами, WSML предоставляет средства для формального описания элементов WSMO как онтологий , семантических веб-сервисов , целей и посредников . [1]
WSML основан на таких логических формализмах, как логика описания , логика первого порядка и логическое программирование . [2]
Языковые варианты WSML [ править ]
- Ядро WSML , определяемое как пересечение логики описания и логики звукового сигнала . Поддерживает классы моделирования, атрибуты, бинарные отношения и экземпляры.
- WSML-DL , расширение ядра WSML, полностью отражает логику описания. .
- WSML-Flight , расширение ядра WSML, предоставляет такие функции, как метамоделирование, ограничения и немонотонное отрицание.
- WSML-Rule , расширение WSML-Flight, предоставляет логического программирования . возможности
- WSML-Full — объединение WSML-DL и WSML-Rule.
См. также [ править ]
- Онтология (информатика)
- Семантическая сеть
- Семантические веб-службы
- Язык веб-онтологий (OWL), OWL-S , WSDL
- ВСМО
Ссылки [ править ]
- ^ Ж. де Брейн, Х. Лаузен, А. Поллерес, Д. Фенсель: WSML - языковая среда для семантической веб-службы. Семинар W3C по языкам правил для взаимодействия, Вашингтон, США, 27–28 апреля 2005 г. http://dip.semanticweb.org/WSML-aLanguageFrameworkforSemanticWebServices.htm. Архивировано 7 января 2009 г. на Wayback Machine.
- ^ Ж. де Брейн, Х. Лаузен, А. Поллерес, Д. Фензель: Языки правил WSML для семантической сети. Семинар W3C по языкам правил для взаимодействия, Вашингтон, США, 27–28 апреля 2005 г. http://dip.semanticweb.org/TheWSMLrulelanguagesfortheSemanticWeb.htm. Архивировано 7 января 2009 г. на Wayback Machine.