陈波 李筠 顾大可 李会荣 徐怀恕 简睿 刘炎禄 任大民 金毅 陈刚 纪伟尚 曾胤新 张卓 赵彦 顾慧翔

筛选 事实库 概念格 特化规约 工作流 抑制作用 交替单胞菌Alteromonas) 语义互联网 有益菌 映射 核心元素集合 元数据 低温细菌 可扩展标记语言 本体 语义万维网 规则库 菌株鉴定 动态 领域本体 资源描述框架 一阶逻辑推理引擎 自适应 基于案例的推理 形式化概念分析 南极 低温脂肪酶

上海交通大学计算机科学与工程系