基限定相关硕士博士期刊学术论文

知识库中的完整性约束验证是自动推理领域近年来研究的热点，对于语义Web数据的应用具有重要意义。完整性约束用于保证知识库中的合......