论文部分内容阅读
描述逻辑具有良好的知识表示能力和强大的推理能力，AI规划具有良好的行为状态变化建模能力。将描述逻辑与AI规划相结合，提出一种基于描述逻辑的语义Web服务动态复合机制，并对其进行逻辑证明。
基于描述逻辑的语义Web服务动态复合推理和验证
【摘 要】
：
描述逻辑具有良好的知识表示能力和强大的推理能力，AI规划具有良好的行为状态变化建模能力。将描述逻辑与AI规划相结合，提出一种基于描述逻辑的语义Web服务动态复合机制，并对其
【机 构】
：
太原理工大学计算机与软件学院
【出 处】
：
广西师范大学学报(自然科学版)
【发表日期】
：
2007年4期
其他文献
目的探讨清脑益智颗粒对小血管性轻度认知功能障碍（sv MCI）的临床疗效,并从氧化应激角度探讨其作用机制。方法采用随机双盲法将收治的60例sv MCI患者分为治疗组和对照组各30例
目的：观察不同卵巢肿瘤组织中Ki-67核抗原（ Ki-67）、野生型P53抑癌基因（ P53）、核仁蛋白（ C23）、血管内皮生长因子受体（ EGFR）蛋白的表达变化，并探讨其意义。方法行手术治疗的卵巢肿瘤
通过对一类内共振条件下的非线性减振器的数学模型进行分析，得到了一次近似下动力学的响应方程。发现系统存在有两类平衡解，平衡解的进一步失稳导致分岔现象的产生。揭示了阻尼
脑结核瘤临床表现复杂,误诊率高。近年发展起来的功能磁共振成像技术如磁共振波谱(MRS)、弥散加权成像(DWI)和灌注加权成像(PWI),可分别从生理代谢、微环境水分子扩散情况及
研究一类非单调功能反应和周期常数脉冲扰动的三种群捕食-食饵系统，得到了系统灭绝与持续生存性的充分条件，并利用脉冲微分方程的Floquet理论和比较定理对相关定理进行了证明。
采用来自局部区域内的控制信息和对数函数控制器对初始分布为K—V分布的离子束进行束晕-混沌的模拟控制。结果显示，用局部区域内的离子数作为控制信息的对数函数控制法能够有
目的观察不同浓度端锚聚合酶抑制剂XAV939对肺腺癌细胞增殖和迁移能力的影响。方法取肺腺癌A549细胞,分为XAV939组和空白对照组,XAV939组分别加入0.1、0.5、1.0、5.0、10.0μ
目的探讨布地奈德混雾化吸入治疗对哮喘患者呼吸道症状及血清白细胞介素1β（IL-1β）和IL-12水平的影响。方法选择哮喘患者84例,随机分为观察组43例和对照组41例。对照组采取祛
目的：观察孕早期妇女血清妊娠相关血浆蛋白A （ PAPP-A ）水平变化。方法采用基于免疫微球标记的化学发光法检测160份孕8～14周妇女血清标本中的PAPP-A，并比较不同年龄、体质量指数（ B
以活性翠兰KN-G探针反应,用自制的NiO为磨料,考察了球磨时间、物料比、球料比和球磨速率对机械化学效应降解染料的影响,结果表明,最佳球磨条件为：转速500 r/min,物料比15,球料