"OWL-ref"의 두 판 사이의 차이

2018년 4월 30일 (월) 09:25 판

소개

목적^[1]

This document gives a systematic, compact and informative description of all the modelling primitives of OWL, using the RDF/XML exchange syntax for OWL. We expect this document to serve as a reference guide for users of the OWL language. 이 문서는 RDF/XML체계적이고 간결한, 유익한 OWL의 기본요소를 모델링 하는 설명입니다. 이 문서가 OWL 언어의 사용자에게 참조 가이드를 제공할 것으로 기대합니다.

This document is one component of OWL, the Web Ontology Language, being produced by the W3C Web ontology Working Group. The Document Roadmap section of OWL Overview document describes each of the different parts and how they fit together. 이 문서는 W3C에서 만든 OWL의 구성요소입니다. OWL Overview의 문서 로드맵은 다른 요소를 각각 설명하고, 그들이 어떻게 맞물리지는지를 설명합니다.

Readers unfamiliar with OWL may wish to first consult the OWL Overview document OWL Overview, and subsequently the OWL Guide for a more narrative description and examples of the use of the language. OWL과 친숙하지 않은 독자들에게 OWL Overview로 첫번째 상담을 받고, 연속적으로 언의 사용의 예시와 자세한 설명이 되어 있는 OWL Guide에 접근할 것을 추천합니다.

This document assumes the reader is familiar with the basic concepts of RDF and has a working knowledge of the RDF/XML syntax and of RDF Schema RDF vocabulary. 이 문서는 독자들이 RDF의 기본 개념과 친숙해지도록 하고, RDF/XML 구문, RDF스키마(RDF vocabulary)에 대한 작동 지식을 갖게 해줍니다.

The normative reference on the precise syntax of the OWL language constructs can be found in the OWL Semantics and Abstract Document. That Document also contains a precise definition of the meaning of the language constructs in the form of a model-theoretic semantics. Notions such as consistency of OWL ontologies are discussed in that document. OWL 언어의 구조에 대한 상세한 구문에 대한 규범 참조는 OWL Semantics and Abstract document에서 찾을 수 있습니다. 이 문서는 모델 이론적 의미론의 형태로 OWL 언어 구조에 대한 자세한 설명을 담고 있습니다. OWL 온톨로지에서 일관성과 같은 개념은 이 문서에서 토론되고 있습니다.

Use cases and requirements for the OWL languages are described in the OWL requirements document. Test cases for OWL tools are specified in the Test document. OWL 언어 사용이나 요청은 OWL Requirements 문서에서 설명되고 있습니다. OWL 도구에 대한 실험은 Test 문서에서 설명되고 있습니다.

OWL syntax^[2]

An OWL ontology is an RDF graph, which is in turn a set of RDF Triples. As with any RDF graph, an OWL ontology graph can be written in many different syntactic forms (as described in the RDF/XML Syntax Specification (Revised)). The current document uses some specific syntatic forms of RDF/XML for representing triples (as does the Guide document). OWL 온톨로지는 RDF 트리플의 묶음으로 전환되는 RDF Graph입니다. 어떤 RDF 그래프와 함께 OWL 온톨로지 그래프는 다양한 구문의 형태(RDF/XML 구문 규격)로 쓰일 수 있습니다. 현재의 문서는 Guide 문서와 같이 트리플을 표현하는데 RDF/XML 구문 규격을 사용합니다.

However, the meaning of an OWL ontology is solely determined by the RDF graph. Thus, it is allowable to use other syntactic RDF/XML forms, as long as these result in the same underlying set of RDF triples. Such other syntactic forms would then carry exactly the same meaning as the syntactic form used in this document. 그러나 OWL 온톨로지의 의미는 온전히 RDF 그래프에 의해 결정됩니다. 따라서 이들이 동일한 기본 세트의 RDF 트리플을 생성하는 한 다른 RDF/XML 형태의 구문과 함께 사용할 수 있습니다. 이 문서에서 사용되는 구문의 형태와 똑같은 의미를 가지는 다른 구문 표현을 가져올 수 있습니다.

