May 13, 2026 TBox로 LLM 환각을 줄이는 방법: Datalog Facts 수준의 스키마 제약 Datalog TBox LLM Hallucination Knowledge Graph Description Logic