In this paper, the syntax, semantic, inference problem and inference algorithm about SHIQ from the point view of logic were introduced.
该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法。
youdao
应用推荐
模块上移
模块下移
不移动