Extending Description Logic SHOIN Based on Cloud Model
Jie Liu, Lin Lin Cui · Applied Mechanics and Materials · 2014
The current research progress and the existing problems of semantics representation of the semantic Wed are analyzed. In this paper, we present an uncertain description logic C-SHOIN, which is an extension of description logics SHOIN based on cloud model. The syntax and semantics of description logic C-SHOIN are given; as well as the satisfiability of uncertain concepts. Example analysis shows that C-SHOIN is capable as the ontology language extensions to the representation of fuzzy and uncertain knowledge.