计算机工程与科学2008，Vol.30Issue(11)：65-67,91,4.
具有两种否定的描述逻辑系统MALC
MALC:A Description Logic System with Two Kinds of Negations
摘要
关键词
描述逻辑ALC/中介逻辑/中介无穷值语义模型分类
数理科学引用本文复制引用
程天笑,潘正华..具有两种否定的描述逻辑系统MALC[J].计算机工程与科学,2008,30(11):65-67,91,4.基金项目
国家自然科学基金资助项目(60575038) （60575038）
