웹 온톨로지 언어

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요

웹 온톨로지 언어(OWL)는 시맨틱 웹을 구축하기 위해 개발된 언어로, 온톨로지를 정의하고 표현하는 데 사용된다. 1990년대에 시작된 온톨로지 언어 연구의 결과로, 2000년대 초반 DARPA의 DAML과 OIL의 통합을 통해 DAML+OIL이 개발되었고, 이를 기반으로 OWL이 등장했다. OWL은 W3C 표준으로 채택되었으며, OWL Lite, OWL DL, OWL Full의 세 가지 종류가 있다. OWL은 기술 논리를 기반으로 하며, RDF 스키마와 호환성을 가지며, 개방 세계 가정을 사용한다.

2. 역사

온톨로지 개발은 철학과 컴퓨터 과학 분야에서 오랜 역사를 지니고 있다. 1990년대 이후 인공 지능(AI) 분야의 지식 표현(KR) 연구가 활발해지면서, 이러한 연구 결과를 월드 와이드 웹에서 활용하기 위한 다양한 시도가 이루어졌다. 초기에는 HTML 기반의 SHOE, XML 기반의 XOL, OIL 등의 언어가 개발되었다.

2000년 미국에서 DARPA는 제임스 헨들러의 주도로 DAML 개발을 시작했고,^[15] 2001년 3월, EU/US 에이전트 마크업 언어 공동 위원회는 DAML을 OIL과 병합하기로 결정했다.^[15] DAML+OIL 개발을 위해 소집된 EU/US 에이전트 마크업 언어 임시 공동 실무 그룹은 DARPA와 유럽 연합의 정보 사회 기술 (IST) 프로젝트의 자금 지원을 받았다. DAML+OIL은 RDFS의 얇은 계층으로 설계되었으며,^[15] 형식 의미론은 기술 논리 (DL)를 기반으로 했다.^[16] OWL 설계는 DAML+OIL을 기반으로 했다.^[17]

월드 와이드 웹 컨소시엄(W3C)은 ''메타데이터 활동''에서 RDF 스키마(RDFS) 작업을 시작했는데, 이는 RDF 어휘 공유 언어이다. RDF는 1999년 2월 W3C 권고안이 되었고, RDFS는 2000년 3월 후보 권고안이 되었다.^[19] 2001년 2월, ''시맨틱 웹 활동''이 메타데이터 활동을 대체했고,^[19] 2004년 RDFS는 W3C 권고안이 되었다.^[20] RDFS는 온톨로지 명세에 대한 몇 가지 지원을 제공했지만, 더 표현력이 풍부한 온톨로지 언어의 필요성이 분명해졌다.^[21]

월드 와이드 웹 컨소시엄(W3C)은 시맨틱 웹 활동의 일환으로 웹 온톨로지 워킹 그룹을 설립하여 2001년 11월 1일 제임스 헨들러와 거스 슈라이버를 공동 의장으로 하여 작업을 시작했다.^[22] 2002년 7월에는 추상 구문 등에 대한 첫 번째 작업 초안이 발표되었다.^[22] OWL은 2004년 2월 10일에 공식적인 W3C 권고안이 되었고, 워킹 그룹은 2004년 5월 31일에 해산되었다.^[22]

2006년, OWL 1.1이 월드 와이드 웹 컨소시엄(W3C)에 제출되었고,^[23] 2007년, W3C는 시맨틱 웹 활동의 일환으로 OWL 워킹 그룹을 구성했다.^[24] 2008년, 이 그룹은 이 새로운 언어를 OWL 2로 명명했으며,^[24] OWL 2는 2009년 10월에 W3C 권고안이 되었다.^[6]^[32] OWL 2는 확장성을 개선하기 위해 프로파일을 도입했다.^[6]^[32]

OWL은 발음하기 쉽고, 멋진 로고를 만들 수 있으며, 지혜를 연상시키고, 1970년대 윌리엄 A. 마틴의 ''One World Language'' 지식 표현 프로젝트를 기리기 위해 선택되었다.^[26]^[27]^[28] 정식 명칭은 Web ontology language^영어 (웹 온톨로지 언어)이다. 약칭(두문자어)은 OWL이다. 정식 명칭의 머리글자를 어순대로 쓴 "WOL"이 아닌 "OWL"을 약칭으로 한 것은, OWL이 탄생했을 당시 "WOL"이 이미 데이터 공학 분야의 언어 이름으로 사용되고 있었기 때문이다. 또한, 동화 "곰돌이 푸"에 등장하는 부엉이Owl^영어가 자신의 이름을 "WOL"이라고 쓰는 것에서 유래했다는 이야기도 있다.

