机译:Darling:在SPARQL查询下的OWL 2 RL Intological推理的Datalog Rewriter
机译:使用视图重写常规路径查询的数据记录
机译:确定性和查询重写以结合查询和视图
机译:TypeS:用于线性TGD和联合查询的非递归数据记录重写器
机译:数据记录中基于线性化的查询优化
机译:在Spark上通过Datalog查询进行大数据分析
机译:Ontology-Mediated使用描述逻辑EL查询:三分性和线性数据播放可重写性
机译:在aRm(抽象重写机)的范围内:通过最小重写系统编译左线性重写系统;软件工程部