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