2. 1. 초기 온톨로지 언어

철학과 컴퓨터 과학 분야에서는 온톨로지 개발에 대한 오랜 역사를 가지고 있다. 1990년대 이후, 인공 지능(AI) 분야의 지식 표현(KR) 연구가 활발히 진행되면서, 이러한 연구 결과를 월드 와이드 웹에서 활용하기 위한 다양한 시도가 이루어졌다. 초기에는 HTML 기반의 SHOE, XML 기반의 XOL, OIL 등의 언어가 개발되었다.

2. 2. 웹 온톨로지 언어 (OWL)의 등장

2000년 미국에서 DARPA는 제임스 헨들러의 주도로 DAML 개발을 시작했다.^[15] 2001년 3월, EU/US 에이전트 마크업 언어 공동 위원회는 DAML을 OIL과 병합하기로 결정했다.^[15] EU/US 에이전트 마크업 언어 임시 공동 실무 그룹은 DAML+OIL을 개발하기 위해 소집되었다. 이 그룹은 DARPA (DAML 프로그램 하에)와 유럽 연합의 정보 사회 기술 (IST) 자금 지원 프로젝트가 공동으로 자금을 지원했다. DAML+OIL은 RDFS의 얇은 계층으로 설계되었으며,^[15] 형식 의미론은 기술 논리 (DL)를 기반으로 했다.^[16]

DAML+OIL은 OWL에 특히 큰 영향을 미쳤다. OWL의 설계는 특히 DAML+OIL을 기반으로 했다.^[17]

2. 3. 시맨틱 웹 표준

월드 와이드 웹 컨소시엄(W3C) ''메타데이터 활동''에서 RDF 스키마(RDFS)에 대한 작업을 시작했다. 이는 RDF 어휘 공유 언어이다.

2. 3. 1. RDF 스키마 (RDFS)

1990년대 후반, 월드 와이드 웹 컨소시엄(W3C) ''메타데이터 활동''에서 RDF 스키마(RDFS)에 대한 작업을 시작했다. RDF는 1999년 2월 W3C 권고안이 되었고, RDFS는 2000년 3월 후보 권고안이 되었다.^[19] 2001년 2월, ''시맨틱 웹 활동''이 메타데이터 활동을 대체했다.^[19] 2004년(RDF의 광범위한 개정의 일환으로) RDFS는 W3C 권고안이 되었다.^[20]

RDFS는 온톨로지 명세에 대한 몇 가지 지원을 제공하지만, 더 표현력이 풍부한 온톨로지 언어의 필요성이 분명해졌다.^[21]

2. 3. 2. 웹 온톨로지 워킹 그룹

월드 와이드 웹 컨소시엄(W3C)은 시맨틱 웹 활동의 일환으로 웹 온톨로지 워킹 그룹을 설립했다. 2001년 11월 1일 제임스 헨들러와 거스 슈라이버를 공동 의장으로 하여 작업을 시작했다.^[22] 2002년 7월에는 추상 구문 등에 대한 첫 번째 작업 초안이 발표되었다.^[22] OWL은 2004년 2월 10일에 공식적인 W3C 권고안이 되었고, 워킹 그룹은 2004년 5월 31일에 해산되었다.^[22]

2. 3. 3. OWL 워킹 그룹

2006년, OWL 1.1이 월드 와이드 웹 컨소시엄(W3C)에 제출되었다.^[23] 2007년, W3C는 시맨틱 웹 활동의 일환으로 OWL 워킹 그룹을 구성했다.^[24] 2008년, 이 그룹은 이 새로운 언어를 OWL 2로 명명했으며,^[24] OWL 2는 2009년 10월에 W3C 권고안이 되었다.^[6]^[32] OWL 2는 확장성을 개선하기 위해 프로파일을 도입했다.^[6]^[32]

2. 4. 이름의 유래

