带RVM的描述逻辑εL混合循环术语集的语义及推理.pdfVIP

维普资讯 第 2l卷 第 1期 模式识别与人工智能 Vo1．2l NO．1 2OO8年 2月 PR AI Feb 2008 带 RVM 的描述逻辑 eL混合循环术语集的 语义及推理* 蒋运承 王 驹 周生明 汤 庸 (广西师范大学 计算机科学与信息工程学 院 桂林 541004) 川 山大学 计算机科学系 广州 510275) 摘 要 分析描述逻辑循环术语集 的研究现状和存在的问题 ，在 F．Baader和 S．Brandt的基础上进一步研究带 RVM 的描述逻辑 ￡L混合循环术语集的语义及推理问题．给出带RVM 的 ￡L混合循环术语集 的语法和语义．针对 带 RVM 的 ￡L混合循环术语集包含推理的需要 ，提出TBox一完全的概念 ，并重新定义描述 图，使用描述图之间的 模拟关系和TBox一完全给出最大不动点语义和描述语义下带 RVM 的 ￡L混合循环术语集 的概念包含推理算法 ， 证明推理算法 的正确性，并证 明推理算法是多项式时间复杂的． 关键词 描述逻辑 ，混合循环术语集 ，不动点语义，描述语义，关系一值一映射 (RVM) 中图法分类号 TP181 SemanticsandReasoningofHybridTerminologicalCycles inDescriptionLogiceL withRVM JIANG Yun—Cheng～，WANGJu，ZHOU Sheng—Ming ，TANG Yong (CollegeofComputerScienceandInformationEngineering，GuangxiNormalUniversity， Guilin541004) 。(DepartmentofComputerScience， ￡f，，Yat—senUniversity。Guangzhou510275) ABSTRACT Thecurrentresearch progressesandproblemsofterminologicalcyclesin description logics areanalyzedinthispaper．Basedon theresearch ofBaaderF andBrandtS，thesemanticsand reasoningofhybridterminologicalcyclesindescriptionlogiceLwithRVM isfurtherstudied．The syntaxandsemanticsofhybridterminologicalcyclesindescriptionlogicLe withRVM aregiven． Aimingattherequirementofsubsumptionreasoningofhybridterminologicalcyclesindescription logicLe with RVM ，TBox—completionispresented andthedescriptiongraph isredefined．The subsumption reasoning algorithmsofhybrid terminologicalcyclesin description logicLe with RVM w．r．t． greatest fixpoint semantics and descriptive semantics are presented using TBox—completionanddescriptiongraph．