웹 온톨로지 언어

웹 온톨로지 언어(OWL)는 온톨로지 저작을 위한 지식 표현 언어 패밀리입니다.존재론은 분류학과 분류 네트워크를 기술하는 형식적인 방법으로, 기본적으로 다양한 영역의 지식 구조를 정의한다: 객체의 클래스를 나타내는 명사와 객체 간의 관계를 나타내는 동사.

온톨로지는 객체 지향 프로그래밍에서 클래스 계층과 유사하지만 몇 가지 중요한 차이가 있습니다.클래스 계층은 상당히 느리게(아마도 월별 개정과 함께) 진화하는 소스 코드에서 사용되는 구조를 나타내도록 의도된 반면 온톨로지는 인터넷 상의 정보를 나타내며 거의 끊임없이 진화할 것으로 예상됩니다.마찬가지로 온톨로지는 일반적으로 모든 종류의 이기종 데이터 소스에서 나오는 인터넷 상의 정보를 나타내기 위해 훨씬 더 유연합니다.반면 클래스 계층은 상당히 정적인 경향이 있으며 기업 ^[1]데이터베이스와 같이 훨씬 덜 다양하고 구조화된 데이터 소스에 의존합니다.

OWL 언어는 형식적인 의미론에 의해 특징지어집니다.이들은 RDF(^[2]Resource Description Framework)라고 불리는 객체에 대한 W3C(World Wide Web Consortium) 표준을 기반으로 구축되었습니다.OWL과 RDF는 학술적, 의료적, 상업적 관심을 끌고 있습니다.

2007년 ^[3]10월, OWL 1.1 회원 ^[5]제출에서 제안된 대로 몇 가지 새로운 기능을 사용하여 OWL을 확장하기 위한 새로운 W3C 작업^[4] 그룹이 시작되었습니다.W3C는 2009년 ^[6]10월 27일 OWL의 새로운 버전을 발표했다.OWL 2라고 불리는 이 새로운 버전은 곧 Protégé와 같은 시맨틱 에디터와 Pellet,^[7] RacerPro,^[8] FaCT++,^[9][10] HermiT와 ^[11]같은 시맨틱 논리에 적용되었다.

OWL 패밀리는 유사한 이름의 많은 종, 직렬화, 구문 및 규격을 포함합니다.OWL 및 OWL2는 각각 2004 및 2009 사양을 참조하기 위해 사용됩니다.사양 버전(예: OWL2 EL)을 포함한 전체 종 이름이 사용됩니다.일반적으로는 OWL 패밀리를 사용합니다.^[12][13][14]

역사

초기 온톨로지 언어

철학과 컴퓨터 과학에는 존재론적 발전의 오랜 역사가 있다.1990년대 이후, 많은 연구 노력이 어떻게 인공지능에서 나온 지식 표현(KR)의 아이디어가 월드 와이드 웹에서 유용하게 쓰일 수 있는지를 탐구해 왔다.여기에는 HTML 기반 언어(SHOE)와 XML 기반 언어(XOL, 이후 오일) 및 다양한 프레임 기반 KR 언어 및 지식 획득 접근 방식이 포함됩니다.

웹용 온톨로지 언어

2000년 미국에서 DARPA는 제임스 헨들러가 ^{[15][self-published source]}이끄는 DAML 개발을 시작했다.2001년 3월, EU/US 에이전트 마크업 언어 공동 위원회는 DAML을 ^[15]OIL과 합병해야 한다고 결정했습니다.에이전트 마크업 언어에 관한 EU/US 특별 공동 작업 그룹은 웹 온톨로지 언어로서 DAML+OIL을 개발하기 위해 소집되었습니다.이 그룹은 (DAML 프로그램에 따라) DARPA와 유럽연합의 정보사회 기술(IST) 기금 프로젝트에 의해 공동 자금 지원을 받았다.DAML+OIL은 기술 로직(^[16]DL)에 기초한 정식 시멘틱스를 가진 RDFS ^[15]위의 씬 레이어입니다.

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

시맨틱 웹 표준

