Язык моделирования веб-сервисов

WSML или язык моделирования веб-сервисов — это формальный язык , который обеспечивает синтаксис и семантику для онтологии моделирования веб-сервисов (WSMO) .

Другими словами, WSML предоставляет средства для формального описания элементов WSMO как онтологий , служб семантической паутины , целей и посредников . ^[1]

WSML основан на таких логических формализмах, как дескриптивная логика , логика первого порядка и логическое программирование . ^[2]

This section does not cite any sources. Please help improve this section by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Web Services Modeling Language" – news · newspapers · books · scholar · JSTOR (July 2023) (Learn how and when to remove this message)

• WSML Core , определяемый как пересечение Description Logic и Horn Logic . Поддерживает моделирование классов, атрибутов, бинарных отношений и экземпляров.
• WSML-DL , расширение ядра WSML, полностью отражает логику описания .${\displaystyle {\mathcal {SHIQ}}^{\mathcal {(D)}}}$
• WSML-Flight , расширение ядра WSML, предоставляет такие функции, как метамоделирование, ограничения и немонотонное отрицание.
• WSML-Rule , расширение WSML-Flight, предоставляет возможности логического программирования .
• WSML-Full — объединение WSML-DL и WSML-Rule.

• Онтология (информатика)
• Семантическая паутина
• Семантические веб-сервисы
• Язык веб-онтологий (OWL), OWL-S , WSDL
• ВСМО

• Домашний веб-сайт WSML
• Синтаксис WSML
• Представление WSML в W3C
• Веб-сайт рабочей группы WSMO