BriefGPT.xyz
Ask
alpha
关键词
$shi ontologies
搜索结果 - 1
IJCAI
超越 Horn 本体的 Datalog 重写计算
本文研究了非 Horn 本体的查询方法,使用 datalog 重写来回答 OWL 2 DL 本体查询的可能性等问题,并提出了一种基于分辨率的过程来解决 SHI 本体问题。
PDF
11 years ago
Prev
Next