书目详细信息 : 基于本体的矿井提升机故障诊断理论与方法