《面向矛盾问题的描述逻辑SHOQ扩展-论文》.pdfVIP

JournalofComputerApplications ISSN 1001．9081 2014．．04．．10 计算机应用，2014，34(4)：1139—1143 CODENJYIIDU http：／／www．joca．an 文章编号：1001—9081(2014)04—1139—05 doi：10．11772／j．issn．1001—9081．2014．40．1139 面向矛盾问题的描述逻辑 SHOQ扩展 王 静 ’，王 红，李 剪，樊红杰 (中国民航大学计算机科学与技术学院，天津 300300) ( 通信作者电子邮箱wangjingeauc@qq．eom) 摘 要：为了利用描述逻辑的推理规则分析并解决简单矛盾问题，引入 了可拓集合作为描述逻辑SHOQ的集合论 基础，提 出了一种新的描述逻辑D—SHOQ ，定义了可拓概念和可拓关系的截集形式作为原子概念和原子关系，引入了 动作理论以获取概念和关系的质变域和量变域，并给出了D—SHOQEs中概念、关系、动作等的语义解释以及 Tableau一算 法推理规则，研究了矛盾问题的一般求解方法，从而为矛盾问题的求解提供 了策略。 关键词：描述逻辑；可拓集合 ；可拓学；矛盾问题；动作理论 中图分类号：TP18 文献标志码：A Extensionofcontradictionproblem—orienteddescriptionlogicSHOQ WANGJing。，WANGHong，LIJian，FANHongjie (CollegeofComputerScienceandTechnology,CivilAviationUniversityofChina，Tianfin300300，China) Abstract：Inordertoapplyreasoningrulesofthedescriptionlogictoanalyzeandsolvethesimplecontradictionproblem， theextensionsetwasintroducedtobethesettheoryfoundationofthedescriptionlogicSHOQ，andanewdescriptionlogic namedD—SHOQEs(DynamicDescriptionLogicSHOQBasedonExtensionSet)wasproposed．Thecutsetsofextension conceptsandextensionrolesweredefinedasatomicconceptsandatomicroles，andtheactiontheorywasinjectedtoobtainthe qualitativechangedomainandthequantitativechangedomainoftheconceptsandroles．Thesemanticsofconcepts，rolesand actionsinD—SHOQEsweregiven，aswellastheTableau—algorithm reasoningurles．Finally，themethodofsolving contradictionproblem wasresearched，whichofferedastrategyforthesolutiontocontradictionproblem． Keywords：descriptionlogic；extensionset；extenics；contradictionproblem；actiontheory ExtendedDynamicDescriptionLogics) 、CDDL(Cloudbased 0 引言