Justin Kim
Logic meets intuition
Justin Kim의 개인 블로그. 뉴로-심볼릭 AI, 온톨로지, Datalog, RDF, GStreamer 등 연구 노트와 기술 에세이.
About the author and editorial principles-
DIKW 피라미드로 읽는 그래프, 지식 그래프, 그리고 온톨로지
빅데이터와 LLM 시대에 데이터(Data)를 지식(Knowledge)과 지혜(Wisdom)로 전환하는 핵심 기술인 Graph, Knowledge Graph, Ontology의 수학적·의미론적·논리적 구조를 DIKW 프레임워크 기반으로 명확히 비교하고 정립합니다.
-
Wirelog Compound Term이 필요한 이유
wirelog의 compound term이 왜 등장했는지, PyreWire 예제와 함께 시간 변화, 모순 관계, 타입 충돌을 어떻게 구조화해 다룰 수 있는지 정리합니다.
-
RDF Reification을 다시 보기: RDF 1.2와 Wirelog Compound Term
예전 RDF reification 예제를 RDF 1.2의 triple term과 rdf:reifies로 다시 보고, 같은 생각을 wirelog compound term으로 옮겨 pyrewire 코드로 실행해봅니다.
-
Askitect의 SPARQL 루프를 Datalog로 바꾸기
지난번 Askitect 프로토타입 글에서는 LLM이 사용자의 자연어를 RDF 트리플로 바꾸고, 그 중간 상태를 SPARQL로 검사하는 구조를 구현했습니다. 사용자가 “친구랑 도쿄 가려고. 맛집이 제일 중요해.”라고 말하면 LLM은 hasDestination, hasCompanionType, hasPriority를 추출하고, SPARQL은 hasDuration과 hasBudget이 빠졌다는 사실을 찾아냈습니다. 그 글의 핵심은 LLM을 추론 엔진으로 쓰지 않는다는 점이었습니다. LLM은 자연어와 구조화된 데이터 사이를...
-
WITH RECURSIVE로는 답답했던 질문들: 내 노트 그래프에 Datalog 얹기
지난 글 Datalog, 일상의 도구가 될 수 있을까의 마지막에 이렇게 적어두었습니다. “다음에는 이 고민을 코드로 옮겨볼 생각입니다. 가벼운 Datalog 엔진을 실제 일상적인 문제에 적용해보는 실험을 해보려 합니다.” 이번 글은 그 문장을 실제 코드로 옮겨본 기록입니다. 그때 일상적 유즈케이스 후보로 네 가지를 꼽았습니다. 노트 간 관계, 의존성 분석, 권한 추론, 설정...