Contrary description logic: Gentzen deduction system  

作　　者：Wei LI Yuefei SUI Jie LUO Bo CHEN 

机构地区：[1]State Key Laboratory of Software Development Environment, Beihang University [2]Key Laboratory of Intelligent Information Processing, Institute of Computing Technology,Chinese Academy of Sciences

出　　处：《Science China(Information Sciences)》2017年第11期167-175,共9页中国科学（信息科学）（英文版）

摘　　要：Traditional description logics are based on complementary rather than contrary concepts. This work proposes a contrary description logic based on the contrary concept constructors ~, （instead of -）. A Gentzen-type deduction system is applied to make the system sound and complete with the three-valued semantics of contrary description logic.Traditional description logics are based on complementary rather than contrary concepts. This work proposes a contrary description logic based on the contrary concept constructors ~, （instead of -）. A Gentzen-type deduction system is applied to make the system sound and complete with the three-valued semantics of contrary description logic.

关 键 词：description logics CONTRADICTORY contrary SOUNDNESS COMPLETENESS 

分 类 号：O141[理学—数学]