Tools and validation

추론기

Reasoner

Definition(Written in Korean)

온톨로지의 일관성을 검사하고 함의를 계산하는 프로그램입니다. HermiT, ELK 같은 것이 있습니다.

English

Reasoner

Related terms

함의(추론)Entailment자동 분류Classification정당화Justification만족불가 클래스Unsatisfiable Class

Evidence grade

C

자가신고: 교과서 집필 중에 정리한 정의이며 외부 원문과 대조하지 않았습니다

Added in version

0.1.0

Permanent URI

https://ontocraft.com/terms/reasoner

JSON-LD for this term

Citation

OntoCraft Korean Industrial Term Registry, “추론기” (Reasoner), version 0.1.1, https://ontocraft.com/terms/reasoner, CC BY 4.0.