REVISIT BOOLEAN LATTICE BASED FUZZY DESCRIPTION LOGIC
Fuzzy Description Logics are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by uncertainty and vagueness. A well studied solution is to extend Description Logics with fuzzy sets theory. To solve implication problerns in this kind of Fuzzy Description Logics, Boolean Lattice based Fuzzy Description Logics is revisited. This paper shows that compared with fuzzy sets based Fuzzy Description Logics, the new formalism not only eliminates the counter-intuitive implication problem, but also possesses simply and efficient reasoning algorithms. Boolean Lattice based Fuzzy Description Logic also find its potential application in debugging knowledge base and distributed Fuzzy Description Logics.
Ontology Fuzzy Description Logic knowledge representation and reasoning uncertain knowledge Boolean Lattice
SHA-SBA FENG YONG-GANG ZHANG JI-GUI SUN
College of Computer Science and Technology, Jilin University, Changchun 130012, China College of Computer Science and Technology, Jilin University, Changchun 130012, China Symbolic Lab o
国际会议
2009 International Conference on Machine Learning and Cybernetics(2009机器学习与控制论国际会议)
保定
英文
297-301
2009-07-12(万方平台首次上网日期,不代表论文的发表时间)