의미론적 웹 규칙 언어

시맨틱 웹 규칙 언어(SWRL)는 규칙 마크업 언어(자체 데이터로그의 서브셋)와 OWL DL 또는 OWL 라이트를 결합하여 논리뿐만 아니라 규칙 표현에도 사용할 수 있는 시멘틱 웹에 제안된 언어다.^[1]

명세서는 2004년 5월 캐나다 국립연구위원회(National Research Council, National Research Council of Canada), 네트워크 추론(WebMethods가 획득한 이후), 스탠포드 대학교가 미국/EU 특별대리인 마크업 언어 위원회와 연계하여 W3C에 제출되었다. 이 규격은 OWL 규칙 언어에 대한 이전의 제안에 기초하였다.^[2]^[3]

SWRL은 OWL DL의 전권을 가지고 있지만, 결정성과 실제 구현의 가격이다.^[4] 그러나 일반적으로 적절한 안전 조건을 부과함으로써 허용 가능한 규칙의 형태를 제한함으로써 결정성을 되찾을 수 있다.^[5]

규칙은 선행(몸)과 결과(머리) 사이에 함축된 형태의 것이다. 의도된 의미는 다음과 같이 읽힐 수 있다: 선행조건에 명시된 조건이 유지될 때마다 그 결과에도 명시된 조건들이 유지되어야 한다.

예

사람이 읽을 수 있는 구문

hasParent(?x1, ?x2) ∧ hasBrother(?x2, ?x3) hasUncle(?x1, ?x3)

XML 콘크리트 구문

XML 콘크리트 구문은 OWL Web Ontology Language XML Presentation 구문과 RuleML XML 구문의 조합이다.

<>ruleml:imp>, <, ruleml:_rlab ruleml:href="#example1"/>, <, ruleml:_body>,<>swrlx:individualPropertyAtom swrlx:property="hasParent">, <, ruleml:var>, x1<, /ruleml:var>,>ruleml:var>, x2<, /ruleml:var>,<>/swrlx:individualPropertyAtom>,<>swrlx:individualPropertyAtom swrlx:property="hasBrother">,<>.ruleml:var>, x2<, /ruleml:var>,>ruleml:var>, x3<, /ruleml:var>,<>/swrlx:individualPropertyAtom> </ruleml:_body> <ruleml:_head> <swrlx:individualPropertyAtom swrlx:property="hasUncle"> <ruleml:var>x1</ruleml:var> <ruleml:var>x3</ruleml:var> </swrlx:individualPropertyAtom> </ruleml:_head> </ruleml:imp>

RDF 콘크리트 구문

규칙에 대해 그러한 RDF 구체적인 구문을 제공하는 것은 간단하지만, 규칙에서 변수가 존재한다는 것은 RDF 의미론을 넘어선다.^[6] XML 콘크리트 구문에서 RDF/XML로의 변환은 OWL XML 프리젠테이션 구문에 대한 XSLT 변환을 확장함으로써 쉽게 이루어질 수 있었다.

구현

주의사항: 추론을 해석할 수 없게 되기 때문에 추론자들은 전체 명세서를 지지하지 않는다. 접근방식에는 세 가지 유형이 있을 수 있다.

SWRL을 퍼스트 오더 논리(Hoolet)로 변환하고 정리 프로베른으로 추리 작업을 시연한다.
OWL-DL을 규칙으로 변환하고 전방 체인 엔진(Bossam)에 규칙을 부여한다(이 접근방식은 설명 로직과 경음기 규칙 공식 사이에 많은 비호환성으로 인해 OWL-DL의 완전한 표현성을 포함할 수 없음).
Tableaux 알고리즘(Pellet)을 기반으로 기존 OWL-DL 추리기를 확장한다.

Protégé 4.2에는 SWRL 규칙을 지원하는 Ontology Views에 규칙 뷰가 포함되어 있다.
프로토제 이전 버전의 경우 SWRLTab은 SWRL 규칙 편집 및 실행을 지원하는 확장 버전이다. [1]
R2ML(REWERSE Rule Markup Language)은 SWRL을 지원한다 [2]
보쌈, 전방 체인링 규칙 엔진은 SWRL을 지원한다 [3]
첫 번째 오더 프로베러를 사용하는 OWL-DL 이스터의 구현인 Holet은 SWRL을 지원한다 [4]
오픈 소스 Java OWL DL 이유저인 Pellet은 SWRL을 지원한다. [5]
KAON2는 OWL-DL, SWRL, F-Logic 온톨로지를 관리하기 위한 인프라다. [6]
RacerPro, nRQL 규칙[7]으로 변환하여 SWRL 기반 구문에서의 규칙 처리를 지원한다.
RDFox SWRL을 지원하는 고성능 메모리 내 확장 가능한 지식 그래프 및 데이터로그 추론 엔진. 옥스포드 시맨틱 테크놀로지스가 개발했다. [8]
Stadog는 SWRL 추론을 사용하여 질문에 답하기 위해 쿼리를 다시 쓰는 RDF 데이터베이스 또는 트리플스토어다. [9]

	보쌈	발굽	펠릿