OWL은 발음하기 쉽고, 멋진 로고를 만들 수 있으며, 지혜를 연상시키고, 1970년대 윌리엄 A. 마틴의 ''One World Language'' 지식 표현 프로젝트를 기리기 위해 선택되었다.^[26]^[27]^[28]

정식 명칭은 "Web ontology language^영어" (일본어 번역 웹 온톨로지 언어)이다. 약칭(두문자어)은 OWL이다. 정식 명칭의 머리글자를 어순대로 쓴 "WOL"이 아닌 "OWL"을 약칭으로 한 것은, OWL이 탄생했을 당시 "WOL"이 이미 데이터 공학 분야의 언어 이름으로 사용되고 있었기 때문이다. 또한, 동화 "곰돌이 푸"에 등장하는 부엉이Owl^영어가 자신의 이름을 "WOL"이라고 쓰는 것에서 유래했다는 이야기도 있다.

3. 온톨로지

톰 그루버는 온톨로지를 "개념화에 대한 명시적인 명세"라고 정의했다.^[30] OWL 계열의 온톨로지는 "개체"와 이러한 개체를 서로 관련시키는 "속성 어서션"으로 데이터를 표현하며, 공리를 통해 개체 집합과 허용되는 관계 유형에 제약을 가하고 의미론을 제공한다. OWL 온톨로지는 다른 온톨로지를 가져와 정보를 추가할 수 있다.^[17]

3. 1. 예시

OWL 계열의 온톨로지는 "개체"와 개체들을 서로 연결하는 "속성 어서션"으로 데이터를 표현한다. 온톨로지는 공리들로 구성되어 개체 집합("클래스")과 허용되는 관계 유형에 제약을 가한다. 이러한 공리는 명시적으로 제공된 데이터에서 추가 정보를 추론할 수 있게 하여 의미론을 제공한다. W3C의 ''OWL 가이드''에서 OWL의 표현력에 대한 전체 소개를 볼 수 있다.^[31]

OWL 온톨로지는 다른 온톨로지를 가져와서 정보를 추가할 수 있다.^[17] 예를 들어 가족 관계를 설명하는 온톨로지를 생각해 보자. "hasMother" 속성은 "hasParent" 속성이 존재할 때만 두 개체 간에 존재한다. 또한 "HasTypeOBlood" 클래스의 개체는 "HasTypeABBlood" 클래스의 구성원과 "hasParent"를 통해 관련되지 않는다는 공리를 포함할 수 있다.

예를 들어 Harriet이라는 개체가 "hasMother"를 통해 Sue라는 개체와 관련되어 있고, Harriet이 "HasTypeOBlood" 클래스의 구성원이라고 하자. 그러면 Sue는 "HasTypeABBlood"의 구성원이 아니라고 추론할 수 있다. 하지만 이는 "부모"와 "어머니" 개념이 생물학적 부모 또는 어머니만을 의미하고 사회적 부모 또는 어머니를 의미하지 않는 경우에만 해당한다.

3. 2. 논리

OWL은 결정 가능한 일차 논리의 하위 집합을 기반으로 하며, 명제 논리에 약어를 추가하여 표현력을 높였다.^[30] OWL은 다양한 논리 기호(

\mathcal{AL}

,

\mathcal{ALC}

,

\mathcal{S}

,

\mathcal{H}

,

\mathcal{R}

,

\mathcal{O}

,

\mathcal{I}

,

\mathcal{F}

,

\mathcal{N}

,

\mathcal{Q}

,

\mathcal{D}_n

)를 사용하여 클래스, 관계, 속성 등을 정의하고 추론한다. 각 기호에 대한 설명은 다음과 같다.^[31]

