机译:析取性Datalog程序和非Horn本体的Datalog可重写性
Department of Computer Science, University of Oxford, UK;
Department of Computer Science, University of Oxford, UK;
Department of Computer Science, University of Oxford, UK;
Knowledge representation and reasoning; Rule languages; Disjunctive Datalog; Query answering; Datalog rewritability; Description logics; Ontologies;
机译:Monadic析取数据日志,MMSNP和表达描述逻辑中的可重写性
机译:Monadic析取数据记录,MMSNP和表达描述逻辑中的可重写性(邀请演讲)
机译:基于本体的数据访问:通过析取数据日志,CSP和MMSNP进行的研究
机译:计算析取数据记录程序和描述逻辑本体的数据记录重写
机译:有约束的数据记录:一种新的答案集编程形式。
机译:在Spark上通过Datalog查询进行大数据分析
机译:析取数据记录程序的数据记录可重写性及其 本体推理的应用