도구와 검증

추론기

Reasoner

정의

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

영어

Reasoner

관련 용어

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

근거 등급

C

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

처음 들어온 버전

0.1.0

고정 주소

https://ontocraft.com/terms/reasoner

이 용어의 JSON-LD

인용

OntoCraft 한국 산업 용어 등록부, 「추론기」(Reasoner), 버전 0.1.1, https://ontocraft.com/terms/reasoner, CC BY 4.0.