시맨틱 웹은 애플리케이션, 엔터프라이즈 및 커뮤니티 경계를 넘어 데이터를 공유하고 재사용할 수 있는 공통 프레임워크를 제공합니다.

--

RDF 스키마

지식 표현으로부터의 아이디어에 영향을 받은 선언 표현 언어

--

1990년대 후반, W3C(World Wide Web Consortium) 메타데이터 활동은 RDF 어휘 공유를 위한 언어인 RDF Schema(RDFS)에 대한 작업을 시작했습니다.RDF는 1999년 2월에 W3C 추천이 되었고,^[19] RDFS는 2000년 3월에 후보 추천이 되었습니다.2001년 2월에 시맨틱 웹 액티비티가 메타데이터 ^[19]액티비티를 대체했습니다.2004년(RDF의 광범위한 개정의 일환) RDFS는 W3C 권장 ^[20]사항이 되었습니다.RDFS는 온톨로지 사양에 대한 지원을 제공하지만, 보다 표현력이 풍부한 온톨로지 언어의 필요성은 ^{[21][self-published source]}분명해졌습니다.

Web-Ontology 작업 그룹

5월 31일 월요일을 기점으로 저희 워킹그룹은 공식적으로 종료됩니다.우리는 우리가 할 수 있는 모든 것을 성취했고, 나는 우리의 일이 꽤 높이 평가받고 있다고 믿는다.

--

World Wide Web Consortium(W3C)은 시맨틱 웹 활동의 일환으로 Web-Ontology Working Group을 만들었습니다.2001년 11월 1일 제임스 헨들러와 거스 슈라이버 ^[22]공동대표와 함께 작업을 시작했다.추상 구문, 참조 및 개요의 첫 번째 작업 초안은 2002년 ^[22]7월에 출판되었습니다.OWL은 2004년 2월 10일에 공식적인 W3C 권고안이 되었고 작업 그룹은 2004년 ^[22]5월 31일에 해체되었습니다.

OWL 작업 그룹

2005년 OWL 체험 및 방향 워크숍에서는 기술 로직의 최근 진보를 통해 우수한 계산 속성을 유지하면서 사용자 요구사항을 보다 포괄적으로 충족시킬 수 있다는 공감대가 형성되었다.2006년 12월, OWL1.1 멤버는^[23] W3C에 제출되었습니다.W3C는 2007년 9월에 시멘틱 웹 활동의 일환으로 OWL 작업 그룹을 인가했다.2008년 4월, 이 그룹은 이 새로운 언어를 OWL2라고 부르기로 결정하였고, 이는 상당한 ^[24]개정을 의미했다.

OWL 2는 2009년 10월에 W3C 권고가 되었습니다.OWL 2는 일반적인 ^[6]애플리케이션의 확장성을 향상시키기 위해 프로파일을 도입했습니다.

약자

일관성에 관한 언어의 적어도 한 가지 측면에서 일관성이 없는 것은 어떨까요?

--

OWL은 좋은 로고를 만들어 내고 지혜를 제안하며 윌리엄 A를 기리는 쉽게 발음되는 약자로 선택되었습니다. 1970년대 ^[26][27][28]마틴의 One World Language 지식 표현 프로젝트.

도입

웹에서 이용 가능한 온톨로지에 대한 2006년 조사에서는 688개의 OWL 온톨로지가 수집되었습니다.이 중 199개는 OWL Lite, 149개는 OWL DL, 337개는 OWL Full입니다(구문에 따라).그들은 19개의 온톨로지가 2,000개 이상의 클래스를 가지고 있고, 6개가 10,000개 이상의 클래스를 가지고 있다는 것을 발견했다.같은 조사에서 587개의 ^[29]RDFS 어휘가 수집되었다.

