摘要
描述逻辑由于有很好的建模和推理特性,已成为语义web本体描述语言的逻辑基础.描述逻辑SHIQ是语义web本体描述语言DAML+OIL的逻辑基础,也是OWL DL的核心.该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法.
Description logics （DLs）, because of their proper expressiveness for modeling and computable property, become the logical basis of ontology language in semantic web. SHIQ, one of DLs, has been the basis of DAML＋OIL which is an ontology language for semantic web and the core part of OWL DL. In this paper, the syntax, semantic, inference problem and inference algorithm about SHIQ from the point view of logic were introduced.
出处
《曲阜师范大学学报（自然科学版）》
CAS
2006年第1期63-66,共4页
Journal of Qufu Normal University(Natural Science)
