시맨틱 웹 서비스 언어

Semantic Web Services Language
시맨틱 웹 서비스 언어(SWSL)
패러다임다중 패러다임: 일반적, 객체 지향(클래스 기반), 명령형, 반사형
처음 등장1994; 29년 전 (1994)
파일 이름 확장명.swsl
웹사이트www.w3.org/Submission/SWSF-SWSL/
영향받은
시맨틱 웹 서비스, 시맨틱 웹, 시맨틱 컴퓨팅
시맨틱 웹 서비스 언어(SWSL)의 저자 중 한 명인 아브라함 번스타인(왼쪽)
시맨틱 웹 서비스 언어(SWSL)의 저자 중 한 명인 Michael Gruninger

시맨틱 웹 서비스 언어(SWSL)는 개별 웹 [1][2]서비스뿐만 아니라 시맨틱 웹 서비스 온톨로지(SWSO)를 지정하기 위한 범용 논리 언어입니다.시맨틱 웹 서비스 언어(SWSL)는 시맨틱 웹 서비스의 구문 요소와 시맨틱 및 시맨틱 [3]기반을 설명합니다.시맨틱 웹 서비스의 기본 언어 및 네트워크 구조와 함께 사용할 수 있습니다.구문적으로 1차 논리(1차 논리에 사용되는 모든 연결 포함)는 시맨틱 웹 서비스 언어(SWSL)[1][3]의 하위 집합입니다.

시맨틱 웹 서비스 언어는 두 가지 기본 언어로 구성됩니다.선언적 논리 프로그램(SWSL 규칙) 및 1차 고전 논리(SWSL-FOL).[4]의미적으로 SWSL의 두 하위 언어는 호환되지 않지만 두 하위 언어는 [1]협력할 수 있습니다.

SWSL-규칙은 단조롭지 않은 의미론 및 규칙 기반 언어입니다.SWSL-FOL은 완전한 첫 단어 논리 언어입니다.

SWSL-FOL 및 SWSL-규칙은 시맨틱 웹 서비스 언어(SWSL)의 의미를 따릅니다.

배경

NIST(National Institute of Standards and Technology), 캐나다 국립 연구 위원회, SRI International, Stanford University, Toshiba 및 Southampton University의 12명의 저자가 다음 4가지 문서를 제출했습니다.

  • 시맨틱 웹 서비스 언어(SWSL)
  • 시맨틱 웹 서비스 프레임워크(SWSF) 개요
  • 시맨틱 웹 서비스 온톨로지(SWSO)
  • SWSF 적용[5] 시나리오

네 개의 문서는 의미론적 웹 서비스 프레임워크(SWSF)를 정의했습니다.시맨틱 웹 서비스 프레임워크(SWSF)에는 온톨로지 시맨틱 웹 서비스 온톨로지(SWSO) 및 기술 언어 시맨틱 웹 서비스 언어(SWSL)가 포함됩니다.시맨틱 웹 서비스 온톨로지(SWSO)와 시맨틱 웹 서비스 언어(SWSL)가 함께 작동하여 작업을 수행할 수 있습니다.

시맨틱 웹 서비스 온톨로지(SWSO)는 FLOW와 [6]ROWS로 표현됩니다.FLOWS는 웹 서비스를 위한 1차 로직 온톨로지이며 ROWS는 웹 [6]서비스를 위한 규칙 온톨로지입니다.

시맨틱 웹 서비스 온톨로지(SWSO)는 자매 범용 논리 언어 시맨틱 웹 서비스 언어(SWSL)[6]와 함께 1차 논리 언어를 개발합니다.SWSO(Semantic Web Services Ontology)의 FLOWS에서 예상되는 개념의 의미는 SWSL-FOL에서 사용할 수 있습니다. ROWS의 부분적 의미는 SWSL-규칙에서도 [6]사용할 수 있습니다.

SWSL 사용

SWSL(Semantic Web Services Language) 기능에는 URI, XML 기본 제공 유형의 통합, XML 호환 네임스페이스 및 가져오기 [4]메커니즘이 포함됩니다.시맨틱 웹 서비스 언어(SWSL)는 웹의 기본 언어와 함께 작동하여 단일 시맨틱 웹 서비스 및 시맨틱 웹 서비스 온톨로지(SWSO)[7][2][8]의 요구 사항을 충족합니다.