2021년에 교수.Ian Horrocks는 OWL의 표준화에^[30] 대한 그의 업적을 인정받아 Lovelace Medal을 수상하였으며, OWL이 널리 채택된 주요 원인으로 여겨지고 있습니다.이 연구 개발의 결과는 지식 그래프이자 추론 엔진인 RDFox였습니다.^[31]RDFox는 고속 추론이 가능할 뿐만 아니라 상업적으로도 가능하다는 것이 명백해짐에 따라 추리 기술의 빠른 수행 능력에 대한 무시적인 태도를 뒤로 하고 기술 공간의 문화적 변화에 의의가 있습니다.많은 기관에서 현재 이 기술을 고도로 상호 연결된 데이터와 관련된 사회적 및 산업적 문제에 대한 해결책으로 채택하고 있습니다.

온톨로지

온톨로지는 개념화의 명시적인 사양입니다.

--

OWL 패밀리의 존재론에 의해 기술된 데이터는 이들 개인을 서로 관련짓는 일련의 "개인"과 "재산적 주장"으로 해석된다.존재론은 개인의 집합('클래스'라고 함)과 그들 사이에 허용되는 관계의 유형에 제약을 가하는 일련의 공리로 구성됩니다.이러한 공리는 시스템이 명시적으로 제공된 데이터를 기반으로 추가 정보를 추론할 수 있도록 함으로써 의미론을 제공합니다.OWL의 표현력에 대한 자세한 내용은 W3C의 OWL ^[33]가이드에 나와 있습니다.

OWL 온톨로지는 다른 온톨로지를 Import하여 가져온 온톨로지의 정보를 현재 ^[17]온톨로지에 추가할 수 있습니다.

예

가족을 설명하는 온톨로지에는 "hasParent"도 존재하는 경우 "hasMother" 속성은 두 개인 사이에만 존재하며 클래스 "HasType"의 개인은 다음과 같은 공리가 포함될 수 있습니다.OBlood는 "hasParent"를 통해 "HasType" 멤버와 관련이 없습니다.AB블루드 클래스Harriet 개인이 "hasMother"를 통해 개인 Sue와 관련이 있으며 Harriet이 "HasType"의 멤버라고 명시되어 있는 경우OBlood 클래스는 Sue가 "HasType"의 멤버가 아님을 유추할 수 있습니다.ABBLOOD"라고 합니다.그러나 이것은 "부모"와 "어머니"의 개념이 사회적 부모나 어머니가 아닌 친부모나 어머니를 의미할 경우에만 해당된다.

종.

OWL 방언

W3C 엔도어 OWL 사양에는 표현 수준이 다른 3가지 OWL의 정의가 포함되어 있습니다.OWL Lite, OWL DL 및 OWL Full(표현성을 높여 정렬)입니다.이러한 하위 언어들은 각각 단순한 이전 언어의 구문 확장이다.다음 일련의 관계가 유지됩니다.그들의 반대는 그렇지 않다.

• 모든 법적 OWL Lite 온톨로지는 법적 OWL DL 온톨로지입니다.
• 모든 법적 OWL DL 온톨로지는 법적 OWL 전체 온톨로지입니다.
• 모든 유효한 OWL Lite 결론은 유효한 OWL DL 결론입니다.
• 모든 유효한 OWL DL 결론은 유효한 OWL 전체 결론입니다.

OWL 라이트

