BriefGPT.xyz
Ask
alpha
关键词
owl2
搜索结果 - 1
IJCAI
具有路径表达式的表达能力描述逻辑中的数据复杂度
探讨了在准林中非常表达性描述逻辑 ZOIQ (即 ALCHb Self reg OIQ) 上满足性问题的数据复杂性，并证明了它是 NP 完备的。这完成了对 ZOIQ 可判定片段的数据复杂性全景的研究，并重新证明了关于 OWL2 可判定片段（
→
PDF
25 days ago
Prev
Next