机译:将OCL不变量转换为OWL 2 DL公理以检查不一致的方法
机译:Ticket Entailment加上mingle公理具有变量共享属性
机译:仓bar中的离婚:确保兼容或更好的配偶需要与装饰较少的雌性配偶重新配对的成本
机译:OWL和DL对用户对公理及其含义的理解的功效
机译:语义网的完整性约束:OWL 2 DL扩展
机译:基于OWL 2 DL本体的药物基因组学知识表示推理和基于基因组的临床决策支持
机译:寻找OWL DL蕴涵的所有理由
机译:OntosTEp:sTEp的OWl-DL本体