논리의 문자 또는 기호	설명
$\mathcal{AL}$	클래스 간의 포함 및 동등성, 원자 클래스 정의, 유니버스 클래스, 클래스 간 교차, 관계에 참여하거나 특정 클래스의 요소와 특정 유형의 관계만 갖는 요소로 형성된 클래스 정의, 개체 간의 합동 연산자 및 개체의 클래스 멤버십
$\mathcal{ALC}$	$\mathcal{AL}$ 에 빈 클래스, 보완 클래스, 클래스 합집합 및 특정 클래스의 요소와 특정 관계에 있는 요소의 클래스를 추가
$\mathcal{S}$	$\mathcal{ALC}$ 에 관계의 추이성 정의를 추가
$\mathcal{H}$	관계 간의 포함 및 동등성
$\mathcal{R}$	속성의 분리, 반사성, 비대칭성, 비반사성, 다른 관계로 구성된 관계, 두 개체 간의 비관계 정의
$\mathcal{O}$ (One of)	포함된 모든 개체의 목록을 통해 클래스 생성
$\mathcal{I}$ (Reverse)	역 속성 정의
$\mathcal{F}$ (Feature)	기능 속성 정의
$\mathcal{N}$ (Number)	기수 제한: 특정 관계에 참여하는 요소의 수가 값 n보다 작거나, 크거나, 같음
$\mathcal{Q}$ (Qualified)	$\mathcal{N}$ 과 유사하지만 관계를 한정할 수 있음
$\mathcal{D}_n$ (Countable domain)	관계가 연결될 수 있는 도메인(데이터 타입) 정의 (예: "마리오는 n세이다")

4. 종류 (Species)

W3C가 승인한 OWL 명세는 표현력 수준에 따라 세 가지 OWL 변형, 즉 OWL Lite, OWL DL, OWL Full을 정의한다(표현력 증가 순서). 이 하위 언어들은 이전 버전의 구문적 확장이며, 다음과 같은 관계가 성립한다(역관계는 성립하지 않음):

모든 유효한 OWL Lite 온톨로지는 유효한 OWL DL 온톨로지이다.
모든 유효한 OWL DL 온톨로지는 유효한 OWL Full 온톨로지이다.
모든 유효한 OWL Lite 결론은 유효한 OWL DL 결론이다.
모든 유효한 OWL DL 결론은 유효한 OWL Full 결론이다.

4. 1. OWL Lite

OWL Lite는 원래 주로 분류 계층 구조와 단순 제약 조건이 필요한 사용자를 지원하기 위해 고안되었다.^[24] 예를 들어, 기수성 제약 조건을 지원하지만, 기수성 값은 0 또는 1만 허용한다.^[24] 시소러스 및 기타 분류법을 사용하는 시스템을 위한 빠른 마이그레이션 경로를 제공하는 한편, OWL Lite에 대한 도구 지원은 더 표현력이 풍부한 다른 언어보다 간단하게 제공할 수 있을 것으로 기대되었다.^[24] 그러나 실제로 OWL Lite에 가해진 대부분의 표현력 제약은 단지 구문상의 불편함에 불과했다.^[24] OWL DL에서 사용할 수 있는 대부분의 구성 요소는 OWL Lite 기능의 복잡한 조합을 사용하여 구축할 수 있으며, 설명 논리

\mathcal{SHIF}(\mathbf{D})

만큼 표현력이 풍부하다.^[24] 따라서 OWL Lite 도구 개발은 OWL DL 도구 개발만큼이나 어려운 것으로 입증되었으며, OWL Lite는 널리 사용되지 않는다.^[24]

4. 2. OWL DL

OWL DL은 계산 완전성(φ 또는 ¬φ 중 하나가 성립), 결정 가능성(φ가 유도 가능한지 여부를 결정하는 효과적인 절차가 존재) 및 실용적인 추론 알고리즘의 가용성을 유지하면서 가능한 최대의 표현력을 제공하도록 설계되었다. OWL DL은 모든 OWL 언어 구문을 포함하지만 특정 제한 사항 하에서만 사용할 수 있다 (예: 전이적으로 선언된 속성에는 숫자 제한을 둘 수 없고, 클래스는 여러 클래스의 하위 클래스가 될 수 있지만 클래스는 다른 클래스의 인스턴스가 될 수 없다). OWL DL은 OWL의 공식적인 기반을 형성하는 논리를 연구해온 연구 분야인 기술 논리와의 연관성 때문에 이러한 이름이 붙었다.

이것은 위의 문자를 사용하여

\mathcal{SHOIN}(\mathbf{D})

로 표현할 수 있다.

4. 3. OWL Full

W3C가 승인한 OWL 명세는 표현력 수준이 다른 세 가지 OWL 변형, 즉 OWL Lite, OWL DL, OWL Full을 정의하고 있다(표현력 증가 순서). 이러한 각 하위 언어는 더 간단한 이전 버전의 구문적 확장이다. 다음과 같은 관계가 성립하며, 이들의 역관계는 성립하지 않는다.

