OWL-ref

hiblue
이동: 둘러보기, 검색

소개

목적[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

name_en name_ko definition_en definition_ko schema example
owl:AllDifferent 완전다름 For ontologies in which the unique-names assumption holds, the use of owl:differnetFrom is likely to lead to a large number of statements, as all individuals have to be declared pairwise disjoint. For such situations OWL provides a special idiom in the form of the construct owl:AllDiffernt. owl:AllDifferent is a special built-in OWL class, for which the property owl:distinctMembers is defined, which links an instance of owl:AllDifferent to a list of individuals. The intended meaning of such a statement is that all individuals in the list are all different from each other. 유일이름을 가진 온톨로지에서, owl:differentFrom을 사용하면 함께 사용할 수 없는 개체가 쌍으로 선언되어야 하기 때문에 많은 문장을 만들게 됩니다. 이런 상황을 위해 OWL은 owl:AllDifferent을 지원합니다. owl:AllDifferent는 해당 개체의 리스트를 owl:distinctMembers로 연결할 수 있는 특별한 내장 owl 클래스입니다. 리스트 안에 있는 모든 개체가 서로 달라야 한다는 것을 의미합니다.
owl:AnnotationProperty 주석 <owl:AnnotationProperty rdf:about="&dc;creator">
<rdfs:range rdf:resource="&xsd;string"/>

</owl:AnnotationProperty>

owl:Class 클래스 Class descriptions form the building blocks for defining classes through class axioms. The simplest form of a class axiom is a class description of type 1, It just states the existence of a class, using owl:Class with a class identifier. Class axioms typically contain additional components that state necessary and/or sufficient characteristics of a class. OWL contains three language constructs for combining class descriptions into class axioms: rdfs:subClassOf, owl:equivalentClass, owl:disjointWith 클래스 설명은, 클래스 명제를 통해서 클래스를 정의하는 단위로 형성되어 있습니다. 간단한 클래스 명제의 형태는 type 1이고, 이것은 클래스 식별자와 owl:Class를 이용해 클래스의 존재를 설명합니다. 클래스 명제는 전형적으로 클래스에 필수적 혹은 충분한 설명을 위해서 추가적인 요소를 포함합니다. OWL은 다음 3가지 관계를 이용해 그것을 표현합니다. (rdfs:subClassOf, owl:equivalentClass, owl:disjointWith) <owl:Class rdf:ID="Human"/>
owl:DataRange 데이터범위 In addition to the RDF datatypes, OWL provides one additional construct for defining a range of data values, namely an enumerated datatype. This datatype format makes use of the owl:oneOf construct.In the case of an enumerated datatype, the subject of owl:oneOf is a blank node of class owl:DataRange and the object is a list of literals. RDF datatype에 추가해서, OWL은 추가적인 데이터 값의 범위(열거형 데이터)를 정의하는 구조어를 제공합니다. 이 데이터타입의 형식은 owl:oneOf 관계어를 사용합니다. 열거형 데이터 타입의 경우에, owl:oneOf의 주어는 owl:DataRange의 공백노드이고 목적어은 문자열 리스트의 개체 입니다.

<owl:DatatypeProperty rdf:ID="tennisGameScore">

<rdfs:range>
<owl:DataRange>
<owl:oneOf>
<rdf:List>
<rdf:first rdf:datatype="&xsd;integer">0</rdf:first>
<rdf:rest>
<rdf:List>
<rdf:first rdf:datatype="&xsd;integer">15</rdf:first>
</rdf:List>
</rdf:rest>
</rdf:List>
<owl:oneOf>
</owl:DataRange>
</rdfs:range>

</owl:DatatypeProperty>

owl:DatatypeProperty 데이터프로퍼티 A datatype property is one of two main categories of properties. It links individuals to data values, and is defined as an instance of the built-in OWL class owl:DatatypeProperty. An owl:DatatypeProperty is a subclass of the RDF class rdf:Property 데이터타입 프로퍼티는 프로퍼티의 두 메인 분류 중 하나입니다. 이것은 개체를 데이터 값과 연결시키고, 내장 클래스 owl:DatatypeProperty의 개체로 정의됩니다. owl:DatatypeProperty는 RDF 클래스 rdf:Property의 하위 클래스입니다.

<rdfs:Class rdf:ID="DatatypeProperty">

<rdfs:label>DatatypeProperty</rdfs:label>
<rdfs:subClassOf rdf:resource="&rdf;Property"/>

</rdfs:Class>

owl:DeprecatedClass 사용하지 않는 클래스 Deprecation is a feature commonly used in versioning software (for example, see the Java programming language) to indicate that a particular feature is preserved for backward-compatibility purposes, but may be phased out in the future. Here, a specific identifier is said to be of type owl:DeprecatedClass, a subclass of rdfs:Class. Deprecation은 보통 소프트웨어의 버전관리에서 이전 버전과의 호환성을 위해 현재는 보존되지만, 나중에 사라질 특정 기능을 위해 사용됩니다. owl:DeprecatedClass라고 선언된 클래스는 rdfs:Class의 하위 클래스입니다.

<owl:DeprecatedClass rdf:ID="Automobile">

<owl:equivalentClass rdf:resource="#Car"/>
<rdfs:comment>Car is now preferred</rdfs:comment>

</owl:DeprecatedClass>

owl:DeprecatedProperty 사용하지 않는 프로퍼티 Deprecation is a feature commonly used in versioning software (for example, see the Java programming language) to indicate that a particular feature is preserved for backward-compatibility purposes, but may be phased out in the future. Here, a specific identifier is said to be of type owl:DeprecatedProperty, a subclass of rdf:Property. Deprecation은 보통 소프트웨어의 버전관리에서 이전 버전과의 호환성을 위해 현재는 보존되지만, 나중에 사라질 특정 기능을 위해 사용됩니다. owl:DeprecatedPropterty라고 선언된 클래스는 rdfs:Property의 하위 클래스입니다. <owl:DeprecatedProperty rdf:ID="drives">
<owl:inverseOf rdf:resource="#hasDriver"/>
<rdfs:comment>inverse property hasDriver is now preferred</rdfs:comment>

</owl:DeprecatedProperty>

owl:FunctionalProperty 함수적프로퍼티 A functional property is a property that can have only one (unique) value y for each instance x, i.e. there cannot be two distinct values y1 and y2 such that the pairs (x,y1) and (x,y2) are both instances of this property. Both object properties and datatype properties can be declared as "functional". For this purpose, OWL defines the built-in class owl:FunctionalProperty as a special subclass of the RDF class rdf:Property. 기능적 프로퍼티는 각각의 인스턴스x에 오직 하나의 값 y를 부여할 때만 사용합니다. 두개의 값 y1과 y2가 (x, y1), (x, y2)와 같이 쌍으로 사용될 수 없습니다. 오브젝트 프로퍼티와 데이터 프로퍼티는 모두 "funtional"로 선언됩니다. OWL은 내장 클래스 OWL:FunctionalProperty는 RDF 클래스의 rdf:Property의 하위 클래스입니다.
owl:inverseFunctionalPropery 역함수적프로퍼티 If a property is declared to be inverse-functional, then the object of a property statement uniquely determines the subject (some individual). More formally, if we state that P is an owl:InverseFunctionalProperty, then this asserts that a value y can only be the value of P for a single instance x, i.e. there cannot be two distinct instances x1 and x2 such that both pairs (x1,y) and (x2,y) are instances of P.Syntactically, an inverse-functional property axiom is specified by declaring the property to be an instance of the built-in OWL class owl:InverseFunctionalProperty, which is a subclass of the OWL class owl:ObjectProperty. inverse-functional로 선언된 속성은 속성의 목적어가 하나의 주어를 가진다는 것을 말합니다. 좀더 형식적으로, 만약 P 속성이 owl:InverseFunctionalProperty이면, 이것은 P의 값이 하나의 개체 x를 갖는다는 것을 말합니다. 인스턴스 x1과 x2가 (x1, y) (x2, y)와 같이 함께 쓰이지 못한다는 것을 말합니다. 구문적으로, inverse-Functional property 명제는 owl:ObjectProperty의 하위 속성인 내장 클래스 owl:InverseProperty의 개체인 속성으로 정의됩니다. <owl:InverseFunctionalProperty rdf:ID="biologicalMotherOf">
<rdfs:domain rdf:resource="#Woman"/>
<rdfs:range rdf:resource="#Human"/>

</owl:InverseFunctionalProperty>

owl:Nothing 없는것 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. Consequently, every OWL class is a subclass of owl:Thing and owl:Nothing is a subclass of every class. owl:Thing과 OWL:Nothing 두개의 OWL클래스 식별자가 이미 정의되어 있습니다. owl:Thing의 클래스 확장은 모든 개체의 세트입니다. owl:Nothing은 클래스 확장은 빈 세트입니다. 결과적으로, 모든 OWL 클래스는 OWL:Thing의 하위 클래스이고, owl:Nothing은 모든 클래스의 하위 클래스입니다. <Class rdf:ID="Nothing">
<rdfs:label>Nothing</rdfs:label>
<complementOf rdf:resource="#Thing"/>

</Class>

<rdf:RDF>
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xml:base="http://www.w3.org/2002/03owlt/Nothing/inconsistent001" >
<owl:Nothing/>

</rdf:RDF>

owl:ObjectProperty 오브젝트 프로퍼티 An object property is one of two main categories of properties. It links individuals to individuals, and is defined as an instance of the built-in OWL class owl:ObjectProperty. This defines a property with the restriction that its values should be individuals. An owl:ObjectProperty is a subclass of the RDF class rdf:Property 오브젝트 프로퍼티는 프로퍼티의 주된 두개의 분류 중 하나입니다. 이것은 개체와 개체를 연결시키고, owl 내장 클래스 wol:ObjectProperty의 인스턴스로 정의됩니다. 이것으로 연결된 것은 개체여야 한다는 제약조건이 있습니다. owl:ObjectProperty는 RDF 클래스 rdf:Property의 하위 클래스입니다.

<rdfs:Class rdf:ID="ObjectProperty">

<rdfs:label>ObjectProperty</rdfs:label>
<rdfs:subClassOf rdf:resource="&rdf;Property"/>

</rdfs:Class>

<owl:ObjectProperty rdf:ID="hasMother">

<rdfs:subPropertyOf rdf:resource="#hasParent"/>

</owl:ObjectProperty>

<owl:ObjectProperty rdf:ID="hasParent"/>

owl:Ontology 온톨로지 The owl:Ontology element is a place to collect much of the OWL meta-data for the document. It does not guarantee that the document describes an ontology in the traditional sense. In some communities, ontologies are not about individuals but only the classes and properties that define a domain. When using OWL to describe a collection of instance data the owl:Ontology tag may be needed in order to record version information and to import the definitions that the document depends on. Thus, in OWL the term ontology has been broadened to include instance data.
The rdf:about attribute provides a name or reference for the ontology. Where the value of the attribute is "", the standard case, the name of the ontology is the base URI of the owl:Ontology element. Typically, this is the URI of the document containing the ontology. An exception to this is a context that makes use of xml:base which may set the base URI for an element to something other than the URI of the current document.

owl:Ontology 요소는 문서를 위한 OWL meta-data를 수집하는 장소입니다. 이것은 전통적인 방식으로 문서가 온톨로지를 설명한다는 것을 보증하는 것은 아닙니다. 어떤 커뮤니티에서, 온톨로지는 개체 뿐 아니라 클래스와 속성이 모두 도메인으로 정의됩니다. OWL을 인스턴스 데이터의 모음을 표시하기 위해 사용할 때, owl:Ontology 태그는 버전 정보를 기록하고, 참조문서의 정의를 부여하기 위해서 필요합니다. 따라서 OWL안에서 온톨로지란 용어는 인스턴스 데이터를 포함하도록 확장되었습니다.
rdf:about 속성은 온톨로지를 위한 참고, 이름을 제공합니다. 보통의 경우 속성의 값이 ""일 때, 온톨로지의 이름은 owl:Ontology 요소의 기본 URI입니다. 전형적으로 온톨로지를 포함하는 문서의 URI입니다. 이것의 예외는 현재 문서의 URI와 다른 어떤 요소의 기본 URI를 지정해주는 xml:base를 사용하는 맥락입니다.

<rdfs:Class rdf:ID="Ontology">
<rdfs:label>Ontology</rdfs:label>

</rdfs:Class>

<owl:Ontology rdf:about="">
<rdfs:comment>An example OWL ontology</rdfs:comment>
<owl:priorVersion rdf:resource="http://www.w3.org/TR/2003/PR-owl-guide-20031215/wine"/>
<owl:imports rdf:resource="http://www.w3.org/TR/2004/REC-owl-guide-20040210/food"/>
<rdfs:label>Wine Ontology</rdfs:label>

...

owl:OntologyProperty 온톨로지 프로퍼티 The OWL built-in class owl:OntologyProperty has the ontology-import construct owl:imports and the ontology-versioning constructs owl:priorVersion, owl:backwardCompatibleWith and owl:incompatibleWith as instances. Instances of owl:OntologyProperty must have the class owl:Ontology as their domain and range. It is permitted to define other instances of owl:OntologyProperty.

OWL 내장 클래스 owl:OntologyProperty는 인스턴스로서 온톨로지-가져오기 구조어인 owl:imports와 온톨로지-버전관리 구조어인 owl:priorVersion, owl:backwardCompatibleWith, owl:incompatibleWith를 가집니다. 온톨로지 프로퍼티의 인스턴스는 반드시 도메인과 레인지로 owl:Ontology 클래스를 가져야 합니다. 다른 owl:OntologyProperty의 인스턴스를 정의하는 것도 가능합니다.

<rdfs:Class rdf:ID="OntologyProperty">
<rdfs:subClassOf rdf:resource="&rdf;Property"/>

</rdfs:Class>

owl:Restriction 제약사항 The class owl:Restriction 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 property.

The restriction 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 property is exactly 1.

owl:Restriction 클래스는 owl:Class의 하위 클래스입니다. 제한사항 클래스는 owl:onProperty 프로퍼티를 이용하는 특정 프로퍼티를 제한사항과 연결하는 하나의 트리플(연결관계)를 가져야 합니다. 제한사항 클래스는 또한 속성의 집합이 1개라는 등의 고려사항이 있는 프로퍼티의 값 제약사항과 집합 제약사항을 나타내는 하나의 트리플만을 가져야합니다. <rdfs:Class rdf:ID="Restriction">
<rdfs:label>Restriction</rdfs:label>
<rdfs:subClassOf rdf:resource="#Class"/>

</rdfs:Class>

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

</owl:Restriction>

With owl:hasValue:

<owl:Restriction>
<owl:onProperty rdf:resource="#hasParent" />
<owl:hasValue rdf:resource="#Clinton" />
</owl:Restriction>
owl:SymmetricProperty 대칭속성 An owl:SymmetricProperty is a property for which holds that if the pair(x,y) is an instance of P, then the pair(y,x) is also an instance of P. Syntactically, a property is defined as symmetric by making it an instance of the built-in OWL class owl:SymmetricProperty, a subclass of owl:ObjectProperty. owl:SymmertricProperty는 P의 인스턴스 쌍(x,y)가 있으면, 쌍(y,x)도 P의 인스턴스임을 의미합니다. 구문적으로 프로퍼티는 owl:ObjectProperty의 하위 클래스인 OWL 내장 클래스 owl:SymmertricProperty의 인스턴스로 만들어져 대칭으로 정의됩니다. <rdfs:Class rdf:ID="SymmetricProperty">
<rdfs:label>SymmetricProperty</rdfs:label>
<rdfs:subClassOf rdf:resource="#ObjectProperty"/>

</rdfs:Class>

<owl:SymmetricProperty rdf:ID="friendOf">
<rdfs:domain rdf:resource="#Human"/>
<rdfs:range rdf:resource="#Human"/>

</owl:SymmetricProperty>

owl:Thing In OWL Full all data values are considered also to be part of the individual domain. In fact, in OWL Full the universe of individuals consists of all resources (owl:Thing is equivalent to rdfs:Resource).
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. Consequently, every OWL class is a subclass of owl:Thing and owl:Nothing is a subclass of every class.
OWL Full에서 모든 데이터 값은 개체 도메인의 부분으로 간주됩니다. 사실 OWL Full에서 개체들의 모든 집합은 모든 리소스로 구성되어 있습니다.(owl:Thing은 rdfs:Resource와 같습니다)
owl:Thing과 owl:Nothing 두 owl 클래스 식별자는 이미 정의되어 있습니다. owl:Thing의 클래스 범위는 모든 개체의 세트이고, owl:Nothing 클래스의 범위는 빈 세트입니다. 결국, 모든 OWL 클래스는 owl:Thing의 하위 클래스이고, owl:Nothing은 모든 클래스의 하위클래스입니다.
<Class rdf:ID="Thing">
<rdfs:label>Thing</rdfs:label>
<unionOf rdf:parseType="Collection">
<Class rdf:about="#Nothing"/>
<Class>
<complementOf rdf:resource="#Nothing"/>
</Class>
</unionOf>

</Class>

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

</owl:Class>

owl:TransitiveProperty 전이속성 When one defines a property P to be an owl:TransitiveProperty, this means that if a pair (x,y) is an instance of P, and the pair (y,z) is also instance of P, then we can infer the the pair (x,z) is also an instance of P.

Syntactically, a property is defined as being transitive by making it an instance of the the built-in OWL class owl:TransitiveProperty, which is defined as a subclass of owl:ObjectProperty.

프로퍼티 P가 owl:TransitiveProperty로 정의되면, (x,y)가 P의 인스턴스이고, (y, z)도 P의 인스턴스이면, (x, z)도 P의 인스턴스 임을 추측할 수 있다는 의미입니다.
구문적으로, owl:ObjectProperty의 하위클래스인 owl:TransitiveProperty의 인스턴스로 지정되면 프로퍼티는 전이적이다라고 정의됩니다.
<rdfs:Class rdf:ID="TransitiveProperty">
<rdfs:label>TransitiveProperty</rdfs:label>
<rdfs:subClassOf rdf:resource="#ObjectProperty"/>

</rdfs:Class>

<owl:TransitiveProperty rdf:ID="subRegionOf">
<rdfs:domain rdf:resource="#Region"/>
<rdfs:range rdf:resource="#Region"/>

</owl:TransitiveProperty>

Property

name_en name_ko definition_en definition_ko domain range
owl:allValuesFrom 값의 제한 The value constraint owl:allValuesFrom is a built-in OWL property that links a restriction class to either a class description or a data range. A restriction containing an owl:allValuesFrom constraint is used to describe a class of all individuals for which all values of the property under consideration are either members of the class extension of the class description or are data values withih the specified data range. In other words, it defines a class of individuals X for which holds description or are data values instance of P (the property concerned), then Y should be an instance of the class description or a value in the data range, respectively. 값 제약사항 owl:allValuesFrom은 제약사항 클래스를 클래스 설명이나 데이터 범위와 연결시키는 내장 OWL 프로퍼티입니다. owl:allValuesFrom의 제약사항을 담고 있는 제한은 프로퍼티의 모든 값이 클래스 설명의 클래스 범위에 들어가거나, 데이터 값이 특정한 데이터 범위에 들어가는 고려사항 아래에 있는 모든 개체의 클래스를 묘사하는데 사용됩니다. 즉, 인스턴스 P의 데이터 값이거나 설명을 가진 개체 X의 클래스로 정의되면, Y는 각각 클래스 설명이나 데이터 범위의 값의 인스턴스여야 합니다. owl:Restriction owl:Class
owl:backwardCompatibleWith 호환되는 이전 버전 owl:backwardCompatibleWith statement, that is an instance of owl:OntologyProperty, contains a reference to another backward compatible with it. This identifies the specified ontology as a prior version of the containing ontology, and further indicates that it is backward compatible with it. In particular, this indicates that all identifiers from the previous version have the same intended interpretations in the new version. Thus, it is a hint to document authors that they can safely change their documents to commit to the new version (by simply updating namespace declarations and owl:imports statements to refer to the URL of the new version). If owl:backwardCompatibleWith is not declared for two versions, then compatibility should not be assumed.

owl:backwardCompatibleWith는 owl:OntologyProperty의 인스턴스이고, 그것과 호환되는 이전 버전을 출처로 가짐을 의미합니다. 이것은 지정된 온톨로지를 이전 버전과 구분하고, 추가로 이전 버전과 호환이 가능함을 나타냅니다. 특히, 이전 버전의 모든 식별자가 새로운 버전에서 같은 의미로 해석됨을 나타냅니다. 따라서 안전하게 그들의 문서를 새로운 버전으로 바꿀 수 있다는 것은 문서 작성자에게 힌트가 됩니다.(이름공간 선언과 새로운 버전의 url을 언급하는 owl:imports 서술어을 간단히 갱신함을 통해) owl:backwardCompatibleWith가 두 버전에서 정의되어 있지 않으면, 호환성을 가정해서는 안됩니다.

owl:Ontology owl:Ontology
owl:cardinality ~의 제약조건의 집합이다. The cardinality constraint owl:cardinality is a built-in OWL property that links a restriction class to a data value belonging to the range of the XML schema datatype xsd:nonNegativeInteger. A restriction containing an owl:cardinality constraint describes a class of all individuals that have exactly N semantically distinct values (individuals or data values) for the property concerned, where N is the value of the cardinality constraint. 집합 제약조건인 owl:cardinality는 XML 스키마 데이터타입 xsd:nonNegativeInteger에 속하는 데이터 값을 가진 제약조건을 클래스와 연결하는 OWL 내장 속성입니다. owl:cardinality 제약조건을 포함한 제한은 N개의 의미론적으로 구별되는 값(개체 또는 데이터값)을 가진 모든 개체의 클래스를 설명합니다. N은 집합 제약조건의 값입니다. owl:Restriction owl:nonNegativeInteger
owl:complementOf ~의 보충설명이다. An owl:complementOf property links a class to precisely one class description. An owl:comlementOf statement describes a class for which the class extension contains exactly those individuals that do not belong to the class extension of the class description that is the object of the statement. owl:complementOf is analogous to logical negation: the class extension consists of those individuals that are NOT members of the class extension of the complement class. owl:complementOf 프로퍼티는 클래스를 정확하게 하나의 클래스 설명과 연결시킵니다. owl:complementOf는 목적어의 설명인 클래스 설명의 클래스 범위에 속하지 않는 개체들을 포함한 클래스 범위를 말합니다. owl:complementOf는 논리 부정(보충 클래스의 클래스 범위의 맴버가 아닌 개체들로 구성된 클래스 범위)과 유사합니다. owl:Class owl:Class
owl:differentFrom ~와 다른 The built-in OWL owl:differentFrom property links an individual to an individual. An owl:differentFrom statement indicates that two URI references refer to different individuals. owl:differentFrom 프로퍼티는 개체와 개체를 연결합니다. owl:differentFrom은 두개의 URI 참조가 서로 다른 개체입을 의미합니다. owl:Thing owl:Thing
owl:disjointWith ~와 함께 쓸 수 없는 owl:disjointWith is a built-in OWL property with a class description as domain and range. Each owl:disjointWith statement asserts that the class extensions of the two class descriptions involved have no individuals in common. Like axioms with rdfs:subClassOf, declaring two classes to be disjoint is a partial definition: it imposes a necessary but not sufficient condition on the class. In order to assert that a set of classes is mutually disjoint, there must be an owl:disjointWith assertion for every pair. owl:disjointWith는 클래스 설명을 도메인과 레인지로 가지는 프로퍼티입니다. 각각의 owl:disjointWith 구문은 두 클래스 설명의 범위가 공동의 개체를 포함하고 있지 않다는 것을 의미합니다. rdfs:subClassOf 명제와 같이, 두 클래스가 함께 쓰일 수 없다고 정의된 것은 부분적인 정의입니다. : 필수적인 부분이나 충분한 조건은 아닙니다. 클래스의 세트가 같이 쓰일 수 없다고 주장하기 위해서는 모든 쌍에 owl:disjointWith가 기술되어야 합니다. owl:Class owl:Class
owl:distinctMembers 명확한 소속개체 For ontologies in which the unique-names assumption holds, the use of owl:differentFrom is likely to lead to a large number of statements, as all individuals have to be declared pairwise disjoint. For such situations OWL provides a special idiom in the form of the construct owl:AllDifferent. This is a special built-in OWL class, for which the property owl:distinctMembers is defined, which links an instance of owl:AllDifferent to a list of individuals. The intended meaning of such a statement is that all individuals in the list are all different from each other. owl:distinctMembers is a special syntactical construct added for convenience and should always be used with an owl:AllDifferent individual as its subject. 고유한 이름 가정이 성립하는 온톨로지에서, owl:differentFrom의 사용은 모든 개체가 쌍으로 같이 쓰이면 안되도록 선언해야 되기 때문에 많은 수의 문장으로 이어질 수 있습니다. 이런 상황을 위해서 OWL은 owl:AllDifferent라는 구조어를 제공합니다. 이것은 특별한 OWL 클래스로, owl:AllDifferent의 인스턴스와 개체의 리스트를 연결하는 owl:distinctMembers의 관계로 정의됩니다. 이런 문장은 리스트 안의 모든 개체들이 서로 다름을 의미합니다. owl:distinctMembers는 편의를 위해 추가된 특수 구문 구조이며 항상 owl:AllDiffernet 개체를 주어로 가집니다. owl:AllDifferent rdf:list
owl:equivalentClass ~와 같은 클래스 owl:equivalentClass is a built-in property that links a class description to another class description. The meaning of such a class axiom is that the two class descriptions involved have the same class extension (i.e., both class extensions contain exactly the same set of individuals). owl:equivalentClass는 클래스 설명과 다른 클래스 설명을 연결하는 프로퍼티입니다. 두개의 클래스 설명이 같은 클래스 범위를 가짐을 의미합니다.( 두 클래스 범위는 정확히 같은 개체 세트를 가지고 있습니다.) owl:Class owl:Class
owl:equivalentProperty ~와 같은 프로퍼티 The owl:equivalentProperty construct can be used to state that two properties have the same property extension. Syntactically, owl:equivalentProperty is a built-in OWL property with rdf:Property as both its domain and range. owl:equivalentProperty는 두 개의 프로퍼티가 같은 프로퍼티 범위를 가짐을 의미합니다. 구문적으로 owl:equivalentClass는 rdf:Property를 도메인과 레인지로 가지는 OWL 프로퍼티입니다. rdf:Property rdf:Property
owl:hasValue ~의 값을 가지다 The value constraint owl:hasValue is a built-in OWL property that links a restriction class to a value V, which can be either an individual or a data value. A restriction containing a owl:hasValue constraint describes a class of all individuals for which the property concerned has at least one value semantically equal to V (it may have other values as well). 값 제한 owl:hasValue는 개체나 데이터값이 될 수 있는 값 V와 제한을 연결합니다. owl:hasValue 제약조건을 가진 제한은 의미론적으로 V와 동일한 적어도 하나의 값을 가지는 것이 고려된 프로퍼티를 위한 클래스의 모든 개체를 묘사한다. (다른 값을 가질 수도 있다) owl:Restriction
owl:imports 가져오다(삽입하다) An owl:imports statement, that is an instance of owl:OntologyProperty, references another OWL ontology containing definitions, whose meaning is considered to be part of the meaning of the importing ontology.
Each reference consists of a URI specifying from where the ontology is to be imported. Syntactically, owl:imports is a property with the class owl:Ontology as its domain and range.
Ontology annotations that use owl:imports have the extra effect of importing the target ontology.
The owl:imports statements are transitive, that is, if ontology A imports B, and B imports C, then A imports both B and C.
owl:imports는 owl:OntologyProperty의 인스턴스로, 가져올 온톨로지의 의미의 부분으로 고려되는 의미를 가진 다른 온톨로지를 참조합니다.
각각의 참조들은 가져와진 온톨로지의 URI로 구성됩니다. 구문적으로 owl:imports는 클래스 owl:Ontology를 도메인과 레인지로 갖습니다.
owl:imports를 사용한 온톨로지 주석은 대상 온톨로지를 가져오는 추가 효과를 가집니다.
owl:imports는 전이적입니다. 만약 온톨로지 A가 온톨로지 B로 가져와지고, B가 C로 가져와지면 A는 B와 C, 둘 모두에 가져와진 것입니다.
owl:Ontology owl:Ontology
owl:incompatibleWith 서로 호환되지 않다 An owl:incompatibleWith statement, that is an instance of owl:OntologyProperty, contains a reference to another ontology. This indicates that the containing ontology is a later version of the referenced ontology, but is not backward compatible with it. Essentially, this is for use by ontology authors who want to be explicit that documents cannot upgrade to use the new version without checking whether changes are required. owl:incompatibleWith는 owl:OntologyProperty의 인스턴스로, 다른 온톨로지의 참조를 포함합니다. 이것은 포함하는 온톨로지가 참조하는 온톨로지의 나중 버전이지만, 서로 호환되지는 않음을 의미합니다. 본질적으로, 변경이 필요한지를 확인하지 않고 새로운 버전을 사용하도록 문서를 업그레이드 할 수 없음을 명시하려는 온톨로지 작성자가 사요하기 위한 것입니다. owl:Ontology owl:Ontology
owl:intersectionOf ~의 포함(교차)이다 The owl:intersectionOf property links a class to a list of class descriptions. An owl:intersectionOf statement describes a class for which the class extension contains precisely those individuals that are members of the class extension of all class descriptions in the list owl:intersectionOf 프로퍼티는 클래스와 클래스 설명 목록을 연결합니다. owl:intersectionOf는 리스트 안의 모든 클래스 설명의 클래스 범위의 구성요소들이 정확하게 포함되어 있는 클래스 범위를 나타냅니다. owl:Class rdf:List
owl:inverseOf ~의 역관계이다 Properties have a direction, from domain to range. The owl:inverseOf construct can be used to define an inverse relation between properties. 프로퍼티들은 도메인에서 레인지로 방향을 가지고 있습니다. owl:inverseOf는 프로퍼티들 사이의 반대 관계를 정의해줍니다. owl:ObjectProperty owl:ObjectProperty
owl:maxCardinality 최대 집합원 갯수 The cardinality constraint owl:maxCardinality is a built-in OWL property that links a restriction class to a data value belonging to the value space of the XML Schema datatype nonNegativeInteger. A restriction containing an owl:maxCardinality constraint describes a class of all individuals that have at most N semantically distinct values (individuals or data values) for the property concerned, where N is the value of the cardinality constraint. Syntactically, the cardinality constraint is represented as an RDF property element with the corresponding rdf:datatype attribute. 집합원 갯수 제한은 클래스와 XML 스키마 데이터타입 nonNegativeInteger 데이터값을 연결합니다. owl:maxCardinality는 모든 개체의 클래스가 최대 N개의 값을 가진다는 것을 의미합니다. 구문적으로, 집합원 갯수 제한은 rdf:datatype 속성과 일치하는 RDF 프로퍼티 요소로 나타냅니다. owl:Restriction xsd:nonNegativeInteger
owl:minCardinality 최소 집합원 갯수 The cardinality constraint owl:minCardinality is a built-in OWL property that links a restriction class to a data value belonging to the value space of the XML Schema datatype nonNegativeInteger. A restriction containing an owl:minCardinality constraint describes a class of all individuals that have at least N semantically distinct values (individuals or data values) for the property concerned, where N is the value of the cardinality constraint. Syntactically, the cardinality constraint is represented as an RDF property element with the corresponding rdf:datatype attribute. 집합원 갯수 제약사항은 XML 스키마 데이터타입 nonNegativeInteger로 표현되는 데이터값과 제한을 연결합합니다. owl:minCardinality 제약사항은 클래스의 개체가 적어도 N개 이상이란 의미입니다. 구문론적으로 집합원 개수 제약사항은 rdf:datatype 속성과 일치하는 RDF 프로퍼티 요소로 표현됩니다. owl:Restriction xsd:nonNegativeInteger
owl:oneOf ~의 구성요소이다 The value of the built-in OWL property owl:oneOf must be a list of individuals that are the instances of the class described. This enables a class to be described by exhaustively enumerating its instances. The class extension of a class described with owl:oneOf contains exactly the enumerated individuals, no more, no less. owl:oneOf는 클래스의 인스턴스인 개체들의 목록이어야 합니다. 이렇게 하면 인스턴스를 빠짐없이 열거하여 클래스를 설명할 수 있습니다. owl:oneOf로 묘사된 클래스 범위는 열거된 개체만을 포함합니다. owl:Class rdf:List
owl:onProperty ~의 프로퍼티이다 The class owl:Restriction 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 property. The restriction 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 property is exactly 1. owl:Restriction 클래스는 owl:Class의 하위 클래스입니다. 제한 클래스는 owl:onProperty를 사용한 특정 프로퍼티와 제한을 연결하는 하나의 트리플로 구성됩니다. 제한 클래스는 프로퍼티 구성원 갯수 제한이 1개인 등으로 고려 중에 있는 프로퍼티의 구성원 갯수제한과 값 제한을 나타내는 정확히 하나의 트리플로 구성되어야 합니다. owl:Restriction rdf:Property
owl:priorVersion ~의 이전버전이다 An owl:priorVersion statement, that is an instance of owl:OntologyProperty, contains a reference to another ontology. This identifies the specified ontology as a prior version of the containing ontology. This has no meaning in the model-theoretic semantics other than that given by the RDF(S) model theory. However, it may be used by software to organize ontologies by versions. owl:priorVersion은 다른 온톨로지를 참조하는 owl:OntologyProperty의 인스턴스입니다. 이것은 포함하는 온톨로지의 이전 버전인 특정 온톨로지를 식별합니다. 이것은 RDF (S) 모델 이론에 의해 주어진 것 이외에 모델-이론적 의미론에서 의미가 없습니다. 그러나 이것은 버전으로 온톨로지를 체계화하는 소프트웨어에서 사용될 수 있습니다. owl:Ontology owl:Ontology
owl:SameAs 서로같다 The built-in OWL property owl:sameAs links an individual to an individual. Such an owl:sameAs statement indicates that two URI references actually refer to the same thing: the individuals have the same "identity". The ability to express equivalences using owl:sameAs can be used to state that seemingly different individuals are actually the same. Real class equality or property equality can only be expressed with the owl:sameAs construct. As this requires treating classes and properties as individuals, such axioms are only allowed in OWL Full. owl:sameAS는 개체와 개체를 연결합니다. owl:sameAs는 두개의 URI 레퍼런스들이 실제 같음을 의미합니다. (같은 정체성을 가진 개체) owl:sameAs를 이용해서 같음을 표시하는 능력은 다르게 보이는 개체가 실제로는 같음을 나타낼 수 있습니다. 실제 클래스와 프로퍼티의 같음은 owl:sameAs로만 표현될 수 있습니다. 이것이 클래스와 프로퍼티를 개체로서 취급해야 하므로, 이런 명제는 오직 OWL Full에서만 허락됩니다. owl:Thing owl:Thing
owl:someValuesFrom ~에서 몇가지 값을 가진다 The value constraint owl:someValuesFrom is a built-in OWL property that links a restriction class to a class description or a data range.
A restriction containing an owl:someValuesFrom constraint describes a class of all individuals for which at least one value of the property concerned is an instance of the class description or a data value in the data range. In other words, it defines a class of individuals x for which there is at least one y (either an instance of the class description or value of the data range) such that the pair (x,y) is an instance of P.
This does not exclude that there are other instances (x,y') of P for which y' does not belong to the class description or data range.
owl:someValuesFrom 프로퍼티는 제한 클래스와 클래스 설명이나 데이터 범위를 연결합니다. owl:someValuesFrom 제약을 포함하는 제한은 적어도 하나의 값이 클래스를 데이터 범위 안의 데이터값이나 클래스 설명의 인스턴스인 모든 개체의 클래스를 설명합니다. 즉, 쌍(x,y)가 P의 인스턴스가 되도록 적어도 하나의 Y(클래스 설명이나 데이터 범위 안의 값)가 있는 개체 X의 클래스를 정의합니다. owl:Restriction rdfs:Class
owl:unionOf ~의 합집합이다 The owl:unionOf property links a class to a list of class descriptions. An owl:unionOf statement describes an anonymous class for which the class extension contains those individuals that occur in at least one of the class extensions of the class descriptions in the list. owl:unionOf is analogous to logical disjunction. owl:unionOf는 클래스와 클래스 설명 리스트를 연결합니다. owl:unionOf는 리스트 안의 클래스 설명의 클래스 범위 중 적어도 하나에서 발생하는 개체를 포함하는 클래스 범위를 가진 익명의 클래스를 묘사합니다. owl:unionOf는 논리적 분리와 유사합니다. owl:Class rdf:List
owl:versionInfo 버전안내 An owl:versionInfo statement, that is an instance of owl:AnnotationProperty, generally has as its object a string giving information about this version, for example RCS/CVS keywords. This statement does not contribute to the logical meaning of the ontology other than that given by the RDF(S) model theory. owl:versionInfo는 owl:AnnotationProperty의 인스턴스로 RCS/CVS 키워드 같은 이 버전에 대한 정보를 주는 문자열을 목적어로 가집니다. 이 문장은 RDF(S)모델 이론에서 주어진 의미 이상으로 온톨로지에 대한 논리적 의미를 부과하지 않습니다.

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