Cloud-ALC:描述逻辑ALC的不确定扩展

Cloud-ALC:An Indefinite Extension to DL ALC

描述逻辑是本体的重要表示方式,但只能处理严格的确定性知识,并不能处理自然界中广泛存在的不确定知识。通过对最基本的描述逻辑ALC进行扩展,提出了能够处理不确定知识的基于云模型不确定描述逻辑Cloud-ALC,给出了Cloud-ALC的语法和语义及其蕴涵推理关系。实例分析说明Cloud-ALC可以为扩展本体描述语言以能够处理不确定知识提供语义支持。

Description Logics （short for DLs） are very important for the expression of ontologies,which can process only definite knowledge, but not the indefinite knowledge existing widely in nature. Based on the cloud model,Cloud-ALC,the extension of the important description logic ALC,is presented to deal with the indefinite knowledge. The syntax and semantic of it are defined. Case analysis proves that Cloud-ALC can provide a formal underpinning for the indefinite extension of ontology description languages.