"틀:Dhos"의 두 판 사이의 차이
DH 교육용 위키
(같은 사용자에 의한 23개의 중간 편집이 숨겨짐) | |||
1번째 줄: | 1번째 줄: | ||
− | <onlyinclude> | + | <onlyinclude><table style="border-spacing: 5px; width:100%"><tr><td colspan="2">{{#if: {{{Name|}}} | <span style="font-weight:bold; font-size:15pt">{{{Name|}}}</span>}}{{#if: {{{Name(ko)|}}} | <span style="color:#0000b3;"> {{{Name(ko)|}}}</span>}}</td></tr>{{#if: {{{Description|}}} |<tr><td style="background:#2d486c; color:white; padding:5px 5px; padding:5px 5px;width:10%">Description</td><td style="background:#edf2f7; padding 2px 2px;">{{{Description|}}}</td></tr>}}{{#if: {{{Description(ko)|}}} |<tr><td style="background:#2d486c; color:white; padding:5px 5px; padding:5px 5px;width:10%">Description(ko)</td><td style="background:#edf2f7; padding 2px 2px;">{{{Description(ko)|}}}</td></tr>}}{{#if: {{{Domain|}}} |<tr><td style="background:#2d486c; color:white; padding:5px 5px; padding:5px 5px;width:10%">Domain</td><td style="background:#edf2f7; padding 2px 2px;">{{{Domain|}}}</td></tr>}}{{#if: {{{Range|}}} |<tr><td style="background:#2d486c; color:white; padding:5px 5px; padding:5px 5px;width:10%">Range</td><td style="background:#edf2f7; padding 2px 2px;">{{{Range|}}}</td></tr>}}{{#if: {{{subClassOf|}}} |<tr><td style="background:#2d486c; color:white; padding:5px 5px; padding:5px 5px;width:10%">subClassOf</td><td style="background:#edf2f7; padding 2px 2px;">{{{subClassOf|}}}</td></tr>}}{{#if: {{{subPropertyOf|}}} |<tr><td style="background:#2d486c; color:white; padding:5px 5px; padding:5px 5px;width:10%">subPropertyOf</span></td><td style="background:#edf2f7; padding 2px 2px;">{{{subPropertyOf|}}}</td></tr>}}{{#if: {{{disjointWith|}}} |<tr><td style="background:#2d486c; color:white; padding:5px 5px; padding:5px 5px;width:10%">disjointWith</span></td><td style="background:#edf2f7; padding 2px 2px;">{{{disjointWith|}}}</td></tr>}}{{#if: {{{비고|}}} |<tr><td style="background:#2d486c; color:white; padding:5px 5px; padding:5px 5px;width:10%">비고</td><td style="background:#edf2f7; padding 2px 2px;">{{{비고|}}}</td></tr>}}</table></onlyinclude> |
− | {{#if: {{{Name|}}} | <span style="font-weight:bold; font-size: | + | <pre> |
− | {{#if: {{{Name(ko)|}}} | | + | {{Dhos |
− | {{#if: {{{Description|}}} | Description : {{{Description|}}}< | + | |Name= |
− | {{#if: {{{Description(ko)|}}} | Description(ko) : {{{Description(ko)|}}}< | + | |Name(ko)= |
− | {{#if: {{{ | + | |Description= |
− | {{#if: {{{ | + | |Description(ko)= |
− | {{#if: {{{ | + | |subClassOf= |
− | {{#if: {{{ | + | |subPropertyOf= |
− | {{#if: {{{ | + | |disjointWith= |
− | {{#if: {{{비고|}}} | 비고 : {{{비고|}}}< | + | |Domain= |
− | + | |Range= | |
− | </ | + | |비고= |
+ | }} | ||
+ | </pre> | ||
{{Dhos | {{Dhos | ||
|Name=owl:AllDifferent | |Name=owl:AllDifferent | ||
|Name(ko)=서로 다른 개체의 모임 | |Name(ko)=서로 다른 개체의 모임 | ||
|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=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 클래스입니다. 리스트 안에 있는 모든 개체가 서로 달라야 한다는 것을 의미합니다. |
|subClassOf= | |subClassOf= | ||
|subPropertyOf= | |subPropertyOf= |
2018년 5월 24일 (목) 16:23 기준 최신판
{{Dhos |Name= |Name(ko)= |Description= |Description(ko)= |subClassOf= |subPropertyOf= |disjointWith= |Domain= |Range= |비고= }}
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 클래스입니다. 리스트 안에 있는 모든 개체가 서로 달라야 한다는 것을 의미합니다. |