机译:来自截障描述逻辑的多项式重写,封闭谓词对Datalog的变体
Description Logics; Datalog; Closed predicates; Ontology-mediated query answering; Query rewriting; Succinctness; Relative expressiveness;
机译:从具有闭合谓词的表达性描述逻辑到Datalog变体的多项式重写
机译:Monadic析取数据日志,MMSNP和表达描述逻辑中的可重写性
机译:Monadic析取数据记录,MMSNP和表达描述逻辑中的可重写性(邀请演讲)
机译:多项式Datalog用于闭合谓词的富有表达描述逻辑的重写
机译:表达描述逻辑的自动语义遗忘
机译:为什么要艰难? SNOMED的表达描述逻辑的情况
机译:来自截障描述逻辑的多项式重写,封闭谓词对Datalog的变体
机译:一阶谓词逻辑模型理论及相关时态逻辑