ToClean

온클린은 니콜라 과리노와 크리스 웰티가 개발한 클래스의 형식적이고 도메인 독립적인 속성(메타프로퍼티)을 기반으로 온톨로지를 분석하는 방법론이다.

개요 및 기록

OnClean은 정보 시스템에 대한 온톨로지 분석에 대한 개념을 공식화하려는 첫 번째 시도였다.경험 많은 온톨로지 구축자들이 내리는 결정의 종류를 정당화하고, 경험 없는 사람들의 일반적인 실수를 설명하기 위해서였다.앨런 렉터는 툴루즈에서 열린 KR-2002 컨퍼런스에서 열린 토론에서 "당신이 한 일은 내가 의료진과 논쟁하는 시간을 줄이는 것"이라고 말했다.

Guarino & Welty에 초점을 맞춘 개념은 철학적 온톨로지로부터 이끌어냈다.그들은 겉으로 보기에 우주의 올바른 존재론이 무엇인가에 대한 끝없는 논쟁을 쫓는 것이 아니라, 오히려 이 철학자들이 서로의 주장을 분석하고 지지하고 비판하기 위해 사용하는 기술들을 쫓고 있었다.이러한 기술은 특정 온톨로지(Ontology)에 대한 확약을 거의 하지 않고, 대신에 종종 매우 미묘한 차이를 드러낸다.

OnClean의 기초가 되는 아이디어는 2000년에 출판된 세 개의 논문 시리즈에서 문학에 처음 등장했다.^[1][2][3]2002년까지는 이 문헌에 OnClean이라는 이름이 나오지 않는다.^[4]톰슨-ISI에 따르면 온톨로지 관련 학술 논문 중 온톨로지 관련 연구가 가장 많이 인용됐다.^[5]OnClean은 온톨로지 공학을 위한 최초의 공식적인 방법론이었기 때문에 중요했다. 과학 원리를 예술이 대부분인 분야에 적용했다.

용어 참고 사항

논리적으로 재산은 의도적인 단수 술어, 다시 말해서 재산은 계급의 구성원이 되는 것을 의미하는 것이다.예를 들어, 우리는 Person 클래스의 예들은 "사람이 되는" 속성을 가지고 있다고 말한다.의미 웹에서 속성은 이진 관계다.

재산과 계급의 구분은 미묘하며, 아마도 OnClean을 이해하는 데 중요하지는 않을 것이다. 그러나 이 기사는 ToClean 출판물을 따르고 본래의 의미에 따라 일관되게 "재산"을 사용하며, "재산"과 "종류"를 동의어로 취급할 수 있다.따라서 메타프로퍼티는 재산이나 계급의 재산이다.

메타프로퍼티

OnClean의 기본은 클래스의 도메인 독립 속성인 OnClean 메타프로퍼티: 정체성, 통합성, 경직성 및 의존성이다.웰티 앤더슨의^[6] 후기 연구는 영속성과 실제성의 두 가지 메타프로퍼티를 더 추가했다.

아이덴티티

아이덴티티는 온톨로지, 특히 정보시스템 온톨로지(ontology)아이덴티티는 형이상학과 데이터베이스 개념 모델링에서 잘 알려져 있다.후자의 경우, 표의 행에 대한 기본 키를 지정하는 것이 허용되는 모범 사례다."두" 행에 동일한 기본 키가 있으면 동일한 행으로 간주된다.

온톨로지에게 더 중요한 것은 다른 실체의 존재 또는 적어도 표현해야 할 필요성을 드러내는 정체성에 대한 질문이다.여기서 쟁점은 제안된 기업이 동일하고 다를 수 있는 조건을 찾는 것이다.전형적인 예는 조각상으로 형상화된 진흙의 양이다.같은 찰흙을 쓰다가 다른 조각상으로 다시 만들면 같은 실체인가.그렇다면 어떻게 다를 수 있겠는가.그렇지 않다면 어떻게 똑같을 수 있을까.개념 모델링에서, 그러한 모호성이 발생할 때, 하나는 변하고 다른 하나는 그대로 있는 상황을 설명하기 위해 그것을 두 개의 다른 실체로 취급해야 한다고 이해된다.

