论文部分内容阅读
分析描述逻辑循环术语集的研究现状和存在的问题,在F.Baader和S.Brandt的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,提出TBox-完全的概念,并重新定义描述图,使用描述图之间的模拟关系和TBox-完全给出最大不动点语义和描述语义下带RVM的εL混合循环术语集的概念包含推理算法,证明推理算法的正确性,并证明推理算法是多项式时间复杂的.
Based on F.Baader and S.Brandt, the semantics and reasoning problems of the description loop of εL mixed cycle with RVM are further studied.The εL mixing with RVM The grammar and semantics of a set of terminological terms The set of εL mixed cycles with a RVM contains the need for reasoning, proposes the TBox-complete concept and redefines the description, using the simulation relationships between the representations and TBox- The notion of fixed point semantics and εL mixed cycles with RVM semantics and semantics contains reasoning algorithms to prove the correctness of inference algorithms and to prove that inference algorithms are polynomial time-complex.