시맨틱 웹 서비스 언어(SWSL)의 사용에는 SWSL-규칙이 SWSL-FOL과 [4]함께 작동하도록 돕는 것도 포함됩니다.

시맨틱 웹 서비스 언어(SWSL)로 개발된 FLOWS는 설명 및 추론 [2]서비스를 위한 프레임워크를 제공합니다.

시맨틱 웹 서비스 언어(SWSL)의 사례

협상 및 계약

온라인 쇼핑을 할 때, 구매자와 판매자는 각각 "금융 서비스"[9]와 "배달 서비스"를 나타냅니다.당사자들 사이에 자연스러운 이해 상충이 있을 때: 판매자는 상품을 팔기를 원하며, 구매자는 [9]상품의 손실로부터 이익을 얻기를 원합니다.

프로세스 모델링

프로세스 모델링은 세 단계로 쉽게 나눌 수 있습니다.행동 기반 프레임워크에서 단일 또는 다중 에이전트 계획 조정 서비스 및 e-서비스 구성.

일반 계획 서비스: "이는 계획의 선택 또는 생성과 신뢰할 수 있는 [10]실행을 지원하는 서비스의 예입니다."

2. 단일 또는 다중 에이전트 계획 조정 서비스:단일 또는 다중 에이전트 계획 조정 서비스의 특성은 여러 계획을 조정하고, 충돌을 처리하며, 협업 기회를 활용하도록 [11]설계된 서비스입니다.

3. 행동 기반 프레임워크에서의 e-Service 구성: e-Service는 매개변수를 출력하고 입력하는 작업입니다.메시지 기반 서비스와 활동 기반 서비스의 조건과 효과에 따라 대화형 e-Service는 서로 다른 [12]조합을 가질 수 있습니다.구성 결과는 일회용과 재사용으로 나눌 수 있습니다.일회성은 결합된 결과를 한 번만 사용할 수 있고 다른 [12]사용자의 요청에 사용할 수 없음을 의미합니다.재사용 가능은 결합된 결과를 여러 번 사용할 수 있고 다른 [12]사용자의 요청에 사용할 수 있음을 의미합니다.

프로세스 제정

이 섹션에서는 DAML-S를 사용하는 SWSL의 예를 보여주며, 연합 리소스 조정 작업의 서비스는 이기종 분산 정책 [13]세트에 의해 제약을 받습니다.

SWSL-FOL

정의.

SWSL-FOL은 [3][4]HiLog의 기능과 F-Logic의 프레임 구문을 확장한 완전한 첫 번째 단어 논리 언어이며, SWSL-FOL은 Layer 구조를 가지고 있습니다.

SWSL-FOL 및 SWSL-Rules는 시맨틱 웹 서비스 [1][2]언어의 하위 언어입니다.그 둘 사이에는 문법적으로 겹치는 부분이 있습니다.SWSL-FOL에서 사용하는 각 연결을 SWSL-Rules에 사용할 수 있지만, 이것이 SWSL-FOL이 SWSL [1]규칙의 하위 집합임을 의미하지는 않습니다.

SWSL-FOL의 구문 및 의미론적 확장

SWSL-FOL의 구문 및 의미론의 가장 기본적인 구문 및 의미론은 SWSL-FOL입니다.SWSL-FOL을 기반으로 한 세 가지 향상된 기능으로는 SWSL-FOL + Equality, SWSL-FOL + HiLog 및 SWSL-FOL + Frame이 있습니다.이것은 SWSL-FOL 언어가 더 강력한 기능을 갖도록 도와줍니다.

SWSL-FOL + Equality 공식은 SWSL-FOL:=:[1]에 기반한 Equal 연산자를 추가합니다.

이 경우 SWSL-FOL 공식의 끝에는 (".") 기호가 사용됩니다.

SWSL-FOL + HiLog 공식은 SWSL-규칙의 [1]프레임 계층의 객체 지향 구문을 확장합니다.

