Optimization; Distributed description logics; Reasoning; Ontology decomposing;
机译:描述逻辑中大型知识库的基于分解的推理
机译:大规模描述逻辑知识库推理的模块化方法
机译:大规模描述逻辑知识库推理的模块化方法
机译:基于分解的描述逻辑中的大知识库的推理
机译:简单描述逻辑知识库中的保密保护推理
机译:再次探讨了医学本体论中的整体推理-将SEP三元组引入基于分类的描述逻辑中。
机译:简单描述逻辑知识库中的保密保护推理
机译:通过将基于模型的推理与基于知识的推理相结合进行诊断