机译:析取性Datalog程序和非Horn本体的Datalog可重写性
机译:Darling:在SPARQL查询下的OWL 2 RL Intological推理的Datalog Rewriter
机译:用归纳逻辑编程对Datalog±本体进行推理
机译:DataLog Datalog程序及其在本体推理中的应用程序的可重写性
机译:有约束的数据记录:一种新的答案集编程形式。
机译:在Spark上通过Datalog查询进行大数据分析
机译:析取数据记录程序的数据记录可重写性及其 本体推理的应用