摘要
描述逻辑是一簇知识表示的语言,其以结构化、形式化的方法来表示特定应用领域的知识。文中给出了描述逻辑VL的形式化自然推演系统,并以此构建形式模型证明其推理机制是完备的。
The description logic is a family of knowledge representation languages, whose structured and formal way is to represent knowledge in a specific application. This paper gives the natural deduction system of a description logic VL , and establishes a formal model of VL in order to prove that its reason mechanism is complete.
出处
《贵州工程应用技术学院学报》
2017年第3期9-17,共9页
Journal of Guizhou University Of Engineering Science
基金
江西省教育厅科学技术研究项目"循环术语集本体的保守扩充及其推理机制研究"
项目号:GJJ151348
关键词
描述逻辑
自然推演系统
形式模型
Description Logics
Natural Deduction
Formal Model
