Apr, 2011

DL-lite 知识库实例级别演化的研究

TL;DR该论文提出了一种基于公式的方法,用于更新使用Description Logic表达的知识库实例级别,其中插入和删除操作均可用于原始KB中使用的DL表达。