시맨틱 리즈닝, 의미를 정하고 그 결과를 계산한다는 것
Semantic Reasoning Datalog Ontology Knowledge Graph Wirelog
Datalog를 이야기하면 왜 고정점과 온톨로지를 만나게 될까
Datalog Fixed Point Ontology Knowledge Representation Logic Programming
Timely Dataflow: 루프가 있는 분산 데이터플로우는 어떻게 끝을 아는가
Timely Dataflow Differential Dataflow Datalog wirelog Distributed Systems Incremental Computation
Wirelog Compound Term이 필요한 이유
Datalog wirelog PyreWire Compound Term Knowledge Graph
RDF Reification을 다시 보기: RDF 1.2와 Wirelog Compound Term
RDF RDF-star Reification Datalog wirelog PyreWire