【摘 要】
：
Web服务有几种形式化表示：WSMO（Web服务建模本体）和OWL-S（Web服务本体语言）。为了分析WSML的逻辑特性,提出用一阶动态逻辑来表示WSML。这里的一阶动态逻辑与传统的PDL不同,后者是
【基金项目】
：
国家自然科学基金项目（61035004）资助
论文部分内容阅读
Web服务有几种形式化表示：WSMO（Web服务建模本体）和OWL-S（Web服务本体语言）。为了分析WSML的逻辑特性,提出用一阶动态逻辑来表示WSML。这里的一阶动态逻辑与传统的PDL不同,后者是用来表示程序改变变量的动态性质的,而描述Web服务的一阶动态逻辑除了描述改变变量的程序动作的动态性质之外,还需要描述改变关系的服务动作的动态性质。给出了描述Web服务的PDL的语法和语义,并且用一个例子说明了PDL是如何表示Web服务的静态属性和动态属性的,以及改变变量和改变关系的动作的动态性质。
其他文献
通过对群体发病的辽宁省某大型蛋鸡养殖场鸡只的现场诊断、病理剖检,结合实验室诊断,确诊该栋育成期蛋鸡感染病原体为滑液囊支原体和大肠杆菌,随对该鸡场鸡只进行全群及个体
当前,财务技术环境和制度环境发生了重大改变,高职财会类专业需要顺应形势进行相应的改革,其中专业课程改革尤为重要。文章阐述了高职财会类专业课程改革的必要性,并针对专业
产品装配过程中,有效地控制装配间隙至关重要。设计了基于图像处理的装配现场端面间隙便携式测量系统,包括硬件组成和软件实现。对金属工件间隙和非金属工件间隙的多次测量数据进行分析,实验结果表明:设计的测量系统测量不确定度在3.9μm内。
白先勇的长篇小说《孽子》在探讨同性恋群体的社会处境的同时,还描写了他们与母亲的关系。母子双方在父权社会中共同的“他者”身份和同样出走的抗议行为使他们结成了反抗同
环形空间阵列扭矩传感器是一种基于交流电磁感应技术,应用于极端恶劣环境下扭矩动态测量的非接触式传感器。针对环形空间阵列扭矩传感器的特点,设计和实现了控制和信号处理系统。着重对传感器的信号处理部分进行分析和研究,设计了相应的信号处理电路,采用数字移相技术提高信号相位差测量结果的精度,通过在FPGA芯片上配置NiosII软核处理器进行控制和数据运算处理。验证结果表明:系统结构简单,测量精度高,抑制噪声能
将模糊集的隶属度函数矩阵嵌入到二维主成分分析以及二维线性判别分析中,形成了一种基于模糊2DPLA的新方法。该方法首先通过基于模糊的KNN方法求出隶属度函数矩阵;然后将隶属度函数矩阵从图像矩阵的水平方向和垂直方向分别嵌入到二维主成分分析和二维线性判别分析中,从而更好地实现降维;最后采用基于矩阵的F-范数代替传统的基于向量的2-范数进行分类度量。实验阶段,采用Yale Face Database B,
《四库全书总目》于各类、目之下录书籍1万多种,每种书目都有《提要》一篇,被誉为“学问门径”,蜚声学林。《四库全书总目》由多人撰写,由于参与者水平参差不齐、编撰工作主
目前,AADL在任务关键和安全关键嵌入式领域有着良好的应用。如何在设计阶段对AADL模型进行仿真,并根据仿真结果迭代构造和精化设计模型,以尽早发现设计模型中存在的问题,保障
本文阐述PISA阅读评价标准的理论及意义,结合人教版英语五年级下册Unit 4“When is the art show?”这一课的教学,分享在深度学习理念指导下,根据PISA2000中使用的阅读素养评
为了快速检测出食品中有害物质的含量,设计了一种能够在现场检测、温度可控的便携式食品安全检测仪。采用分光光度法测量溶液浓度,DS18B20温度传感器和半导体加热制冷元件控制溶液反应的温度,由TSL230光频转换器进行数据采集,采集的数据经PIC16F877单片机处理,实现温度、浓度数字显示。实验表明:系统操作简单,能控制溶液反应的温度以适应不同的被测对象,能对亚硝酸钠和甲醛浓度进行测量,测量误差在1