SWRL/OWLX 파서	네	?	?
SWRL/RDF 파서	네	?	네
수학 기본 제공	부분적	?	네
문자열 기본 제공	부분적	?	네
기본 제공 비교	?	?	네
부울 기본 제공	?	?	네
날짜, 시간 및 기간 기본 제공	?	?	아니요.
URI 기본 제공	?	?	네
기본 제공 목록	?	?	아니요.
라이센싱	자유/폐쇄 소스	자유/오픈 소스	자유/오픈 소스

논리 프로그램 설명과 비교

설명 논리 프로그램(DLP)은 규칙과 OWL을 통합하기 위한 또 다른 제안이다.^[7] SWRL은 서술형 로직 프로그램과 비교했을 때 정반대의 통합 접근방식을 취한다. DLP는 Horn 로직과 OWL의 교차점인 반면 SWRL은 그것들의 결합이다.^[4] DLP에서 결과적 언어는 매우 특이하게 보이는 서술 논리이고 전체적으로 다소 표현하기 어려운 언어다.^[4]

참고 항목

참조

^ "SWRL: A Semantic Web Rule Language Combining OWL and RuleML". w3.org. Retrieved 21 December 2017.
^ Ian Horrocks; Peter F. Patel-Schneider (2004). "A Proposal for an OWL Rules Language" (PDF). Proc. of the Thirteenth International World Wide Web Conference (WWW 2004). ACM. pp. 723–731. Retrieved 22 May 2014.
^ Ian Horrocks; Peter F. Patel-Schneider; Sean Bechhofer; Dmitry Tsarkov (2005). "OWL Rules: A Proposal and Prototype Implementation" (PDF). Journal of Web Semantics. Elsevier. 3 (1): 23–40. Retrieved 22 May 2014.
^ ^a ^b ^c Bijan Parsia; et al. (2005). "Cautiously Approaching SWRL" (PDF). Retrieved 29 July 2006. Cite 저널은 필요로 한다. journal= (도움말)
^ Boris Motik; Ulrike Sattler; Rudi Studer (2005). "Query Answering for OWL-DL with Rules" (PDF). Journal of Web Semantics. Elsevier. 3 (1): 41–60. Retrieved 22 May 2014.
^ Mei, Jing; Harold Boley (2006). "Interpreting SWRL Rules in RDF Graphs" (PDF). Electronic Notes in Theoretical Computer Science. Elsevier (151): 53–69. Retrieved 29 July 2006.
^ Benjamin N. Grosof; Ian Horrocks; Raphael Volz; Stefan Decker (2003). "Description Logic Programs: Combining Logic Programs with Description Logic" (PDF). Proc. of the Twelfth International World Wide Web Conference (WWW 2003). ACM. pp. 48–57. Retrieved 22 May 2014.

외부 링크

SWRL: OWL과 RuleML, W3C Member Submission 21 2004년 5월 21일 시맨틱 웹 규칙 언어
W3C 회원 제출 2005년 4월 11일 1차 로직 확장 SWRL 제안
OWL Web Ontology Language XML 프레젠테이션 구문, W3C Note 11 2003년 6월

[1] "SWRL: A Semantic Web Rule Language Combining OWL and RuleML". w3.org. Retrieved 21 December 2017.

[Horrocks2004-2] Ian Horrocks; Peter F. Patel-Schneider (2004). "A Proposal for an OWL Rules Language" (PDF). Proc. of the Thirteenth International World Wide Web Conference (WWW 2004). ACM. pp. 723–731. Retrieved 22 May 2014.

[Horrocks2005-3] Ian Horrocks; Peter F. Patel-Schneider; Sean Bechhofer; Dmitry Tsarkov (2005). "OWL Rules: A Proposal and Prototype Implementation" (PDF). Journal of Web Semantics. Elsevier. 3 (1): 23–40. Retrieved 22 May 2014.

[Parsia2005-4] Bijan Parsia; et al. (2005). "Cautiously Approaching SWRL" (PDF). Retrieved 29 July 2006. Cite 저널은 필요로 한다. journal= (도움말)

[Motik2005-5] Boris Motik; Ulrike Sattler; Rudi Studer (2005). "Query Answering for OWL-DL with Rules" (PDF). Journal of Web Semantics. Elsevier. 3 (1): 41–60. Retrieved 22 May 2014.

[mei2006-6] Mei, Jing; Harold Boley (2006). "Interpreting SWRL Rules in RDF Graphs" (PDF). Electronic Notes in Theoretical Computer Science. Elsevier (151): 53–69. Retrieved 29 July 2006.

[Grosof2003-7] Benjamin N. Grosof; Ian Horrocks; Raphael Volz; Stefan Decker (2003). "Description Logic Programs: Combining Logic Programs with Description Logic" (PDF). Proc. of the Twelfth International World Wide Web Conference (WWW 2003). ACM. pp. 48–57. Retrieved 22 May 2014.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

Search