SHACL

지난 글에서 온톨로지를 이야기하면서 이런 말을 했습니다."LLM은 확률적으로 '추측'하지만, 온톨로지는 논리적으로 '증명'한다.""소크라테스는 사람이다" + "모든 사람은 죽는다" → "소크라테스는 죽는다." 어디에도 직접 적혀 있지 않던 결론이 두 사실로부터 논리적으로 도출됩니다. 그게 온톨로지의 핵심 가치라고 했어요.그런데 솔직히 그 부분을 좀 얼버무리고 넘어갔습니다. "추론이 핵심이다"라고만 하고, 정작 그 추론이 누가, 어떻게 일어나는지는 안 짚었거든요. 온톨로지가 안 적힌 사실을 찾아내는 "추론"이 실제로 어떤 원리로 돌아가는지, 예시 위주로 이야기해 보겠습니다.추론을 하는 리즈너(Reasoner)온톨로지에서 추론을 담당하는 건 리즈너(Reasoner)라는 도구입니다. 주어진 전제(사실과 규칙)..