OWL Lite는 원래 분류 계층과 단순한 제약이 주로 필요한 사용자를 지원하기 위한 것입니다.예를 들어 카디널리티 제약조건을 지원하지만 카디널리티 값은 0 또는1만 허용합니다.OWL Lite에 대한 도구 지원이 보다 표현력이 풍부한 친척보다 간단하여 Thesauri 및 다른 분류법을 사용하는 시스템에 빠른 이동 경로를 제공할 수 있기를 희망했습니다.그러나 실제로는 OWL Lite에 가해지는 표현 제약의 대부분은 구문상의 불편에 지나지 않습니다.OWL DL에서 사용할 수 있는 대부분의 구조는 OWL Lite 기능의 복잡한 조합을 사용하여 구축할 수 있으며 설명 $로직{\displaystyle \mathcal{}}$ ${\displaystyle \mathcal{SHI}}$ $)$와 동일하게 표현됩니다(\style$\mathcal${sh$}).$$mathbf {D$^[24] OWL Lite 툴의 개발은 OWL DL 툴의 개발만큼이나 어려운 것으로 판명되었으며 OWL Lite는 널리 ^[24]사용되지 않습니다.

올빼미 DL

OWLDL는 동안 계산 완전성(양쪽 φ 또는 ¬φ을 보유하고 있), 결정 가능성(이 효과적인 절차 여부 φ거나 추론할 수 있는 있는지를 확인하는 것이다)과 실용적인 논리 알고리즘의 가용성을 유지한 최대 표현력 가능성을 위해 설계되었다.OWLDL,지만은 어느 정도 제한(예를 들어, 수 제한은 타동사가 되겠다고 공언해 속성입니다에;그리고 다른 클래스의 많은 수업을 듣는 동안 클래스가 서브 클래스, 한 학급이 될 수 없인스턴스를 배치하지 않을 수도 있)하에서만 사용할 수 있는 모든 OWL언어 구문을 포함한다.OWLDL 그렇게 설명 논리, OWL의 형식적인 기초를 형성하는 논리를 공부하고 있다. 연구 분야와의 서신 왕래 때문에 이름을 딴 것이다.

OWL 풀

OWL전체 OWL라이트 또는 OWLDL에서 다른 의미에 RDF스키마와 함께 호환성을 보존하기 위해 설계된 것이다.예를 들어, OWL전체에서 수업을 동시에 개인들의 컬렉션 및 그 자체의 권리의 한 개인으로서, 이 OWLDL.OWLinFull 존재론 기당 미리 지정된(자원 기술 체계 또는 OWL)어휘의 의미를 증가시킬 수 있는 허용되지 않는다 치료할 수 있다.OWL가 꽉 찼습니다. 그래서 어느 추리 소프트웨어에 완전한 추론을 수행할 수 있다 결정할 수 없는 있다.

OWL2 프로파일

OWL2에는 언어의 32차 언어다.는 다항 시간 추론 복잡성을 가지OWL2EL은 조각, OWL2 멋지다 데이터 데이터베이스에 저장된 보다 쉬운 접근과 쿼릴 수 있도록 설계되었다;OWL2의 OWL2 실생활은 규칙 집합입니다.

구문

언어의 OWL가족 syntaxes의 다양한 지원합니다.교환 syntaxes 더 일반적인 사용하기에 적합한에서 높은 수준 syntaxes 규격을 겨냥한 사물을 구별하기에 유용하다.

고레벨

이것들은 OWL가족에 언어의 존재론 구조물에 가깝다.

OWL 추상 구문

높은 수준의 구문은 OWL존재론 구조와 의미를 지정에 사용된다.[34]

그 OWL추상 구문 주석, 공리와 사실들을 시퀀스로 존재론을 제시한다.Annotations 기계와 인간 중심 meta-data을 운반합니다.수업, 속성과 존재론을 작곡합니다 개인에 대한 정보는 공리와 사실만을 보도에 포함되어 있다.각 계층 재산과 개인 역시나 URI참조에 의해 확인된 익명으로 처리됩니다.사실은 개인 또는 개인 식별자 쌍에 대한 데이터를 나타냅니다(특정된 개체가 구별되거나 동일함).공리는 클래스 및 속성의 특성을 지정합니다.이 스타일은 프레임 언어와 비슷하며 DL 및 Resource Description Framework(RDF)^[34]에 대한 잘 알려진 구문과는 매우 다릅니다.

Sean Bechhhofer 등은 이 구문을 해석하기는 어렵지만 상당히 구체적이라고 주장한다.그들은 추상 구문이라는 이름이 다소 ^[35]오해를 불러일으킬 수 있다고 결론지었다.

OWL2 기능 구문

이 구문은 OWL2 온톨로지의 구조를 따르고 있습니다.OWL2는 구문 및 ^[36]프로파일을 교환하기 위한 의미론, 매핑을 지정하기 위해 사용합니다.

Exchange 구문

OWL RDF/XML 시리얼화

파일 이름 확장자	.owx, .owl, .rdf
인터넷 미디어 유형	application/owl+xml, application/rdf+xml[37]
개발자	월드 와이드 웹 컨소시엄
표준.	OWL 2 XML 시리얼화 2009년 10월 27일, 12년 전(2009-10-27) OWL 참조: 2004년 2월 10일; 18년 전(2004-02-10)
오픈 포맷?	네.

RDF 구문

OWL 패밀리의 언어에는 RDF에 대한 구문 매핑이 지정됩니다^[34][38].몇 가지 RDF 시리얼화 형식이 고안되었습니다.각각은 이 매핑을 통해 OWL 패밀리의 언어 구문으로 이어집니다.RDF/XML은 ^[34][38]표준입니다.

OWL2 XML 구문

OWL2는 OWL2 온톨로지의 ^[39]구조를 밀접하게 모델링하는 XML 시리얼화를 지정합니다.

맨체스터 구문

Manchester Syntax는 프레임 언어에 가까운 스타일을 가진 사람이 읽을 수 있는 콤팩트한 구문입니다.OWL 및 OWL2에는 다양한 종류가 있습니다.일부 ^[40]OWL 및 OWL2 온톨로지는 이 구문에서 표현할 수 없습니다.

예

• W3C OWL 2 Web Ontology Language는 구문 ^[41]예를 제공합니다.

차온톨로지

Tea 클래스를 기반으로 한 차의 존재론을 고려해 보십시오.첫째, 온톨로지 식별자가 필요합니다.모든 OWL 온톨로지는 URI(http://www.example.org/tea.owl, say)로 식별해야 합니다.이 예에서는 구문의 의미를 나타내고 있습니다.아래 공간을 절약하기 위해 프리암블 및 접두사 정의를 건너뛰었습니다.

OWL2 기능 구문

온톨로지(<http://example.org/tea.owl>   선언.( 학급( :차 ) ) ) 

OWL2 XML 구문

 <온톨로지> 존재론IRI="http://example.org/tea.owl" ...>    <프리픽스> 이름="올빼미" IRI="http://www.w3.org/2002/07/owl#"/>    <선언>      <클래스> IRI='차'/>    </선언>  </온톨로지> 

맨체스터 구문

온톨로지: <http://example.org/tea.owl> 학급: 차 

RDF/XML 구문

<rdf:RDF> ...>     <owl:온톨로지> rdf: 개요=""/>     <owl: 클래스> rdf: 개요="#차"/> </rdf:RDF> 

RDF/거북이

 <http://example.org/tea.owl> rdf:유형 올빼미:온톨로지 .  :차  rdf:유형            올빼미:학급 . 

의미론

설명 로직과의 관계

OWL 클래스는 Description Logic(DL; 기술논리) 개념에 대응하고 OWL 속성은 DL 역할에 대응하지만 OWL 및 DL ^[42]용어에서는 개인을 동일한 방법으로 부릅니다.

처음에 IS-A는 꽤 간단했다.그러나 오늘날 이 상속 링크에는 지식 대표 시스템만큼이나 많은 의미가 있습니다.

--

대규모 온톨로지를 구축하려는 초기 시도는 명확한 정의가 부족하여 어려움을 겪었습니다.OWL 패밀리의 구성원은 모델 이론상의 형식적 의미론을 가지고 있기 때문에 강력한 논리적 기반을 가지고 있습니다.

기술 로직은 매력적이고 잘 이해된 계산 속성을 가진 1차 로직의 결정 가능한 조각입니다.OWL DL 및 OWL Lite의 의미는 DL에 ^[44]기초하고 있습니다.이들은 온톨로지를 기술하고 교환하기 위한 구문과 의미를 부여하는 형식적 의미론을 결합합니다.예를 들어 OWL DL은 S ${\displaystyle {\mathcal{H}}^{}}$ ${\displaystyle {\mathcal{O}}^{}}$ ${\displaystyle {\mathcal{I}}^{}}$${\displaystyle {}^{\mathcal{}}}$N (${\displaystyle {\mathcal{}\mathcal{D}}^{}}$ ${\displaystyle {\mathcal{)\{}}^{}}$ $displaystyle${ ${\displaystyle {\mathcal{SHOIN}}^{}}$$$}^{\$mathcal${(${\displaystyle {\mathcal{D}}^{}}$$)}}{$ $displaystyle {SROIQ}{mathcal {D}}}{$mathcal$}}$의 $설명{\displaystyle {\mathcal{}}^{}}$ 로직에 대응합니다.이러한 DL에는 건전하고 완전하며 종료적인 추론(즉, 온톨로지에서의 지식의 모든 결과를 도출할 수 있는 시스템)이 존재합니다.

RDFS와의 관계

OWL Full은 RDF Schema(RDFS)와 호환되며 기존 RDF(^[46]Resource Description Framework) 어휘의 의미를 강화할 수 있도록 설계되었습니다.모델 이론은 RDF에 ^[47]대한 형식적 의미론을 기술합니다.이 해석은 RDF 및 RDFS 어휘의 의미를 제공합니다.따라서 OWL Full 온톨로지의 의미는 RDFS 의미의 확장에 의해 정의되며, OWL Full은 RDF의 ^[48]의미 확장입니다.

오픈 월드에서의 가정

[닫힌] 세상의 가정은 우리가 모르는 모든 것이 거짓이라는 것을 의미하지만, 열린 세상의 가정은 우리가 모르는 모든 것이 정의되지 않았다는 것을 의미합니다.

--

OWL 어족의 언어들은 오픈 월드 가정을 사용합니다.오픈 월드 가정 하에서, 현재의 지식으로 진술이 진실임을 증명할 수 없다면, 우리는 그 진술이 거짓이라는 결론을 도출할 수 없다.

다른 언어와의 대조

릴레이셔널 데이터베이스는 동일한 속성을 가진 일련의 튜플로 구성됩니다.SQL은 관계형 데이터베이스의 쿼리 및 관리 언어입니다.프롤로그는 논리 프로그래밍 언어입니다.둘 다 폐쇄 세계 가정을 사용합니다.

용어.

OWL 패밀리의 언어는 클래스, 속성, 인스턴스 및 해당 작업을 정의할 수 있습니다.

인스턴스

인스턴스는 객체입니다.기술 로직 개개의 설명에 대응합니다.

반

클래스는 객체의 집합입니다.클래스에는 클래스의 개인, 인스턴스를 포함할 수 있습니다.클래스에는 임의의 수의 인스턴스를 포함할 수 있습니다.인스턴스는 하나 이상의 클래스에 속하지 않을 수 있습니다.

클래스는 부모 슈퍼클래스로부터 특성을 상속받는 다른 서브클래스일 수 있습니다.이는 논리적 추정 및 DL 개념 포함 알림에 해당합니다$.\$ $displaystyle$\ sq $subseteq$ $\}$ 。

모든 클래스는 부엉이의 하위 클래스입니다.Thing(DL top notified $"\displaystyle\top")$ 루트 클래스.

모든 클래스는 부엉이에 의해 하위 분류됩니다.아무것도 없습니다(DL 하단 알림$).$ (\$displaystyle \bot$), 빈 클래스.Owl의 멤버가 되는 인스턴스는 없습니다.아무 것도 없어요.모델러는 부엉이를 사용합니다.물건과 부엉이:모든 ^{[50][self-published source]}사례에 대한 사실을 주장할 수 있는 것은 없습니다.

클래스 및 그 멤버는 내선번호 또는 내선번호로 OWL에서 정의할 수 있습니다.클래스 어설션에 의해 개인을 명시적으로 클래스를 할당할 수 있습니다.예를 들어, 문이 a(n instance of)이거나 ClassExpression 문이 있는 클래스 식을 사용하여 속성에 값이 있는 클래스의 모든 인스턴스가 클래스의 인스턴스입니다.

예

전화하자human세상의 모든 인간의 계급은 부엉이의 하위 계급이다.모든 여성의 계급(말씀)woman)의 서브클래스입니다.human${\displaystyle \mathsf{\text{부엉이도}}}$있고${\displaystyle \mathsf{\text{아무것}}도\; 없다\mathsf{\text{nothing}}여자\mathsf{\text{human}}인간}$${\displaystyle \mathsf{\text{owl}}부엉이\; :}$$스타일(textsflow:$$아무것도 없습니다.\sqsubseteq {woman}\sqsubseteq {textsf {human}\sqsubseteq {textsf {owl:$$물건}}}$

클래스에 대한 일부 개인의 멤버십이 기록될 수 있습니다.

클래스 어세스션()human George_Washington)

및 클래스 포함

서브클래스 Of(woman human)

첫 번째는 "조지 워싱턴은 인간이다"라는 뜻이고, 두 번째는 "모든 여성은 인간이다"라는 뜻이다.

특성.

속성은 클래스의 특성입니다. 즉, 해당 클래스의 인스턴스에 해당하는 일부 속성을 지정하는 지정 이진 관계입니다.속성은 데이터 값 또는 다른 인스턴스에 대한 링크 역할을 할 수 있습니다.속성은 예를 들어 추이적, 대칭적, 역기능적 등 논리적 특징을 나타낼 수 있습니다.속성에는 도메인과 범위가 있을 수도 있습니다.

데이터 유형 속성

데이터 유형 속성은 클래스의 인스턴스와 RDF 리터럴 또는 XML 스키마 데이터 유형 간의 관계입니다.예를 들어 modelName(String 데이터형)은 제조업체 클래스의 속성입니다.부엉이를 사용하여 제조됩니다.DatatypeProperty 유형입니다.

오브젝트 속성

오브젝트 속성은 두 클래스의 인스턴스 간의 관계입니다.예를들면,ownedByVehicle 클래스의 객체 유형 속성일 수 있으며 개인 클래스의 범위를 가질 수 있습니다.부엉이를 사용하여 제조됩니다.오브젝트 프로퍼티

항공사

OWL 계열의 언어는 합집합, 교차점 및 보어와 같은 클래스에 대한 다양한 작업을 지원합니다.클래스 열거, 카디널리티, 디스커넥션 및 동등성도 허용합니다.

메타클라스

메타클래스는 클래스의 클래스입니다.OWL 풀 또는 클래스/인스턴스 펀닝이라는 기능을 사용할 수 있습니다.

퍼블릭 온톨로지

라이브러리

바이오메디컬

• OBO 주조 공장^[51][52]
• NCBO 바이오포털^[53]
• NCI 엔터프라이즈 어휘 서비스

표준

• 권장 상위 통합 온톨로지(SUMO)^[54]
• TDWG^[55]
• PROV-O,^[56] W3C의 PROV-DM^[57] 온톨로지 버전
• BFO(^[58]Basic Formal Ontology
• 유럽재료모델링온톨로지(EMMO)^[59]

브라우저

다음 툴에는 퍼블릭온톨로지 브라우저가 포함되어 있습니다.

• 프로테제 OWL^[60]

서치

• 스워글

제한 사항

• n-ary 관계에 대한 직접적인 언어 지원은 없습니다.예를 들어, 모델러는 관계의 특성을 기술하거나, 3명 이상의 개인을 관련짓거나, 개인을 리스트에 관련짓고 싶을 수 있습니다.이것은 OWL에서는 실행할 수 없습니다.대신 형식적 ^[61]의미론 외의 의미를 부호화하는 패턴을 채택할 필요가 있을 수 있다.

「 」를 참조해 주세요.

참조

추가 정보

• Bechhofer, Sean; Horrocks, Ian; Patel-Schneider, Peter F. (2021). "Tutorial on OWL". Archived from the original on 15 July 2021.
• Franconi, Enrico (2002). "Introduction to Description Logics". Free University of Bolzano.
• Horrocks, Ian (2010). Description Logic: A Formal Foundation for Ontology Languages and Tools, Part 1: Languages (PDF). SemTech 2010.
• Horrocks, Ian (2010). Description Logic: A Formal Foundation for Ontology Languages and Tools, Part 2: Tools (PDF). SemTech 2010.