이 공식은 HiLog 및 HiLog 원자 공식의 의미론 및 구문 사용 규칙을 확장하여 SWSL-FOL을 확장합니다.SWSL-FOL + Equality와 SWSL-FOL + HiLog의 조합은 SWSL-FOL + HiLog의 구문 및 의미를 확장할 수도 있지만, 이는 SWSL-FOL + Equality의 구문 및 의미 업그레이드에 도움이 되지 않습니다.

SWSL-FOL + Frame 공식은 SWSL-Rules의 [1]HiLog 계층의 객체 지향 구문을 확장합니다.

SWSL-FOL + Equality와 SWSL-FOL + Frame의 조합은 두 공식의 의미론과 구문을 동시에 확장할 수 있습니다.

사용하다

SWSL-FOL은 주로 웹 서비스 개념과 시맨틱 웹 서비스, 특히 프로세스 [2]모델의 형식적 특성을 표현하는 데 사용됩니다.

서비스의 구성 및 프로세스 [1]모델

공정모델 [1]분석 후 검증 및 검증 서비스

SWSL-FOL은 1차 고전 [1]논리의 형태입니다.

SWSL-FOL은 추론 및/또는 존재에 반대하는 기능을 많은 사용 사례 시나리오에 적용하며 서비스 기능을 공식적으로 지정하는 데 사용할 수 있습니다.

SWSL-규칙

정의.

선언적 논리 [3][4]프로그램인 SWSL-Rules는 단조롭지 않은 의미론 및 규칙 기반 언어입니다.SWSL-규칙은 1차 [1]규칙이 아닙니다.SWSL-규칙에는 계층 [4]구조가 있습니다.

그 중 SWSL-Rules의 순수한 Horn 하위 집합은 SWSL-Rules의 핵심을 구성합니다.

SWSL 규칙의 구문 및 의미론적 확장

SWSL-Rules는 SWSL-Rules 구문 및 의미론의 서로 다른 계층을 지식 표현 언어로 결합한 선언적 논리 프로그램입니다.SWSL-규칙의 구조는 NAF, 정중, HiLog, 프레임 및 Reification 계층으로 쉽게 나눌 수 있습니다.SWSL-규칙에서는 서로 다른 분기가 직교하며 [4][1]결합할 수 있습니다.

NAF는 의미론적 의미에서 SWSL-규칙의 부정과 실패를 나타냅니다.정중 확장 기능에는 SWSL-규칙이 있으며, 구문을 추가하여 기존의 부정 및 우선 순위 규칙을 제한합니다.Nonmon LT는 정량자와 규칙 본문의 의미를 확장하여 SWSL-규칙의 의미론과 구문을 확장합니다.HiLog는 첫 번째 순서에 속하며, 변수가 술어 기호, 함수 기호 및 공식을 초월할 수 있도록 하여 메타프로그래밍을 매우 가능하게 합니다.

프레임 계층은 가장 일반적인 객체 지향 기능을 도입합니다.HiLog 및 프레임 계층은 모두 다른 방식으로 SWSL-규칙의 구문 및 의미를 다른 수준에서 확장합니다.Reification 도면층은 WSL-규칙 공식을 사용하여 객체를 생성하는 데 사용됩니다.Lloyd-Topor 확장 및 정중 규칙 확장은 SWSL [1]규칙에 대한 모든 일반 1차 연결을 제공합니다.

따라서 구문 SWSL 규칙에는 SWSL-FOL을 위한 브리지를 제공하는 완전한 1차 논리의 모든 연결이 포함됩니다.

사용하다

SWSL-규칙은 주로 웹 서비스 개념과 시맨틱 웹 서비스, 특히 프로세스 [2][1]모델의 형식적 특성을 표현하는 데 사용됩니다.

  • 보안, 개인 정보 보호 및 기밀성 권한 부여 정책에 대한 신뢰성
  • 계약 및 광고
  • 이상 징후를 식별하고 해결하기 위한 특정 절차를 수행합니다.
  • 상이한 온톨로지 또는 맥락 간 번역의 의미적 매개

우선 순위 및/또는 취소와 함께 기본 상속이 있는 개체 지향 온톨로지를 사용합니다(예: 프로그램 매뉴얼).SWSL 규칙의 논리적 비일조적 특성은 부정적인 실패 및/또는 정중한 우선 순위 충돌 처리 및 유사한 이벤트에 널리 사용됩니다.

