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