모든 유효한 OWL Lite 온톨로지는 유효한 OWL DL 온톨로지이다.
모든 유효한 OWL DL 온톨로지는 유효한 OWL Full 온톨로지이다.
모든 유효한 OWL Lite 결론은 유효한 OWL DL 결론이다.
모든 유효한 OWL DL 결론은 유효한 OWL Full 결론이다.

4. 4. OWL2 프로파일

OWL 2는 세 가지 하위 언어(OWL 2 EL, OWL 2 QL, OWL 2 RL)를 포함한다.^[32] 각 프로파일은 특정 목적과 계산 복잡도에 맞춰 설계되었다.

OWL 2 EL은 다항 시간 추론 복잡성을 갖는 단편이다. 이는 기술 논리 $\mathcal{EL}$ 에 기반한다.
OWL 2 QL은 데이터베이스에 저장된 데이터에 더 쉽게 접근하고 쿼리할 수 있도록 설계되었다. 이는 DL-Lite 기술 논리군에 기반한다.
OWL 2 RL은 OWL 2의 규칙 부분 집합이다("RL"은 "규칙 언어"를 의미). 이는 소위 기술 논리 프로그램(DLP)에 기반한다. 이후, 이 프로파일에 해당하는 $\mathcal{RL}$ 이라는 논리가 도입되었다.^[33]

5. 구문 (Syntax)

OWL 언어군은 다양한 구문을 지원한다. 명세를 위한 ''상위 수준'' 구문과 일반적인 사용에 더 적합한 ''교환'' 구문을 구별하는 것이 유용하다.

5. 1. 상위 수준 (High Level)

OWL 추상 구문은 온톨로지를 일련의 ''주석'', ''공리'', ''사실''로 나타내며, 고수준 구문을 사용하여 OWL 온톨로지 구조와 의미를 지정한다.^[34] 주석은 기계 및 사람 중심의 메타데이터를 전달하고, 온톨로지를 구성하는 클래스, 속성, 개체에 대한 정보는 공리와 사실에만 포함된다.

각 클래스, 속성 및 개체는 ''익명''이거나 URI 참조로 식별된다. 사실은 개별 개체 또는 개체 식별자 쌍(식별된 개체가 다르거나 동일함)에 대한 데이터를 명시하며, 공리는 클래스와 속성의 특성을 지정한다. 이 스타일은 프레임 언어와 유사하며 기술 논리 및 자원 기술 프레임워크(RDF)에 대한 잘 알려진 구문과는 매우 다르다.^[34]

Sean Bechhofer 외 다수는 이 구문이 파싱하기 어렵지만 매우 구체적이라고 주장하며, ''추상 구문''이라는 이름이 다소 오해의 소지가 있을 수 있다고 결론 내린다.^[35] 이 구문은 OWL2 온톨로지의 구조를 면밀히 따르며, OWL2는 이 구문을 사용하여 의미론, 구문 교환 및 프로파일 매핑을 지정한다.^[36]

5. 2. 교환 구문 (Exchange Syntaxes)

OWL 계열 언어에 대해서는 RDF로의 구문 매핑이 지정된다.^[34]^[38] 여러 RDF 직렬화 형식이 고안되었으며, 각 형식은 이 매핑을 통해 OWL 계열 언어에 대한 구문으로 이어진다. RDF/XML이 규범적이다.^[34]^[38]

OWL2는 OWL2 온톨로지의 구조를 면밀히 모델링하는 XML 직렬화를 명시한다.^[39]

맨체스터 구문(Manchester Syntax)은 프레임 언어와 유사한 스타일을 가진, 간결하고 사람이 읽기 쉬운 구문이다. OWL 및 OWL 2에 대한 변형이 제공되나, 이 구문으로 모든 OWL 및 OWL 2 온톨로지를 표현할 수 있는 것은 아니다.^[40]

5. 3. 예시

W3C OWL 2 웹 온톨로지 언어는 구문 예시를 제공한다.^[41] 차(Tea) 클래스를 기반으로 하는 차 온톨로지를 예시로 들어보자. 먼저 온톨로지 식별자가 필요하다. 모든 OWL 온톨로지는 URI로 식별되어야 하는데, 이 예시에서는 http://www.example.org/tea.owl를 사용한다. 아래 예시에서는 공간을 절약하기 위해 프리앰블 및 접두사 정의는 생략되었다.

