웹 서비스 모델링 언어

WSML 또는 Web Service Modeling Language는 WSMO(Web Service Modeling Ontology)를 위한 구문과 의미론을 제공하는 공식 언어다.

즉, WSML은 WSMO 요소를 온톨로지, 시맨틱 웹 서비스, 목표 및 메디케이터로 공식적으로 기술할 수 있는 수단을 제공한다.^[1]

WSML은 서술 논리, 1차 논리 및 논리 프로그래밍이라는 논리 공식에 기초한다.^[2]

WSML 언어 변형

• WSML 코어(Description Logic and Horn Logic)의 교차점으로 정의됨.모델링 클래스, 속성, 이진 관계 및 인스턴스 지원
• WSML Core의 확장자인 WSML-DL은 Description Logic $S{\displaystyle {\mathcal{}}^{}}$ H ${\displaystyle {\mathcal{I}}^{}}$ ${\displaystyle {\mathcal{Q}}^{}}$ $){\$을(를) 완전히 캡처한다$.$
• WSML Core의 확장인 WSML-Flight는 메타 모델링, 제약 조건 및 비단조적 부정으로서 기능을 제공한다.
• WSML-Flight의 확장인 WSML-Rule은 로직 프로그래밍 기능을 제공한다.
• WSML-Full, WSML-DL과 WSML-규칙의 통일.

참고 항목

• 온톨로지 (컴퓨터 과학)
• 시맨틱 웹
• 시맨틱 웹 서비스
• 웹 온톨로지 언어(OWL), OWL-S, WSDL
• WSMO

참조

외부 링크

• WSML 홈 웹 사이트
• WSML 구문
• W3C에서의 WSML 제출
• WSMO 작업 그룹 웹 사이트