机译:用线性时间逻辑形式化和修复本体的语义网络
ENS of Constantine, Constantine, Algeria;
ontology alignment; concept mapping; incoherence; repairing; semantic networks; LTL;
机译:线性时间逻辑中本体介入查询的一级重写性
机译:关于线性时间逻辑与团队语义的复杂性
机译:迈向线性时间时序逻辑和功能反应式编程的共同分类语义学
机译:基于事件的语义下的公制时间逻辑中本体介入查询的数据复杂性和可重写
机译:对应模型:对模态逻辑的本体和语义的修订研究。
机译:马尔可夫逻辑网络的解剖本体匹配
机译:在线性时间逻辑中本体介入查询的一级重写性