SWSL-FOL은 추론 및/또는 존재에 반대하는 기능을 서비스 기능을 공식화하는 데 사용할 수 있는 많은 사용 사례 시나리오에 적용하는 반면, SWSL 규칙은 이러한 기능을 추론하고 서비스를 수행하는 데 사용됩니다.

언어

층구조

계층 내의 의미론 및 구문은 SWSL의 언어 모델링 기능을 향상시킵니다.학습자와 관리자가 언어를 배우고 조작하고 계층 내 다른 기능 간의 관계를 이해하는 것을 더 쉽게 합니다.

또한 SWSL 내부의 하위 언어 SWSL-규칙 또는 SWSL-FOL의 의미론과 구문은 일반적으로 언어의 핵심인 대부분의 계층을 업데이트하여 확장됩니다.계층은 서로 독립적이지만 서로 결합할 수 있으며, 구체적인 조합은 두 하위 언어에서 다릅니다.이를 통해 특정 [1]기능의 하위 집합에만 관심이 있는 공급업체에 몇 가지 지침을 제공할 수 있습니다.

주 도면층

단조로운 Lloyd-Topor 레이어:[1]

단조 Lloyd-Topor 도면층은 규칙 본문에서 분리를 사용하고 규칙 헤드에서 연결을 사용하며 규칙 헤드에서 고전적 의미의 새로운 기호를 사용할 수 있도록 함으로써 경음기 도면층을 확장합니다.

  • 고전적 의미의 형태: formula1 ==> formula2; formula1 <== formula2
  • 모노톤 로이드-토퍼 레이어에서 고전적 의미의 새로운 기호: formula1 <==> formula2

NAF 계층

NAF 도면층은 장애 시 부정 기호인 naf를 추가합니다.

NAF 층의 형태: p(?X,?Y) : - q(?X,?Z) 및 nafr(?Z,?Y)