As a simple example of an alternative syntactic from resulting in the same RDF triples, consider the following RDF/XML syntax: 같은 의미를 가진 아래의 구문과 그 다음 RDF/XML 형식으로 표현된 구문을 비교해 보세요.

<owl:Class rdf:ID="Continent"/>

The following RDF/XML syntax:

<rdf:Description rdf:about="#Contient">
    <rdf:type rdf:resource="http://www.w3c.org/2002/07/owl#Class"/>
</rdf:Description>

encodes the same set of RDF triples, and therefore would convey the same meaning.

OWL 내장 어휘

The built-in vocabulary for OWL all comes from the OWL namespace http://www.w3c.org/2002/07/owl# conventionally associated with the namespace name owl. It is recommended that ontologies not use names from this namespace except for the built-in vocabulary. OWL tool builders should feel free to signal a warning if other names from this namespace are used, but should otherwise continue as normal. OWL의 내장어휘는 원래 모두 owl의 이름공간 htttp://www.w3c.org/2002/07/ow# / prefix:name에서 연결되어 있습니다. 온톨로지들은 내장 어휘를 제외한 이 이름공간을 쓰지 마세요. OWL 도구는 이 이름공간에서 다른 이름이 사용될 경우 자유롭게 경고를 표시해야 하지만, 다른 것들은 일반적으로 계속 사용되어야 합니다.

Classes

Classes provide an abstraction mechanism for grouping resources with similar characteristics. Like RDF classes, every OWL class is associated with a set of individuals, called the class extention. The individuals in the class extension are called the instances of the class. A class has an intensional meaning (the underlying concept) which is related but not equal to its class extension. Thus, two classes may have the same class extension, but still be different classes. 클래스는 비슷한 특징을 가진 리로스를 묶을 수 있는 추출 장치/방법입니다. RDF 클래스와 같이 모든 OWL 클래스는 클래스 확장이라 불리는 개체들의 세트와 연관되어 있습니다. 클래스 확장에 있는 그 개체들은 클래스의 인스턴스로 불립니다. 클래스는 그것의 클래스 확장과 연관은 있지만 완전히 같다는 의미(개념)는 아닙니다. 따라서 두 클래스는 같은 클래스 확장에 있지만, 여전히 다른 클래스들입니다.

When in this document we use wording such as "a class of individual ..", this should be read as "a class with a class extension containing individuals ...". OWL classes are described through "class descriptions", which can be combined into "class axioms". We first describe class descriptions and subsequently turn to class axioms. 이 문서에서 "이 개체의 클래스는" 이란 표현을 쓸 때, 이것은 "이 개체를 포함하는 클래스 익스텐션을 가진 클래스는" 라는 의미입니다. OWL 클래스들은 "class Axioms"와 합쳐질 수 있는 class description을 통해 설명됩니다. 우리는 먼저 클래스 정의을 설명한 뒤 class axioms(클래스 명제/정의)으로 변환합니다.

Class Descriptions

A class description is the term used in this document (and in the OWL Semantics and Abstract Syntax) for the basic building blocks of class axioms (informally called class definitions in the Overview and Guide documents). 클래스 description은 클래스 정의의 빌딩블록을 위해 이 문서에서 사용된 용어입니다.

OWL distinguishes six types of class descriptions:

1. a class identifier(a URI Reference)
2. an exhaustive enumeration of individuals that together form the instances of a class. (클래스의 인스턴스인 개체들의 빠짐없는 나열)
3. a property restriction(속성 제한)
4. the intersection of two or more class descriptions(두개 이상의 클래스 설명에 대한 교차)
5. the union of two or more class descriptions(두개 이상의 클래스 설명의 합)
6. the complement of a class Description (클래스 슬명의 보충,보어)

