In this paper, the syntax, semantic, inference problem and inference algorithm about SHIQ from the point view of logic were introduced.

该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法。

youdao

In this paper, the syntax, semantic, inference problem and inference algorithm about SHIQ from the point view of logic were introduced.

该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法。

youdao