"틀:Dhos"의 두 판 사이의 차이

DH 교육용 위키
이동: 둘러보기, 검색
2번째 줄: 2번째 줄:
 
{{#if: {{{Name|}}} | <span style="font-weight:bold; font-size:15pt">{{{Name|}}}</span><br/>}}
 
{{#if: {{{Name|}}} | <span style="font-weight:bold; font-size:15pt">{{{Name|}}}</span><br/>}}
 
{{#if: {{{Name(ko)|}}} | <span style="color:#4b4bb4;font-weight:bold;">Name(ko)</span> : {{{Name(ko)|}}}<br/>}}
 
{{#if: {{{Name(ko)|}}} | <span style="color:#4b4bb4;font-weight:bold;">Name(ko)</span> : {{{Name(ko)|}}}<br/>}}
{{#if: {{{Description|}}} | Description : {{{Description|}}}<br/>}}
+
{{#if: {{{Description|}}} | <span style="color:#4b4bb4;font-weight:bold;">Description</span> : {{{Description|}}}<br/>}}
{{#if: {{{Description(ko)|}}} | Description(ko) : {{{Description(ko)|}}}<br/>}}
+
{{#if: {{{Description(ko)|}}} | <span style="color:#4b4bb4;font-weight:bold;">Description(ko)</span> : {{{Description(ko)|}}}<br/>}}
{{#if: {{{subClassOf|}}} | subClassOf : {{{subClassOf|}}}<br/>}}
+
{{#if: {{{Domain|}}} | <span style="color:#4b4bb4;font-weight:bold;">Domain</span> : {{{Domain|}}}<br/>}}
{{#if: {{{subPropertyOf|}}} | subPropertyOf : {{{subPropertyOf|}}}<br/>}}
+
{{#if: {{{Range|}}} | <span style="color:#4b4bb4;font-weight:bold;">Range</span> : {{{Range|}}}<br/>}}
{{#if: {{{disjointWith|}}} | disjointWith : {{{disjointWith|}}}<br/>}}
+
{{#if: {{{subClassOf|}}} | <span style="color:#4b4bb4;font-weight:bold;">subClassOf</span> : {{{subClassOf|}}}<br/>}}
{{#if: {{{Domain|}}} | Domain : {{{Domain|}}}<br/>}}
+
{{#if: {{{subPropertyOf|}}} | <span style="color:#4b4bb4;font-weight:bold;">subPropertyO</span>f : {{{subPropertyOf|}}}<br/>}}
{{#if: {{{Range|}}} | Range : {{{Range|}}}<br/>}}
+
{{#if: {{{disjointWith|}}} | <span style="color:#4b4bb4;font-weight:bold;">disjointWith</span> : {{{disjointWith|}}}<br/>}}
{{#if: {{{비고|}}} | 비고 : {{{비고|}}}<br/>}}
+
{{#if: {{{비고|}}} | <span style="color:#4b4bb4;font-weight:bold;">비고</span> : {{{비고|}}}<br/>}}
 
----
 
----
 
</onlyinclude>
 
</onlyinclude>
 +
<pre>
 +
{{Dhos
 +
|Name=
 +
|Name(ko)=
 +
|Description=
 +
|Description(ko)=
 +
|subClassOf=
 +
|subPropertyOf=
 +
|disjointWith=
 +
|Domain=
 +
|Range=
 +
|비고=
 +
}}
 +
 +
</pre>
 
{{Dhos
 
{{Dhos
 
|Name=owl:AllDifferent
 
|Name=owl:AllDifferent

2018년 5월 23일 (수) 16:07 판







{{Dhos
|Name=
|Name(ko)=
|Description=
|Description(ko)=
|subClassOf=
|subPropertyOf=
|disjointWith=
|Domain=
|Range=
|비고=
}}

owl:AllDifferent 서로 다른 개체의 모임
DescriptionFor 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 클래스입니다. 리스트 안에 있는 모든 개체가 서로 달라야 한다는 것을 의미합니다.