The first type is special in the sense that it describes a class through a class name(syntactically represented as a URI reference). The other five types of class descriptions an anonymous class by placing constraints on the class extension. 첫번째 유형은 클래스 이름(구문론적으로 URI 출처를 대표하는)을 통해 클래스를 설명한다는 의미입니다. 클래스의 다른 5개 는 클래스 확장의 제약사항을 통해 익명의 클래스를 묘사하는 유형입니다.

Class descriptions of type 2-6 describe, respectively, a class that contains exactly the enumerated individuals (2nd type), a class of all individuals which satisfy a particular property restriction (3rd type), or a class that satisfies boolean combinations of class descriptions (4th, 5th and 6th type). 유형 2-6의 설명은 열거된 개체들(2), 개체들의 특정 속성 제한(3), 논리 조합을 만목하는 클래스(4,5,6)을 말합니다.

Intersection, union and complement can be respectively seen as the logical AND, OR and NOT operators. The four latter types of class descriptions lead to nested class descriptions and can thus in theory lead to arbitrarily complex class descriptions. In practice, the level of nesting is usually limited. 교차, 합, 보충은 논리적 AND, OR, NOT의 매개변수로 볼 수 있습니다. 4개의 후자는 클래스 설명을 묶기 때문에 이론상으로 임의의 복잡한 클래스 설명이 가능합니다. 예제에서, 실제로 중첩 수준은 대개 제한됩니다.

A type 1 class description is syntactically represented as an named instance of owl:Class, a subclass of rdfs:Class : 클래스 설명1은 구문적으로 owl:Class과 하위 클래스인 rdfs:Class 인스턴스를 나타냅니다.

<owl:Class rdf:ID="Human"/>

This will assert the triple "ex:Human rdf:type owl:Class .", where ex: is the namespace of the relevant ontology. 이것은 트리플 ex:Human rdf:type owl:Class를 정의합니다.(ex:는 관련있는 온톨로지의 이름공간입니다.)

Two OWL class identifiers are predefined, namely the classes owl:Thing and owl:Nothing. The class extension of owl:Thing is the set of all individuals.The class extension of owl:Nothing is the empty set. 두 OWL 클래스 식별자 owl:Thing과 owl:Nothing 이 지정되어 있습니다. owl:Thing의 클래스 확장은 모든 개체의 세트입니다. owl:Nothing의 클래스 확장은 비어있는 세트입니다.

Consequently, every OWL class is a subclass of owl:Thing and owl:Nothing is a subclass of every class (for the meaning of the subclass relation, see the section on rdfs:subClassOf). 결과적으로 모든 OWL 클래스는 owl:Thing의 하위클래스이고, owl:Nothing은 모든 클래스의 하위 클래스입니다.(하위 클래스를 나태나는 릴레이션은 rdfs:subClassOf입니다.)

Enumeration

A class description of the "enumeration" kind is defined with the owl:oneOf property. The value of this built-in OWL property must be a list of individuals that are the instances of the class. This enables a class to be described by exhaustively enumerating its instances. 클래스 설명의 '열거'는 owl:oneOf 속성으로 정의됩니다. 내장 OWL 속성의 값은 클래스 인스턴스인 개체의 목록이어야 합니다. 이것은 인스턴스를 철저하게 열거함으로써 클래스를 정의할 수 있습니다.

The class extension of a class described with owl:oneOf contains exactly the enumerated individuals, no more, no less. The list of individuals is typically represented with the help of RDF construct rdf:parseType="Collection", which provides a convenient shorthand for writing down a set of list elements. owl:oneOf로 설명된 클래스의 확장은 정확히 열거된 개체를 포함하는 것, 그 이상도 이하도 아닙니다. 개채의 목록은 전형적으로 RDF 구성 rdf:partType="Collection"의 도움으로 표현되며, 이는 목록 요소 세트를 작성하는 데 편리한 축약형을 제공합니다.

<owl:Class>
  <owl:oneOf rdf:parseType="Collection">
    <owl:Thing rdf:about="#Eurasia"/>
    <owl:Thing rdf:about="#Africa"/>
    <owl:Thing rdf:about="#NorthAmerica"/>
    <owl:Thing rdf:about="#SouthAmerica"/>
    <owl:Thing rdf:about="#Australia"/>
    <owl:Thing rdf:about="#Antarctica"/>
  </owl:oneOf>
