OWL-RDF
DH 교육용 위키
OWL Class
| owl:Ontology 온톨로지 | |
| Description | The owl:Ontology element is a place to collect much of the OWL meta-data for the document. |
| Description(ko) | owl : Ontology 요소는 문서에 대한 OWL 메타 데이터의 대부분을 수집하는 곳입니다. |
| owl:Class 클래스 | |
| Description | An owl:Class defines a group of individuals that belong together because they share some properties. |
| Description(ko) | owl : Class는 일부 속성을 공유하기 때문에 함께 속하는 개인의 그룹을 정의한다. |
| subClassOf | rdfs:Class |
| owl:DeprecatedClass 사용하지않는 클래스 | |
| Description | 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. |
| Description(ko) | Deprecation은 보통 소프트웨어의 버전관리에서 이전 버전과의 호환성을 위해 현재는 보존되지만, 나중에 사라질 특정 기능을 위해 사용됩니다. owl:DeprecatedClass라고 선언된 클래스는 rdfs:Class의 하위 클래스입니다. |
| subClassOf | rdfs:Class |
| owl:DatatypeProperty 데이터타입프로퍼티 | |
| Description | 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. |
| Description(ko) | 데이터 유형 프로퍼티는 프로퍼티의 두 가지 주 카테고리 중 하나다. 개인을 데이터 값에 연결하며 내장 된 OWL 클래스 인 owl : DatatypeProperty의 인스턴스로 정의된다. |
| subClassOf | rdf:Property |
| owl:AnnotationProperty 주석프로퍼티 | |
| Description | owl:AnnotationProperty is an rdfs:subClassOf of rdf:Property |
| Description(ko) | owl:AnnotationProperty는 rdfs:Property의 하위프로퍼티다 |
| subClassOf | rdf:Property |
| owl:OntologyProperty 온톨로지프로퍼티 | |
| Description | 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. |
| Description(ko) | OWL 내장 클래스 owl:OntologyProperty는 인스턴스로서 온톨로지-가져오기 구조어인 owl:imports와 온톨로지-버전관리 구조어인 owl:priorVersion, owl:backwardCompatibleWith, owl:incompatibleWith를 가집니다. 온톨로지 프로퍼티의 인스턴스는 반드시 도메인과 레인지로 owl:Ontology 클래스를 가져야 합니다. 다른 owl:OntologyProperty의 인스턴스를 정의하는 것도 가능합니다. |
| subClassOf | rdf:Property |
| owl:ObjectProperty 오브젝트프로퍼티 | |
| Description | 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. |
| Description(ko) | 오브젝트프로퍼티는 프로퍼티의 두 가지 주요 범주 중 하나입니다. 개인을 개인에 연결하며 내장 된 OWL 클래스 인 owl : ObjectProperty의 인스턴스로 정의됩니다. 이것은 값이 개인이어야한다는 제한이있는 속성을 정의합니다. |
| subClassOf | rdf:Property |
| owl:DeprecatedProperty 사용하지 않는 프로퍼티 | |
| Description | 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. |
| subClassOf | rdf:Property |
| owl:InverseFunctionalProperty 역함수적프로퍼티 | |
| Description | 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. |
| Description(ko) | inverse-functional로 선언된 속성은 속성의 목적어가 하나의 주어를 가진다는 것을 말합니다. 좀더 형식적으로, 만약 P 속성이 owl:InverseFunctionalProperty이면, 이것은 P의 값이 하나의 개체 x를 갖는다는 것을 말합니다. 인스턴스 x1과 x2가 (x1, y) (x2, y)와 같이 함께 쓰이지 못한다는 것을 말합니다. 구문적으로, inverse-Functional property 명제는 owl:ObjectProperty의 하위 속성인 내장 클래스 owl:InverseProperty의 개체인 속성으로 정의됩니다. |
| subClassOf | owl:ObjectProperty |
| owl:TransitiveProperty 전이프로퍼티 | |
| Description | "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." |
| Description(ko) | "프로퍼티 P가 owl:TransitiveProperty로 정의되면, (x,y)가 P의 인스턴스이고, (y, z)도 P의 인스턴스이면, (x, z)도 P의 인스턴스 임을 추측할 수 있다는 의미입니다. 구문적으로, owl:ObjectProperty의 하위클래스인 owl:TransitiveProperty의 인스턴스로 지정되면 프로퍼티는 전이적이다라고 정의됩니다." |
| subClassOf | owl:ObjectProperty |
| owl:SymmetricProperty 대칭프로퍼티 | |
| Description | 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. |
| subClassOf | owl:ObjectProperty |
| owl:AllDifferent 서로 다른 개체의 모임 | |
| Description | 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. |
| Description(ko) | 유일이름을 가진 온톨로지에서, owl:differentFrom을 사용하면 함께 사용할 수 없는 개체가 쌍으로 선언되어야 하기 때문에 많은 문장을 만들게 됩니다. 이런 상황을 위해 OWL은 owl:AllDifferent을 지원합니다. owl:AllDifferent는 해당 개체의 리스트를 owl:distinctMembers로 연결할 수 있는 특별한 내장 owl 클래스입니다. 리스트 안에 있는 모든 개체가 서로 달라야 한다는 것을 의미합니다. |
| owl:DataRange 데이터값 | |
| Description | 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. |
| Description(ko) | RDF 데이터 유형 외에도 OWL은 데이터 값의 범위, 즉 열거 형 데이터 유형을 정의하기위한 하나의 추가 구성을 제공한다.이 데이터 형식 형식은 owl : oneOf 구문을 사용한다. |
| owl:Thing 것 | |
| Description | "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." |
| Description(ko) | "OWL Full에서 모든 데이터 값은 개체 도메인의 부분으로 간주됩니다. 사실 OWL Full에서 개체들의 모든 집합은 모든 리소스로 구성되어 있습니다.(owl:Thing은 rdfs:Resource와 같습니다) owl:Thing과 owl:Nothing 두 owl 클래스 식별자는 이미 정의되어 있습니다. owl:Thing의 클래스 범위는 모든 개체의 세트이고, owl:Nothing 클래스의 범위는 빈 세트입니다. 결국, 모든 OWL 클래스는 owl:Thing의 하위 클래스이고, owl:Nothing은 모든 클래스의 하위클래스입니다." |
| owl:Nothing 없는것 | |
| Description | 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. |
| Description(ko) | owl:Thing과 OWL:Nothing 두개의 OWL클래스 식별자가 이미 정의되어 있습니다. owl:Thing의 클래스 확장은 모든 개체의 세트입니다. owl:Nothing은 클래스 확장은 빈 세트입니다. 결과적으로, 모든 OWL 클래스는 OWL:Thing의 하위 클래스이고, owl:Nothing은 모든 클래스의 하위 클래스입니다. |
| owl:Restriction 제약 | |
| Description | 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. |
| Description(ko) | owl : Restriction 클래스는 owl : Class의 하위 클래스로 정의됩니다. 제한 클래스는 owl : onProperty 속성을 사용하여 제한을 특정 속성에 연결하는 정확히 하나의 트리플을 가져야합니다. |
OWL Property
| owl:versionInfo ~의 버전안내이다 | |
| Description | 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. |
| Description(ko) | owl:versionInfo는 owl:AnnotationProperty의 인스턴스로 RCS/CVS 키워드 같은 이 버전에 대한 정보를 주는 문자열을 목적어로 가집니다. 이 문장은 RDF(S)모델 이론에서 주어진 의미 이상으로 온톨로지에 대한 논리적 의미를 부과하지 않습니다. |
| owl:backwardCompatibleWith 호환되는 이전 버전이다 | |
| Description | 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. |
| Description(ko) | owl:backwardCompatibleWith는 owl:OntologyProperty의 인스턴스이고, 그것과 호환되는 이전 버전을 출처로 가짐을 의미합니다. 이것은 지정된 온톨로지를 이전 버전과 구분하고, 추가로 이전 버전과 호환이 가능함을 나타냅니다. 특히, 이전 버전의 모든 식별자가 새로운 버전에서 같은 의미로 해석됨을 나타냅니다. 따라서 안전하게 그들의 문서를 새로운 버전으로 바꿀 수 있다는 것은 문서 작성자에게 힌트가 됩니다.(이름공간 선언과 새로운 버전의 url을 언급하는 owl:imports 서술어을 간단히 갱신함을 통해) owl:backwardCompatibleWith가 두 버전에서 정의되어 있지 않으면, 호환성을 가정해서는 안됩니다. |
| Domain | owl:Ontology |
| Range | owl:Ontology |
| owl:incompatibleWith 서로 호환되지 않다 | |
| Description | 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. |
| Description(ko) | owl:incompatibleWith는 owl:OntologyProperty의 인스턴스로, 다른 온톨로지의 참조를 포함합니다. 이것은 포함하는 온톨로지가 참조하는 온톨로지의 나중 버전이지만, 서로 호환되지는 않음을 의미합니다. 본질적으로, 변경이 필요한지를 확인하지 않고 새로운 버전을 사용하도록 문서를 업그레이드 할 수 없음을 명시하려는 온톨로지 작성자가 사용하기 위한 것입니다. |
| Domain | owl:Ontology |
| Range | owl:Ontology |
| owl:imports 가져오다(삽입하다) | |
| Description | "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." |
| Description(ko) | "owl:imports는 owl:OntologyProperty의 인스턴스로, 가져올 온톨로지의 의미의 부분으로 고려되는 의미를 가진 다른 온톨로지를 참조합니다.
각각의 참조들은 가져와진 온톨로지의 URI로 구성됩니다. 구문적으로 owl:imports는 클래스 owl:Ontology를 도메인과 레인지로 갖습니다. owl:imports를 사용한 온톨로지 주석은 대상 온톨로지를 가져오는 추가 효과를 가집니다. owl:imports는 전이적입니다. 만약 온톨로지 A가 온톨로지 B로 가져와지고, B가 C로 가져와지면 A는 B와 C, 둘 모두에 가져와진 것입니다." |
| Domain | owl:Ontology |
| Range | owl:Ontology |
| owl:priorVersion ~의 이전버전이다 | |
| Description | 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. |
| Description(ko) | owl:priorVersion은 다른 온톨로지를 참조하는 owl:OntologyProperty의 인스턴스입니다. 이것은 포함하는 온톨로지의 이전 버전인 특정 온톨로지를 식별합니다. 이것은 RDF (S) 모델 이론에 의해 주어진 것 이외에 모델-이론적 의미론에서 의미가 없습니다. 그러나 이것은 버전으로 온톨로지를 체계화하는 소프트웨어에서 사용될 수 있습니다. |
| Domain | owl:Ontology |
| Range | owl:Ontology |
| subClassOf | owl:Ontology |
| owl:cardinality ~의 제약조건의 집합이다. | |
| Description | 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. |
| Description(ko) | 집합 제약조건인 owl:cardinality는 XML 스키마 데이터타입 xsd:nonNegativeInteger에 속하는 데이터 값을 가진 제약조건을 클래스와 연결하는 OWL 내장 속성입니다. owl:cardinality 제약조건을 포함한 제한은 N개의 의미론적으로 구별되는 값(개체 또는 데이터값)을 가진 모든 개체의 클래스를 설명합니다. N은 집합 제약조건의 값입니다. |
| Domain | owl:Restriction |
| Range | owl:nonNegativeInteger |
| owl:minCardinality 최소 집합원 갯수이다 | |
| Description | 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. |
| Description(ko) | 집합원 갯수 제약사항은 XML 스키마 데이터타입 nonNegativeInteger로 표현되는 데이터값과 제한을 연결합합니다. owl:minCardinality 제약사항은 클래스의 개체가 적어도 N개 이상이란 의미입니다. 구문론적으로 집합원 개수 제약사항은 rdf:datatype 속성과 일치하는 RDF 프로퍼티 요소로 표현됩니다. |
| Domain | owl:Restriction |
| Range | xsd:nonNegativeInteger |
| owl:maxCardinality 최대카디널리티 | |
| Description | 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. |
| Description(ko) | owl:maxCardinality는 제한 클래스를 XML 스키마 데이터 유형 nonNegativeInteger의 값 공간에 속하는 데이터 값에 연결하는 기본 제공 OWL 특성입니다. |
| Domain | owl:Restriction |
| Range | owl:nonNegativeInteger |
| owl:complementOf ~의 보충설명이다. | |
| Description | 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. |
| Description(ko) | owl:complementOf 프로퍼티는 클래스를 정확하게 하나의 클래스 설명과 연결시킵니다. owl:complementOf는 목적어의 설명인 클래스 설명의 클래스 범위에 속하지 않는 개체들을 포함한 클래스 범위를 말합니다. owl:complementOf는 논리 부정(보충 클래스의 클래스 범위의 맴버가 아닌 개체들로 구성된 클래스 범위)과 유사합니다. |
| Domain | owl:Class |
| Range | owl:Class |
| owl:disjointWith ~와 함께 쓸 수 없는 | |
| Description | 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. |
| Description(ko) | owl:disjointWith는 클래스 설명을 도메인과 레인지로 가지는 프로퍼티입니다. 각각의 owl:disjointWith 구문은 두 클래스 설명의 범위가 공동의 개체를 포함하고 있지 않다는 것을 의미합니다. rdfs:subClassOf 명제와 같이, 두 클래스가 함께 쓰일 수 없다고 정의된 것은 부분적인 정의입니다. : 필수적인 부분이나 충분한 조건은 아닙니다. 클래스의 세트가 같이 쓰일 수 없다고 주장하기 위해서는 모든 쌍에 owl:disjointWith가 기술되어야 합니다. |
| owl:equivalentProperty ~와 같은 프로퍼티이다 | |
| Description | he 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. |
| Description(ko) | owl:equivalentProperty는 두 개의 프로퍼티가 같은 프로퍼티 범위를 가짐을 의미합니다. 구문적으로 owl:equivalentClass는 rdf:Property를 도메인과 레인지로 가지는 OWL 프로퍼티입니다. |
| Domain | rdf:Property |
| Range | rdf:Property |
| subPropertyOf</span> | <td style="background:#edf2f7; padding 2px 2px;">rdfs:subPropertyOf</td>|
| owl:equivalentClass 같은클래스 | |
| Description | 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). |
| Description(ko) | owl : equivalentClass는 클래스 설명을 다른 클래스 설명에 연결하는 기본 제공 속성입니다. 이러한 클래스 공리의 의미는 관련된 두 클래스 설명이 동일한 클래스 확장 (즉, 두 클래스 확장 모두 정확히 동일한 개인 집합을 포함)이라는 것입니다. |
| owl:FunctionalProperty 함수적 프로퍼티 | |
| Description | 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. |
| Description(ko) | 기능적 프로퍼티는 각각의 인스턴스x에 오직 하나의 값 y를 부여할 때만 사용합니다. 두개의 값 y1과 y2가 (x, y1), (x, y2)와 같이 쌍으로 사용될 수 없습니다. 오브젝트 프로퍼티와 데이터 프로퍼티는 모두 "funtional"로 선언됩니다. OWL은 내장 클래스 OWL:FunctionalProperty는 RDF 클래스의 rdf:Property의 하위 클래스입니다. |
| subPropertyOf</span> | <td style="background:#edf2f7; padding 2px 2px;">rdf:Property</td>|
| owl:inverseOf ~의 역관계이다 | |
| Description | Properties have a direction, from domain to range. The owl:inverseOf construct can be used to define an inverse relation between properties. |
| Description(ko) | 프로퍼티들은 도메인에서 레인지로 방향을 가지고 있습니다. owl:inverseOf는 프로퍼티들 사이의 반대 관계를 정의해줍니다. |
| Domain | owl:ObjectProperty |
| Range | owl:ObjectProperty |
| owl:onProperty 제한조건 A는 프로퍼티 B에 해당한다 | |
| Description | 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. |
| Description(ko) | owl:Restriction 클래스는 owl:Class의 하위 클래스입니다. 제한 클래스는 owl:onProperty를 사용한 특정 프로퍼티와 제한을 연결하는 하나의 트리플로 구성됩니다. 제한 클래스는 프로퍼티 구성원 갯수 제한이 1개인 등으로 고려 중에 있는 프로퍼티의 구성원 갯수제한과 값 제한을 나타내는 정확히 하나의 트리플로 구성되어야 합니다 |
| Domain | owl:Restriction |
| Range | rdf:Property |
| owl:hasValue 값을가진다 | |
| Description | 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). |
| Description(ko) | owl : hasValue는 제한 클래스를 값 V로 연결하는 기본 제공 OWL 속성이며 개별 값 또는 데이터 값일 수 있습니다. owl : hasValue 제약 조건을 포함하는 제한은 관련 속성이 의미 론적으로 V와 동일한 값을 갖는 모든 개인의 클래스를 기술한다 (다른 값도 가질 수있다). |
| owl:sameAs 서로같다 | |
| Description | 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. |
| Description(ko) | owl:sameAS는 개체와 개체를 연결합니다. owl:sameAs는 두개의 URI 레퍼런스들이 실제 같음을 의미합니다. (같은 정체성을 가진 개체) owl:sameAs를 이용해서 같음을 표시하는 능력은 다르게 보이는 개체가 실제로는 같음을 나타낼 수 있습니다. 실제 클래스와 프로퍼티의 같음은 owl:sameAs로만 표현될 수 있습니다. 이것이 클래스와 프로퍼티를 개체로서 취급해야 하므로, 이런 명제는 오직 OWL Full에서만 허락됩니다. |
| Domain | owl:Thing |
| Range | owl:Thing |
| owl:differentFrom 다르다 | |
| Description | 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. |
| Description(ko) | 기본 제공 OWL owl : differentFrom 속성은 개인을 개인과 연결한다. owl : differentFrom 문은 두 URI 참조가 다른 개인을 참조 함을 나타냅니다. |
| Domain | owl:Thing |
| Range | owl:Thing |
| owl:oneOf ~의 구성요소이다 | |
| Description | 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. |
| Description(ko) | owl:oneOf는 클래스의 인스턴스인 개체들의 목록이어야 합니다. 이렇게 하면 인스턴스를 빠짐없이 열거하여 클래스를 설명할 수 있습니다. owl:oneOf로 묘사된 클래스 범위는 열거된 개체만을 포함합니다. |
| Domain | owl:Class |
| Range | rdf:List |
| owl:allValuesFrom 모든 값 | |
| Description | 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:allValuesFromconstraint 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 within the specified data range. In other words, it defines a class of individuals x for which holds that if the pair (x,y) is an instance of P (the property concerned), then y should be an instance of the class description or a value in the data range, respectively. |
| Description(ko) | owl : allValuesFrom은 제한 클래스를 클래스 설명 또는 데이터 범위에 연결하는 기본 제공 OWL 속성이다. owl : allValuesFromconstraint가 포함 된 제한은 고려중인 속성의 모든 값이 클래스 설명의 클래스 확장 멤버이거나 지정된 데이터 범위 내의 데이터 값인 모든 객체의 클래스를 설명하는 데 사용된다. |
| Domain | owl:Restriction |
| Range | rdfs:Class |
| owl:distinctMembers 명확한 소속개체 | |
| Description | 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. |
| Description(ko) | 고유한 이름 가정이 성립하는 온톨로지에서, owl:differentFrom의 사용은 모든 개체가 쌍으로 같이 쓰이면 안되도록 선언해야 되기 때문에 많은 수의 문장으로 이어질 수 있습니다. 이런 상황을 위해서 OWL은 owl:AllDifferent라는 구조어를 제공합니다. 이것은 특별한 OWL 클래스로, owl:AllDifferent의 인스턴스와 개체의 리스트를 연결하는 owl:distinctMembers의 관계로 정의됩니다. 이런 문장은 리스트 안의 모든 개체들이 서로 다름을 의미합니다. owl:distinctMembers는 편의를 위해 추가된 특수 구문 구조이며 항상 owl:AllDiffernet 개체를 주어로 가집니다. |
| Domain | owl:AllDifferent |
| Range | rdf:list |
| owl:intersectionOf 교차점 | |
| Description | 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. |
| Description(ko) | owl : intersectionOf 속성은 클래스를 클래스 설명 목록에 연결합니다. owl : intersectionOf 문은 클래스 확장이 정확하게 목록에있는 모든 클래스 설명의 클래스 확장 멤버 인 개인을 포함하는 클래스를 설명합니다. |
| owl:someValuesFrom ~에서 몇가지 값을 가진다 | |
| Description | "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." |
| Description(ko) | owl:someValuesFrom 프로퍼티는 제한 클래스와 클래스 설명이나 데이터 범위를 연결합니다. owl:someValuesFrom 제약을 포함하는 제한은 적어도 하나의 값이 클래스를 데이터 범위 안의 데이터값이나 클래스 설명의 인스턴스인 모든 개체의 클래스를 설명합니다. 즉, 쌍(x,y)가 P의 인스턴스가 되도록 적어도 하나의 Y(클래스 설명이나 데이터 범위 안의 값)가 있는 개체 X의 클래스를 정의합니다. |
| Domain | owl:Restriction |
| Range | rdfs:Class |
| owl:unionOf 결합 | |
| Description | 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. |
| Description(ko) | owl : unionOf 속성은 클래스를 클래스 설명 목록에 연결합니다. owl : unionOf 문은 클래스 확장이 목록에있는 클래스 설명의 클래스 확장 중 적어도 하나에서 발생하는 개인을 포함하는 익명 클래스를 설명합니다. |