OnClean에서 ID 기준은 분류라고 불리는 일부 엔터티 클래스와 연관되거나 또는 이월된다.분류란 모든 사례가 동일한 방식으로 식별되는 클래스를 말한다.정보시스템에서 이러한 기준은 사회보장번호나 보편적으로 고유한 ID와 같이 외향적인 경우가 많은데, 이는 존재론적 관점에서 흥미롭지 않다.신분 기준은 유익해야 하며, 우리와 다른 사람들이 수업의 의미를 이해하도록 도와야 한다.예를 들어 삼각형은 그 세 변의 길이 또는 두 변과 내부 각도 등으로 식별할 수 있다.이것은 여기 삼각형 클래스에 의해 의도된 것에 대해 많은 것을 말해준다. 예를 들어, 같은 삼각형이 동시에 많은 장소에 있을 수 있다.다른 누군가는 삼각형 등급이 서로 다른 신원 기준을 가지고 있는 온톨로지(Ontology)를 가지고 있을 수 있는데, 그것은 서로 다른 도면이 같은 크기일지라도 항상 다른 삼각형이다.신원 기준(그리고 그 문제에 대해 OnClean)은 삼각형의 정의 중 하나가 옳고 그르다는 것을 말해주지 않는다. 단지 그것들이 다르기 때문에 클래스가 다르다는 것이다.

신분 기준과 분류는 신분과 특정 계층을 연관시키는 언어적 습관을 설명하기 위해 직관적으로 의도된 것이다.고전적인 동상이나 점토 예에서 우리는 자연스럽게 '같은 점토'나 '같은 동상'이라고 말하여 각 계급마다 고유한 신분 기준이 있음을 알 수 있다.

정렬이 되는 것은 최초의 OnClean 메타프로퍼티로서, 원래의 표기법에서 클래스에 +I 상위첨자(-I)로 표시된다. +I(그러나 -I는 아님)는 클래스 계층 아래로 상속된다. 클래스가 정렬일 경우 모든 하위 클래스도 마찬가지로 된다.

유니티

건전한 개인만을 소유하는 어떤 특성들이 있다.형식적인 온톨로지에서는 건전성이란 단순한 총과 구별되는 경우가 많은데, 어떤 의미에서는 그 경계가 임의적인 개인이다.예를 들어, 클레이 클래스를 고려해 보십시오.이 세분류의 한 예는 (사실상, 모든) 임의의 모든 하위섹션이 동일한 세분류의 다른 예일 수 있도록 자료의 일부 양(물론 이것은 하나의 가능한 의미일 뿐이다)일 수 있다.이와는 대조적으로, Person이라는 계급의 예들은 전형적으로 이런 방식으로 분해될 수 없다.

OnClean의 목적상, 건전한 개인들은 어떤 뚜렷한 관계에 의해 서로 관련되고 서로만 관련되는 개인들이다.이러한 관계는 일반화된 연결관계로 볼 수 있다.단순한 합계의 어떤 분해도 그것의 일부가 아닌 더 큰 합과 같은 관계로 연결되기 때문에 단순한 합은 그러한 관계가 없다.

통합은 같은 관계에 있는 모든 개인이 건전한 계급의 +U로 표시되는 메타프로퍼티다.아이덴티티와 마찬가지로, OnClean은 관계 자체를 지정할 필요가 없으며, 종종 관계가 존재한다는 것을 아는 것으로 충분하다.직관적으로 클래스는 모든 인스턴스가 동일한 유형의 전체일 경우 단일성을 가지며, 일반적으로 자연물 클래스에 해당된다.-U로 표시된 비유니티는 모든 인스턴스가 건전하지 않거나 동일한 관계에 의해 모든 것이 건전하지 않은 클래스의 메타 속성이다.더욱 더 유용한 비일관성의 개선은 반유일성으로, 단순한 합계의 등급과 같이 건전하지 않은 모든 경우를 ~U로 나타낸다. +U와 ~U(그러나 -U는 아님)는 등급 계층 구조로 상속된다.

