기록에 없으면 거짓일까?
SPARQL Datalog Wirelog Open World Assumption Closed World Assumption 온톨로지
시맨틱 리즈닝, 의미를 정하고 그 결과를 계산한다는 것
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