기본 형식 온톨로지(Basic Formal Ontology)
*기본 형식 온톨로지(Basic Formal Ontology)*는 인간 지식의 광범위한 영역을 기술할 수 있는 상위 온톨로지입니다. 이는 논리 프로그래머와 여러 도메인을 아우르는 포괄적인 지식 그래프를 구축하는 사람들에게 초석이 됩니다.
graph TD;
Q –> Q;
Q[Variable Order-Class] –> P;
P[Metaclass] –> Z;
Z[Class] –> A;
A[Entity] –> B[Continuant];
A –> C[Occurrent];
B –> D[Independent Continuant];
B –> E[Dependent Continuant];
D –> F[Object];
D –> G[Object Aggregate];
D –> H[Fiat Object];
E –> I[Specifically Dependent Continuant];
E –> J[Generically Dependent Continuant];
I –> K[Quality];
I –> L[Disposition];
C –> M[Process];
C –> N[Process Boundary];
C –> O[Temporal Region];\
BFO가 기반 구조를 제공하므로, 이 온톨로지는 근본적인 범주와 원리를 포괄하며 전문가들 사이에서 더 나은 소통과 시너지 있는 이해를 가능하게 합니다.
BFO의 계층적 구성은 실재에 대한 우리의 이해를 반영하여 주요 온톨로지 범주를 구분합니다.
개체(Entity)
BFO의 최상위 범주인 개체는 상상할 수 있는 모든 존재를 포괄하며, 다음과 같이 두 갈래로 나뉩니다.
- 연속체(Continuants): 시간이 흘러도 자신의 동일성을 유지하는 개체로, 다음을 포함합니다.
- 물질적 개체(Material Entities): 세포나 조직과 같은 유형의 객체입니다.
- 비물질적 개체(Immaterial Entities): 정책이나 아이디어와 같은 비물리적 요소입니다.
- 발생체(Occurrents): 시간에 묶인 사건으로, 예를 들어 세포 분열과 같은 생물학적 과정이 있습니다.
의존 연속체(Dependent Continuants)
이러한 개체는 존속하기 위해 다른 개체의 존재를 필요로 하며, 단독으로는 존재할 수 없습니다. 이들은 다음과 같이 구분됩니다:
- 특정 의존 연속체(Specifically Dependent Continuant, SC): 자동차의 색처럼 단일 개체에 매여 있는 성질입니다.
- 일반 의존 연속체(Generically Dependent Continuant, GC): 모든 빨간 물체가 공유하는 “빨강“이라는 특징처럼 여러 인스턴스에 걸쳐 적용될 수 있는 특성입니다.
독립 Continuant
이 범주에 속하는 개체는 자율적으로 존재할 수 있으며, 다음을 포함합니다:
- 객체(Objects): 특정한 책 한 권처럼 개별적인 물질적 대상입니다.
- 객체 집합체(Object Aggregates): 책 컬렉션처럼 객체들이 모인 것입니다.
- 피아트 객체(Fiat Objects): 지정된 주차 공간처럼 고유한 물리적 특성보다는 관계적 맥락에 기반하여 정의되는 것입니다.
성질
개체의 관찰 가능하거나 정량화할 수 있는 특성이 이 범주에 속하며, 다음과 같은 예가 있습니다:
- 성향(Disposition): 깨지기 쉬움처럼 특정한 상황에서 어떤 상태를 드러내는 잠재적 경향입니다.
- 관계적 성질(Relational Quality): 부모 관계처럼 개체들 사이의 관계를 설명하는 속성입니다.
과정
과정은 시간에 따른 전개나 변화를 구현하며, 관련된 개체와 시간 순서를 통해 정의할 수 있습니다. 주요 하위 범주는 다음과 같습니다:
- 과정 경계(Process Boundary): 과정의 시작이나 종료를 나타내는 표지입니다.
- 이력(History): 일정한 시간 범위에 걸쳐 기록된 사건의 연속입니다.
영역
영역은 개체가 존재하거나 사건이 일어나는 공간적 또는 시간적 평면을 구획하는 역할을 합니다:
- 공간 영역(Spatial Regions): 물질적 개체가 차지하는 3차원 공간입니다.
- 시간 영역(Temporal Regions): 사건을 포괄하는 선형적인 시간 구간입니다.
BFO의 확장
BFO의 Core 온톨로지를 보강하기 위해 다른 클래스를 분류하는 메타클래스를 도입할 수 있습니다. 또한 **가변 차수 클래스(variable-order classes)**의 도입도 주목할 만합니다. 이는 그 사례가 여러 클래스 차수에 걸치거나 심지어 클래스가 아닌 것까지 포함할 수 있는 클래스를 지칭하는 추상적 구성물입니다. 가변 차수 클래스만의 고유한 특징은 자기 자신의 서브클래스이자 슈퍼클래스로 분류된다는 점입니다.
예를 들어, “Barack Obama“의 계층 구조는 다음과 같습니다:
로어링하다 온톨로지(Lower Ontology)
- “Barack Obama“는 “human“의 인스턴스
- “human“은 “person“의 서브클래스
- “person“은 “individual“의 서브클래스
- “individual“은 “agent“의 서브클래스
상위 온톨로지
- “agent“는 “independent continuant“의 하위 클래스
- “independent continuant“는 “continuant“의 하위 클래스
- “continuant“는 “entity“의 하위 클래스
- “entity“는 “class“의 인스턴스
이것으로 모든 것을 분류할 수 있습니다. 물론 거의 모든 것입니다. 햄릿이라면 “하늘과 땅에는 자네의 온톨로지로는 꿈도 꾸지 못할 것들이 있다네.“라고 말했을 것입니다. 하지만 BFO는 놀라울 만큼 그에 가깝습니다.