[Ontology] Reasoner 의 역활 및 기능

분류 : Ontology

요약 : Reasoner 의 역활은 Classifier 이며, Class 및 Instance 의 분류가 규칙에 따라서 적절히 이루어졌는지, 확인하는 일을 한다.

내용:

1. Reasoner 의 기능
1. inferred ontology class hierarchy : 하나의 Class 가 다른 Class 의 Subclass 인지 확인한다.
2. Consistency checking : Class 가 어떤 Instance 를 가질 수 있는지 여부를 확인한다.
2. Classifier
1. 이러한 이유로 Reasoner 는 Classifier 라는 이름으로 불리기도 한다.
2. 그러나 분류 이상의 검증의 기능이 있으므로, Reasoner 라고 불리는 것이 더 적절하다.
3. Reasoner 가 해당 기능을 수행할 수 있는 이류
1. Reasoner 는 Class 들이 서로 규칙을 준수하는 지 확인하여 위의 기능을 수행한다. 여기에서는 Disjoint axiom 에 따라서 검증한다.
2. 즉 Class 의 정의 단계에서 Disjoint Class 를 잘 정의해 주어야 하며, 이 때 신중하지 못한 또는 잘못된 Disjoint class 를 정의하면 잘못된 결과를 보여줄 수 있으니 신중해야 한다.