PulseAugur
中
实时 09:29:08
实体 Description logic programs

Description logic programs

PulseAugur coverage of Description logic programs — every cluster mentioning Description logic programs across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_160688 ·

    描述逻辑程序的新语义提高了效率

    研究人员为描述逻辑程序引入了一种新颖的语义，旨在提高计算效率并提供更清晰的表征。这种新语义更严格地评估本体原子，将一致性问题的复杂度维持在NP完全，而当前的语义可能会增加到多项式层级的第二级。该研究还确定了一类特定的描述逻辑程序，其中新语义与现有语义一致，并为其表征提供了不动点算子和归约变换。