3
저는 "온톨로지 세계"에서 새로운입니다. 저는 Protegé와 온톨로지를 2 개월 동안 연습 해 왔으며 지금은 추론을 이해하고 싶습니다. 그러나 나는 그것의 구조와 그것에 의해 사용되는 언어가 무엇인지 모른다. 나에게 정보와 읽을 거리를 알려주시겠습니까? 고맙습니다.프로 테제에 대한 의미 론적 추론은 어떻게 이루어 집니까?
A
답변
2
추론 자의 임무는 추론을 산출하는 것입니다. 표준 추론 작업은 일관성 검사, 실현, 인스턴스 검사 및 만족 성입니다. 이 모든 내용은 설명 논리에 관한 여러 서적과 기사에서 찾을 수 있습니다.
Protege는 OWL API를 사용하여 추론 자에게 인터페이스를 제공하므로 구현자는 OWLReasoner입니다. 모두가 Java로 작성된 것은 아닙니다 (예 : FaCT ++는 C++로 작성되었습니다). 이들은 매우 복잡한 시스템이므로 구현 방법을 설명하는 장이 필요합니다. 여기에 대한 답은 너무 큽니다. 몇 가지 소스 코드를 살펴 보는 것이 좋습니다. 오픈 소스의 것들, HermiT, FaCT ++, Pellet, JFact, ELK.