</owl:Class>

The RDF/XML syntax <owl:Thing rdf:about="..."/> refers to some individual (remember: all individuals are by definition instances of owl:Thing). RDF/XML 구문 <owl:Thing rdf:about="..."/>은 어떤 개체를 언급합니다. (기억하세요: 모든 개체는 owl:Thing의 인스턴스로 정의됩니다.

Propterty restrictions

A property restriction is a special kind of class description. It describes an anonymous class, namely a class of all individuals that satisfy the restriction. OWL distinguishes two kinds of property restrictions:value constraints and cardinality constraints. 속성 제한은 클래그 설명의 특별한 종류입니다. 이것은 익명의 클래스, 즉 제한을 만족하는 모든 개체의 클래스를 묘사합니다. OWL은 값 제약조건과 집합 제약조건 두가지로 제약조건을 구별합니다.

A value constraint puts constraints on the range of the property when applied to this particular class description. For example, we might want to refer to those individuals whose value of the proeperty adjacentTo should be some Region, and then use this within a class axiom, perhaps even a class axiom for Region itself. Note that this is different from rdfs:range, which is applied to all situations in which the property is used. 값 제약조건은 특정한 클래스의 설명에 적용될 때 속성의 범위를 제한합니다. 예를 들어, adjacentTo라는 관계 값을 가진 개체들은 Region(지역) 클래스여야 하고, 클래스 명제 안에서 사용되어야 합니다. 이것은 속성이 사용될 수 잇는 모든 상황에 적용되는 rdfs:range와는 다르다는 것을 유의하세요.

A cardinality constraint puts constraints on the number of values a property can take, in the context of this particular class description. For example, we might want to say that for a soccer team the hasPlayer property has 11 values. For a basketball team the same property would have only 5 values. 집합 제약조건은 특정 클래스의 설명에 대한 문맥 속에서, 그 속성에 가질 수 있는 값의 수에 대한 제약조건입니다. 예를 들어, 우리가 축구팀의 hasPlayer속성의 값을 11개라고 제한합니다. 농구팀은 5개로 제한합니다.

OWL also supports a limited set of constructs of defining global property cardinality, namely owl:FunctionalProperty and owl:InverseFunctionalProperty.(See the section on properties). OWL은 owl:FunctionalProperty와 owl:InverseFunctionalProperty를 통해 전역 속성 집합을 정의하는 제한된 구조를 지원합니다.

Property restrictions have the following general form:

<owl:Restriction>
   <owl:onProperty rdf:resource="(some property)"/>
   (precisely one value or cardinality constraint, see below)
</owl:Restriction>

The class owl:Restriciton is defined as a subclass of owl:Class. A restriction class should have exactly one triple linking the restriction to a particular property, using the owl:onProperty. The restrcition class should also have exactly one triple that represents the value constraint c.q.cardinality constraint on the property under consideration, e.g., that the cardinality of the proeprty is exactly 1. owl:Rescriction은 owl:Class의 하위 클래스입니다. 제한 클래스는 특정 릴레이션인 owl:onProperty를 통해서 제한상을 하나의 트리플과 연결합니다. 그 제약사항 클래스는 오직 하나의 트리플만 가집니다.

Property restrictions can be applied both to datatype properties(properties for which the value is a data literal) and object properties (properties for which the value is an individual). For more information about this distinction see the section on properties. 속성 제한은 데이터타입 프로퍼티(데이터 형식의 값을 나타내는)과 오브젝트 프로퍼티(개체 값을 갖는 프로퍼티)에 두 개 모두에 적용될 수 있습니다. 차이에 대한 더 많은 설명을 위해서는 properties 섹션을 참조하세요.

OWL vocabulary

class

1. ↑ https://www.w3.org/TR/owl-ref/#Purpose
2. ↑ https://www.w3.org/TR/owl-ref/#Syntax