...
机译:将OCL不变量转换为OWL 2 DL公理以检查不一致的方法
Key Laboratory of Ministry of Education on Dependable Service Computing in Cyber Physical Society, Chongqing City, China,School of Software Engineering, Chongqing University, Chongqing City, China;
Key Laboratory of Ministry of Education on Dependable Service Computing in Cyber Physical Society, Chongqing City, China,School of Software Engineering, Chongqing University, Chongqing City, China;
Key Laboratory of Ministry of Education on Dependable Service Computing in Cyber Physical Society, Chongqing City, China,School of Software Engineering, Chongqing University, Chongqing City, China;
Key Laboratory of Ministry of Education on Dependable Service Computing in Cyber Physical Society, Chongqing City, China,School of Software Engineering, Chongqing University, Chongqing City, China;
OCL inconsistency checking; Description logic; OWL 2 DL; Ontology design pattern;
机译:如何修复OWL 2 DL本体版本中的不一致?
机译:OWL DL的容错推理
机译:将JSON Schema Logics转换为OWL公理以进行数字制造平台上的统一数据验证
机译:OWL DL公理的词汇逻辑获取:本体优化的集成方法
机译:语义网的完整性约束:OWL 2 DL扩展
机译:基于OWL 2 DL本体的药物基因组学知识表示推理和基于基因组的临床决策支持
机译:推断不一致的OWL DL本体:一种多值逻辑方法
机译:关于Rushby对容错时间触发算法的系统形式验证中不一致公理的注记