简介:描述逻辑是一簇知识表示的语言,其以结构化、形式化的方法来表示特定应用领域的知识。文中给出了描述逻辑VL的形式化自然推演系统,并以此构建形式模型证明其推理机制是完备的。
基于自然推演下描述逻辑VL的形式化推理