毕业论文

打赏
当前位置: 毕业论文 > 计算机论文 >

Web服务的WSML描述到代数规约的转换技术研究(5)

时间:2022-03-06 10:45来源:毕业论文
有很多特点都使得 WSML 从其他 Web 服务和语义 Web 服务的语言提案中脱颖而出,这 些主要的特点都归功于 WSML 的两大支柱,即(1)从 WSMO 中得出的为了本体

有很多特点都使得 WSML 从其他 Web 服务和语义 Web 服务的语言提案中脱颖而出,这 些主要的特点都归功于 WSML 的两大支柱,即(1)从 WSMO 中得出的为了本体、Web 服 务、目标和调解者的一个与语义无关的概念模型;(2)现有众所周知的逻辑语言范式重用[13]。

2。1。3WSML 语法组成

一方面,WSML 为不同的概念要素如本体、Web 服务、目标和中介器做出了一个清晰地 区分,另一方面,也规范了它们的逻辑定义。为此,WSML 语法被分成两个部分: 概念语法:从用户的角度开发,并且独立于特定的底层逻辑,它屏蔽特定底层逻辑的用户, 有这样一个概念的语法可以很容易地让语言通过,因为它让人们对不熟悉的逻辑语言有了直 观的理解;

逻辑表达式语法:如果需要底层逻辑的全部功能,则可以使用逻辑表达式语法。概念语法的 逻辑表达式有几个切入点,即本体的公理和目标及 Web 服务的功能描述。还有就是 WSML 的网页语法,不管是在关键字或者是结构方面,都是一种类似于人类可读语法的语法。来`自+优-尔^论:文,网www.youerw.com +QQ752018766-

2。1。4WSML 体系结构

图 2。1 表示了 WSML 不同变体和它们之间的关系,这些变体在逻辑表现和底层语言范式 方面有所不同,并且应该允许用户在基础应用程序的已提供表现力和隐含的复杂性之间做出 权衡,WSML 语言变体各部分解释如下:

WSML -Core:描述逻辑和 Hom Logic 在 Description Logic Programs 之上共同界定[14];

WSML -DL:WSML 的描述逻辑变体;

WSML -Flight:两个 LP-based 变体中最少表达的语言,F-Logic[15]的基于逻辑编程变体,在 语义上相当于带不等式和分层否定的数据库逻辑;

WSML -Rule:WSML -Flight 的延伸;

WSML -Full:WSML -DL 和 WSML -Rule 的统一。

Web服务的WSML描述到代数规约的转换技术研究(5):http://www.youerw.com/jisuanji/lunwen_90674.html
------分隔线----------------------------
推荐内容