"틀:Dhos"의 두 판 사이의 차이
DH 교육용 위키
(새 문서: <onlyinclude> {{#if: {{{Name|}}} | <h3>{{{Name|}}}</h3><br/>}} {{#if: {{{Name(ko)|}}} | Name(ko) : {{{name|}}}<br/>}} {{#if: {{{Description|}}} | Description : {{{Description|}}}<br/>...) |
|||
| 1번째 줄: | 1번째 줄: | ||
<onlyinclude> | <onlyinclude> | ||
| − | {{#if: {{{Name|}}} | < | + | {{#if: {{{Name|}}} | <span style="font-weight:bold; font-size:20pt">{{{Name|}}}</span>}} |
| − | {{#if: {{{Name(ko)|}}} | Name(ko) : {{{ | + | {{#if: {{{Name(ko)|}}} | Name(ko) : {{{Name|}}}<br/>}} |
{{#if: {{{Description|}}} | Description : {{{Description|}}}<br/>}} | {{#if: {{{Description|}}} | Description : {{{Description|}}}<br/>}} | ||
{{#if: {{{Description(ko)|}}} | Description(ko) : {{{Description(ko)|}}}<br/>}} | {{#if: {{{Description(ko)|}}} | Description(ko) : {{{Description(ko)|}}}<br/>}} | ||
2018년 5월 23일 (수) 16:00 판
| 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. |
