Justin Kim
Logic meets intuition
Justin Kim의 개인 블로그. 뉴로-심볼릭 AI, 온톨로지, Datalog, RDF, GStreamer 등 연구 노트와 기술 에세이.
About the author and editorial principles-
기록에 없으면 거짓일까?
충전소의 운영 상태를 같은 데이터로 질의하며 SPARQL의 FILTER NOT EXISTS와 wirelog의 부정을 비교합니다. 명시적인 비운영 기록과 상태 미확인을 구분하고, 열린 세계와 닫힌 세계 가정의 차이를 살펴봅니다.
-
온톨로지 비법노트를 출간했습니다
온톨로지 비법노트 출간 이야기. 온전하게 동작하는 실습 데이터를 찾던 어려움과 서울시 공공데이터 덕분에 실제 데이터를 사용해 강의와 책을 구성할 수 있었던 경험을 담았습니다.
-
시맨틱 리즈닝, 의미를 정하고 그 결과를 계산한다는 것
시맨틱 리즈닝은 사실과 온톨로지에서 논리적으로 따라오는 결론을 다룹니다. RDF·OWL의 의미론과 센서 분류 예제로 논리적 함의를 설명하고, wirelog의 실행 역할과 범위를 짚습니다.
-
Datalog를 이야기하면 왜 고정점과 온톨로지를 만나게 될까
고양이 분류 예제와 Wirelog·PyreWire 코드로 Datalog 추론이 최소 고정점에 도달하는 과정을 설명합니다. 사실과 규칙에서 새로운 분류가 도출되는 원리와 온톨로지의 관계를 살펴봅니다.
-
공개된 정책 파일에 서명하기:Custodian 서명
custodian 서명을 쉬운 비유로 설명하고, Wyrelog이 Datalog 정책 템플릿과 마이그레이션을 Ed25519로 검증하는 이유와 실제 구현, 운영상의 신뢰 경계를 살펴봅니다.