NAF 계층은 음의 오류 기호 naf를 추가하여 SWSL-규칙의 의미를 확장합니다.이 시맨틱의 주요 장점은 계산하기 쉽고 모델의 정의가 독특하다는 것입니다.

  • NAF 계층 앞의 형식은 naf 구문을 확장합니다. ...와 naf(?X) 및 ...
  • NAF 계층 뒤의 형식은 naf 구문을 확장합니다. ... 및 ∃ X (naf fr(?X) 및 ... 또는 :- ... 및 ∀ X (naf fr(?X) 및 ...[1]

비모노토닉 로이드-토포어 레이어

비모노토닉 Lloyd-Topor Layer는 규칙 본문에 명시적인 경계 정량자 <==, ==>와 이중 인증 기호 <==>를 도입합니다.

예를 들어, 고전적인 의미 A <== B는 (A 또는 Neg [1]B)가 아닌 (A 또는 naf B)로 해석됩니다.

정중한 규칙의 층

충돌 처리를 위해 정중한 규칙 계층이 업그레이드되었으며 구문 및 의미론은 다음과 같은 네 가지 새로운 기능을 확장합니다.

  • 규칙 레이블:규칙 간에 우선 순위를 매기는 이름입니다.정중 규칙 계층의 규칙 레이블 형식: {label} head :-body입니다.
  • 원자의 고전적 부정; 우선순위 서술어: 규칙은 우선순위에[1] 따라 정렬될 수 있습니다.

HiLog 계층

HiLog 계층은 함수 표기법, 술어 기호 및 원자 공식 범위를 넘어 변수를 사용할 수 있도록 함으로써 시맨틱 웹 서비스 언어(SWSL)의 1차 구문을 확장합니다.HiLog 계층의 확장된 기능은 구체화를 지원하며 알려지지 않은 지식 구조를 탐색하는 데 핵심적인 역할을 합니다.

"HiLog 용어(약칭, H-term):HiLog 용어는 1차 용어이거나 t(t1,...,tn) 형식의 표현입니다. 여기서 t,t1,...,tn은 HiLog [1]용어입니다."

이퀄리티

Equality Layer는 Equality의 동일 합동 공리 :=:[1]를 따르는 SWSL(Semantic Web Services Language)에 완전한 Equality 술어를 추가합니다.

  • Equality Layer의 Equality 술어는 전이적이고 대칭적입니다.
  • 논리적 함의 관계는 같거나 같을 때 일정합니다.

프레임 레이어

프레임 계층은 의미론을 확장하기 위해 F-logic의 프레임 구문 추가를 모방합니다.프레임은 객체 지향 [1]구문을 도입하는 프레임 계층에서 분자라고 합니다.

  • 프레임 구문입니다.
  • 경로 식입니다.
  • 클래스 구성원 자격 및 클래스 하위 클래스입니다.
  • 서명 분자는 유형 사양을 나타냅니다.

레퍼런스

  1. ^ a b c d e f g h i j k l m n o p q r s t u v w Battle, Steve; Bernstein, Abraham; Boley, Harold; Grosof, Benjamin; Gruninger, Michael; Hull, Richard; Kifer, Michael; Martin, David; McIlraith, Sheila; McGuinness, Deborah; Su, Jianwen; Tabet, Said. "Semantic Web Services Language (SWSL)". W3C. Retrieved 1 May 2019.
  2. ^ a b c d e f Battle, Steve; Bernstein, Abraham; Boley, Harold; Grosof, Benjamin; Gruninger, Michael; Hull, Richard; Kifer, Michael; Martin, David; McIlraith, Sheila; McGuinness, Deborah; Su, Jianwen; Tabet, Said. "Semantic Web Services Framework (SWSF) Overview". Retrieved 1 May 2019. {{cite journal}}:저널 요구 사항 인용 journal=(도움말)
  3. ^ a b c d Fensel, Dieter; Facca, Federico; Toma, Ioan; Simperl, Elena (2011). Semantic Web Services. STI Innsbruck, ICT-Technologiepark University of Innsbruck ，Institute AIFB, Building 11.40 Karlsruhe Institute of Technology. doi:10.1007/978-3-642-19193-0. ISBN 978-3-642-19192-3. S2CID 33910699.
  4. ^ a b c d e f g Grosof, Benjamin; Kifer, Michael; Martin, David. "Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions" (PDF). S2CID 30134266. Archived from the original (PDF) on 12 May 2019. Retrieved 12 April 2019.
  5. ^ Battle, Steve; Bernstein, Abraham; Boley, Harold; Grosof, Benjamin; Gruninger, Michael; Hull, Richard; Kifer, Michael; Martin, David; McGuinness, Deborah; McIlraith, Sheila; Newton, Glen; Roure, David; Skall, Mark; Su, Jianwen; Tabet, Said; Yoshida, Hideki. "Semantic Web Services Framework (SWSF)".
  6. ^ a b c d Battle, Steve; Bernstein, Abraham; Boley, Harold; Grosof, Benjamin; Gruninger, Michael; Hull, Richard; Kifer, Michael; Martin, David; McIlraith, Sheila; McGuinness, Deborah; Su, Jianwen; Tabet, Said. "Semantic Web Services Ontology (SWSO)". Retrieved 20 May 2019.
  7. ^ Sheu, Phillip; Yu, Heather; Ramamoorthy; Joshi, Arvind; Zadeh, Lotfi (2010). Semantic Computing. IEEE Press Editorial Board. doi:10.1002/9780470588222. ISBN 9780470464953.
  8. ^ Shin, Kang; Kiskis (1994). "SWSL: a synthetic workload specification language for real-time systems". IEEE Transactions on Software Engineering. IEEE. 20 (10): 798–811. doi:10.1109/32.328992.
  9. ^ a b c Kifer, Michael. "A Buying Contract that Utilizes Escrow".
  10. ^ Tate, Austin. "Usage Scenario: Generic Planning Services". University of Edinburgh.
  11. ^ Cox, Jeffrey; Durfee, Edmund. "Usage Scenario: Single or Multiagent Plan Coordination Service". University of Michigan.
  12. ^ a b c Hull, Rick; Berardi, Daniela. "Usage Scenario:e-Service Composition in a Behavior based Framework".
  13. ^ Bradshaw, Jeff; Uszok, Andrzej. "Usage Scenario: Coalition Search & Rescue Policy Service". Institute for Human and Machine Cognition, Pensacola, FL; Austin Tate, Artificial Intelligence Applications Institute, University of Edinburgh.

외부 링크