; OWL2 함수 구문:

```turtle

Ontology(

Declaration( Class( :Tea ) )

)

```

; OWL2 XML 구문:

```xml

```

; 맨체스터 구문:

```turtle

Ontology:

Class: Tea

```

; RDF/XML 구문:

```xml

```

; RDF/Turtle:

```turtle

rdf:type owl:Ontology .

:Tea rdf:type owl:Class .

6. 의미론 (Semantics)

OWL 계열은 모델 이론적 형식 의미론을 가지므로 강력한 논리적 기반을 가지고 있다. OWL은 자원 기술 프레임워크(RDF) 어휘의 의미를 확장할 수 있으며, 모델 이론은 RDF에 대한 형식적 의미론을 설명한다.^[46]^[47] 따라서 OWL Full 온톨로지의 의미는 RDFS 의미의 확장에 의해 정의되며, OWL Full은 RDF의 의미적 확장이다.^[48]

OWL 계열 언어는 개방 세계 가정을 사용하는데, 이는 현재 지식으로 어떤 명제가 참이라고 증명할 수 없다면, 그 명제가 거짓이라는 결론을 내릴 수 없다는 것이다.^[49]

6. 1. 기술 논리(Description Logics)와의 관계

OWL 클래스는 기술 논리 (DL) ''개념''에 해당하고, OWL 속성은 DL ''역할''에 해당하며, ''개체''는 OWL과 DL 용어 모두에서 동일하게 불린다.^[42]

초창기 대규모 온톨로지를 구축하려는 시도는 명확한 정의가 부족하여 어려움을 겪었다. OWL 계열의 구성원들은 모델 이론적 형식 의미론을 가지므로 강력한 논리적 기반을 가지고 있다.

기술 논리는 매력적이고 잘 이해된 계산적 속성을 가진 일차 논리의 결정 가능한 부분 집합인 논리 계열이다. OWL DL 및 OWL Lite 의미론은 DL을 기반으로 한다.^[44] 이들은 온톨로지를 설명하고 교환하기 위한 구문과 의미를 부여하는 형식 의미론을 결합한다. 예를 들어, OWL DL은

\mathcal{SHOIN}^\mathcal{(D)}

기술 논리에 해당하고, OWL 2는

\mathcal{SROIQ}^\mathcal{(D)}

논리에 해당한다.^[45] 건전하고, 완전하며, 종료되는 추론기 (즉, 온톨로지의 지식에서 모든 결과를 도출하도록 보장된 시스템)가 이러한 DL에 존재한다.

6. 2. RDFS와의 관계

OWL Full은 RDF 스키마와 호환되도록 설계되었으며, 기존의 자원 기술 프레임워크(RDF) 어휘의 의미를 확장할 수 있다.^[46] 모델 이론은 RDF에 대한 형식적 의미론을 설명한다.^[47] 이러한 해석은 RDF 및 RDFS 어휘의 의미를 제공한다. 따라서 OWL Full 온톨로지의 의미는 RDFS 의미의 확장에 의해 정의되며, OWL Full은 RDF의 의미적 확장이다.^[48]

6. 3. 개방 세계 가정 (Open World Assumption)

OWL 계열 언어는 개방 세계 가정을 사용한다. 개방 세계 가정에 따르면, 현재 지식으로 어떤 명제가 참이라고 증명할 수 없다면, 그 명제가 거짓이라는 결론을 내릴 수 없다.^[49]

관계형 데이터베이스는 동일한 튜플의 집합으로 구성되며, 동일한 속성을 가진다. SQL은 관계형 데이터베이스를 위한 쿼리 및 관리 언어이다. Prolog는 논리 프로그래밍 언어이다. 이들은 모두 폐쇄 세계 가정을 사용한다.

7. 공개 온톨로지 (Public Ontologies)

공개적으로 사용 가능한 온톨로지는 다음과 같다.

종류	내용
라이브러리	OBO 파운드리^[50]^[51], NCBO 바이오포털^[52], NCI 엔터프라이즈 어휘 서비스, SUMO, TDWG, W3C의 PROV-DM 온톨로지 버전 PROV-O, BFO, EMMO
브라우저	Protégé OWL^[59]
검색	스워글

7. 1. 라이브러리 (Libraries)

OBO 파운드리^[50]^[51]
NCBO 바이오포털^[52]
NCI 엔터프라이즈 어휘 서비스
SUMO
TDWG
W3C의 PROV-DM 온톨로지 버전 PROV-O
BFO
EMMO

7. 2. 브라우저 (Browsers)

Protégé OWL^[59]

7. 3. 검색 (Search)

스워글

8. 한계점

OWL 클래스는 기술 논리 (DL) ''개념''에 해당하고, OWL 속성은 DL ''역할''에 해당하며, ''개체''는 OWL과 DL 용어 모두에서 동일하게 불린다.^[42]

n-ary 관계에 대한 직접적인 언어 지원이 없다. 예를 들어, 모델러는 관계의 속성을 설명하거나, 2명 이상의 개체를 관련시키거나, 개체를 목록에 연결하려고 할 수 있다. OWL 내에서는 이를 수행할 수 없다. 대신, 형식적 의미론 밖에서 의미를 인코딩하는 패턴을 채택해야 할 수 있다.^[60]

참조

_[1] 웹사이트 A Semantic Web Primer for Object-Oriented Software Developers https://www.w3.org/2[...] 2017-11-19
_[2] 웹사이트 OWL 2 Web Ontology Language Document Overview (Second Edition) https://www.w3.org/T[...] 2012-12-11
_[3] 웹사이트 XML and Semantic Web W3C Standards Timeline http://www.dblab.ntu[...]
_[4] 웹사이트 OWL http://www.w3.org/20[...] 2017-02-23
_[5] 웹사이트 Submission Request to W3C: OWL 1.1 Web Ontology Language http://www.w3.org/Su[...] W3C 2006-12-19
_[6] 웹사이트 W3C Standard Facilitates Data Management and Integration http://www.w3.org/20[...] W3.org 2013-10-15
_[7] 간행물 Pellet: A practical OWL-DL reasoner http://pellet.owldl.[...]
_[8] 웹사이트 RACER - Home http://www.racer-sys[...] 2017-02-23
_[9] 서적 Automated Reasoning
_[10] 웹사이트 Google Code Archive - Long-term storage for Google Code Project Hosting http://code.google.c[...] 2017-02-23
_[11] 웹사이트 Home http://hermit-reason[...] HermiT Reasoner 2017-02-23
_[12] 간행물 The Semantic Web A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities http://www.cs.umd.ed[...] 2001-05-17
_[13] 서적 Semantic Web Programming https://archive.org/[...] Wiley 2009-04-13
_[14] 서적 Programming the Semantic Web O'Reilly Media 2009-07-24
_[15] 서적 OWL: Representing Information Using the Web Ontology Language Trafford Publishing
_[16] 서적 Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday http://www.springerl[...] Springer Berlin
_[17] 간행물 From SHIQ and RDF to OWL: the making of a Web Ontology Language
_[18] 웹사이트 W3C Semantic Web Activity http://www.w3.org/20[...] 2010-04-18
_[19] 웹사이트 Metadata Activity Statement http://www.w3.org/Me[...] World Wide Web Consortium 2010-04-20
_[20] 웹사이트 RDF Vocabulary Description Language 1.0: RDF Schema http://www.w3.org/Me[...] World Wide Web Consortium 2010-04-20
_[21] 서적 OWL: Representing Information Using the Web Ontology Language Trafford Publishing
_[22] 웹사이트 Web-Ontology (WebOnt) Working Group (Closed) http://www.w3.org/20[...] W3C
_[23] 웹사이트 OWL 1.1 Web Ontology Language http://www.w3.org/Su[...] World Wide Web Consortium 2010-04-26
_[24] 간행물 OWL 2: The next step for OWL http://www.cs.ox.ac.[...]
_[25] 웹사이트 Why OWL and not WOL? http://www.w3.org/Pe[...] World Wide Web Consortium 2010-04-18
_[26] 웹사이트 Re: NAME: SWOL versus WOL http://lists.w3.org/[...]
_[27] 웹사이트 Ontologe Reasoning: The Why and The How http://www2.informat[...] 2014-01-28
_[28] 웹사이트 OWL: the original http://groups.csail.[...] 2003-07-07
_[29] 서적 The Semantic Web - ISWC 2006
_[30] 문서 Gruber, Tom
_[31] 웹사이트 OWL Web Ontology Language Guide http://www.w3.org/TR[...]
_[32] 웹사이트 OWL 2 Web Ontology Language Profiles (Second Edition) https://www.w3.org/T[...] 2012-12-11
_[33] 간행물 Complexities of Horn Description Logics https://iccl.inf.tu-[...] 2024-09-23
_[34] 웹사이트 OWL Web Ontology Language Semantics and Abstract Syntax http://www.w3.org/TR[...] World Wide Web Consortium 2010-04-18
_[35] 웹사이트 OWL Web Ontology Language Concrete Abstract Syntax http://owl.man.ac.uk[...] University of Manchester 2010-04-18
_[36] 웹사이트 OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax http://www.w3.org/TR[...] World Wide Web Consortium 2010-04-18
_[37] 뉴스 application/rdf+xml Media Type Registration (RFC3870) http://tools.ietf.or[...] IETF 2004-09-01
_[38] 웹사이트 OWL 2 Web Ontology Language Mapping to RDF Graphs http://www.w3.org/TR[...] World Wide Web Consortium 2010-04-18
_[39] 웹사이트 OWL 2 Web Ontology Language XML Serialization http://www.w3.org/TR[...] World Wide Web Consortium 2010-04-18
_[40] 웹사이트 OWL 2 Web Ontology Language Manchester Syntax http://www.w3.org/TR[...] World Wide Web Consortium 2010-04-18
_[41] 웹사이트 OWL 2 Web Ontology Language Primer http://www.w3.org/TR[...] World Wide Web Consortium 2013-10-15
_[42] 서적 Description Logics in Multimedia Reasoning https://www.springer[...] Springer International Publishing 2017
_[43] 간행물 "What IS-A is and isn't: An analysis of taxonomic links in semantic networks" IEEE Computer 1983
_[44] 웹사이트 Reducing OWL Entailment to Description Logic Satisfiability http://www.cs.man.ac[...]
_[45] 서적 Foundations of Semantic Web Technologies http://www.semantic-[...] CRCPress 2009-08-25
_[46] 웹사이트 OWL Web Ontology Language Overview http://www.w3.org/TR[...] World Wide Web Consortium 2010-04-18
_[47] 웹사이트 RDF Semantics http://www.w3.org/TR[...] World Wide Web Consortium 2010-04-18
_[48] 웹사이트 OWL Web Ontology Language Semantics and Abstract Syntax Section 5. RDF-Compatible Model-Theoretic Semantics http://www.w3.org/TR[...] World Wide Web Consortium 2010-04-18
_[49] 웹사이트 Closed World vs. Open World: the First Semantic Web Battle http://www.betaversi[...] 2005-06-16
_[50] 웹사이트 The OBO Foundry http://obofoundry.or[...] The OBO Foundry 2017-02-23
_[51] 웹사이트 OBO Download Matrix http://www.berkeleyb[...]
_[52] 웹사이트 The National Center for Biomedical Ontology - BioPortal http://www.bioontolo[...] 2022-01-17
_[53] 웹사이트 Archived copy http://www.ontologyp[...] 2022-01-17
_[54] 웹사이트 GBIF Community Site: Section 1: a review of the TDWG Ontologies http://community.gbi[...] 2017-02-23
_[55] 웹사이트 PROV-O: The PROV Ontology http://www.w3.org/TR[...] 2017-02-23
_[56] 웹사이트 PROV-DM: The PROV Data Model http://www.w3.org/TR[...] 2017-02-23
_[57] 웹사이트 Iso/Iec 21838-2:2021 https://www.iso.org/[...]
_[58] 웹사이트 Elementary Multiperspective Material Ontology (EMMO) https://github.com/e[...] 2022-01-28
_[59] 웹사이트 protégé http://protege.stanf[...] 2017-02-23
_[60] 웹사이트 Defining N-ary Relations on the Semantic Web http://www.w3.org/TR[...] World Wide Web Consortium 2010-04-17
_[61] 웹인용 A Semantic Web Primer for Object-Oriented Software Developers https://www.w3.org/2[...] 2017-11-19
_[62] 웹인용 OWL 2 Web Ontology Language Document Overview (Second Edition) https://www.w3.org/T[...] 2012-12-11

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com