Justin Kim
Logic meets intuition
Justin Kim의 개인 블로그. 뉴로-심볼릭 AI, 온톨로지, Datalog, RDF, GStreamer 등 연구 노트와 기술 에세이.
About the author and editorial principles-
공개된 정책 파일에 서명하기:Custodian 서명
custodian 서명을 쉬운 비유로 설명하고, Wyrelog이 Datalog 정책 템플릿과 마이그레이션을 Ed25519로 검증하는 이유와 실제 구현, 운영상의 신뢰 경계를 살펴봅니다.
-
Timely Dataflow: 루프가 있는 분산 데이터플로우는 어떻게 끝을 아는가
여러 사람이 함께 과제를 한다고 생각해 봅시다. 한 사람은 자료를 찾고, 한 사람은 표를 만들고, 다른 사람은 문장을 다듬습니다. 각자 맡은 일이 끝났다고 말해도 과제 전체가 끝난 것은 아닙니다. 표를 본 사람이 “자료가 하나 더 필요하다”며 일을 앞 단계로 돌려보낼 수 있기 때문입니다. 분산 컴퓨터도 비슷합니다. 여러 워커(worker)가 데이터를 나누어...
-
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 코드로 실행해봅니다.