경성

라이프니츠의 법칙은 처음 고려할 때 일리가 있지만, 시간의 고려가 대부분의 온톨로지(특히 의미론적인 웹 온톨로지)와 라이프니츠의 법칙 사이에 어떻게 문제를 일으키는지 보는 데는 오랜 시간이 걸리지 않는다.예를 들어, 나는 어느 날 수염을 기르고 다음 날 수염을 깎을지도 모르지만, 나는 두 번 다 같은 실체다.내가 변했다면 어떻게 똑같을 수 있을까?

이러한 고전적 딜레마에 대한 논리적인 접근방식이 많이 있으며(단순히 무시하는 것을 포함), 가장 일반적인 것은 일부 속성을 필수적이라고 간주하는 것이다; 기업의 필수적인 속성(그리고 위의 Q.v. 용어, 속성은 단항 술어)은 변경할 수 없는 재산이며, 이것들은 라이프니츠의 법칙이 가지고 있는 재산이다.변경할 수 있는 기업의 그 밖의 특성은 비필수적이며 식별에 관여할 수 없다.

어떤 특성은 그들의 모든 경우에 필수적이다.보통 클래스 Person으로 대표되는 사람이 되는 속성을 생각해 보십시오.이 부동산을 가지고 있는 모든 실체에 있어서, 그 재산은 필수적이다.그래서 수염을 깎을 때 적어도 나에 대해 변하지 않은 속성 중 하나는 내가 사람이라는 것이다.모든 경우에 필수적인 이러한 특성은 경직된 특성이다.

강성 특성은 +R로 지정되며, 강성이 아닌 특성은 -R로 지정된다.비강체 속성의 중요한 특성은 변경 가능해야 하는 속성인 반강체 속성(~R)이다.학생이 되는 것을 생각해 보라. 모든 학생은 학생이 아니어야 한다. ~R (그러나 -R 또는 +R)은 학급 계층 구조로 계승된다.

이것들은 단지 예일 뿐이라는 점에 유의하십시오. 즉, 사람이 반강제적인 온톨로지를 갖는 것은 확실히 가능하다.예를 들어, 어떤 실체가 죽음과 동시에 사람에서 영혼으로 변하는 신비적 믿음의 존재론을 상상해 보라.개인이 이러한 변화 전반에 걸쳐 동일하기 위해서는, 사람이 되는 것이 필수적인 것이 아니어야 하며 나아가서는 변화할 수 있어야 한다(즉, 반강제화).

경직성은 세부사항인 Kripke의 경직 지정자 개념과 혼동해서는 안 된다.ToClean에서 strength라는 용어는 개인과 경직된 클래스 사이의 인스턴스Of 링크를 설명하기 위한 것이다. 단, 그것은 깨질 수 없다.

의존성

의존은 다양한 개념이다.핵심 OnClean 논문에서 Guarino & Welty는 특정 관계형 역할의 메타 속성을 포착하는 일종의 의존성을 사용했다.부동산의 각 인스턴스(instance)가 다른 실체의 존재를 암시하는 경우, 부동산은 종속된다.예를 들어, 재산 학생은 학생이 되려면 교사가 있어야 하기 때문에 의존적이다; 모든 학생의 경우 최소한 한 가지 이상의 교사가 있다.나중에 [돌스]를 위한 작업에서 이것은 두 가지 종류의 재산 의존을 약화시키는 것으로 주목되었다: 특정한 지속적인 의존과 일반적인 지속적인 의존이다.전자는 특정 실체에 대한 의존을 설명하며, 예를 들어 각 개인이 특정 뇌를 갖는 것에 의존한다.후자는 학생/교사의 경우를 설명하며, 어떤 경우든 교사의 경우를 설명한다.

그 밖에 많은 종류의 의존이 있다[Fine and Smith, 1983]와 특히 [Simons, 1987]^[7]를 참조하라.그들을 OnClean 프레임워크에 적응시키는 것은 공공연한 문제다.

종속성은 +D로 표시되며, 독립성은 -D로 표시되며, 독립성은 클래스 계층 아래로 상속된다.

참조