敬事技术与真黑
TFDL 与 OWL转换研究
吕霞陈俊红魏翔
(云南国土资源职业学院信息技术学院云南昆明650217)
应用研究
摘要：基于时区间的模糊描述逻辑TFDL是在已有的模糊逻辑的基础上,加上对时间区间的刻函,构建新的描逐逐辑。本丈在语义Web的基础上给出TFDL与本体语言OWL的转换关系；并给出基于TFDL的天气预报示例。
关键词：时间区间OWLOWL构造器
中图分类号:TP311
文献标识码：A
文章编号:1007-9416(2014)08-0105-02
描述逻辑是一种基于对象知误的形式表示，它是一阶调词逻辑的可判定子集，用于描述及推理概念知识。它是对Web进行语义描述的OWL语言的逻辑基础,OWL(Web OntologyLanguage)是 W3C开发的一种网络本体语言，用于对本体进行语义描述。基于时间区间的模榭描述逐辑TFDL有其完整的语法，语义及知识库表示，
我们将讨论其与OWL的转换关系。 1Web本体语言OWL
1.1OWL的设计目标
根据W3C标准的研究草案[ZhouZhihong，2003],Web本体语言 OWL经历了许多版本，比如说2002年提出的OWLI"，2003年改进了 W3C OWL23,在2004年陆续提出的W3C OWL3*,W3C OWL4, W3C OWLs/,W3C OWL6/,W3C OWL7,W3C OWLg,它们都是为下面的目标面设计的：
(1)本体共享：Ontology中体现的是共同认可的知识，反映的是相关领域中公认的概念集5]，不同的Web资源允许被同一个本体共享。
(2)本体的互操作性：互操作说明本体建立了在不同的建模方法以实现不同系统之间集成。
(3)一致性检测：OWL对本体的描述是形式化的，形式化的表达使得自动的一致性检查成为可能，从面可以很好地提高系统的可靠性。
(4)平衡性：为了表达各种知识，OWL语言具有较强的表达能力，同时也提供非常有效的推理方法。
(5)大众化：OWL语言能够很好地支持不同语言描述的本体，并且还能够提供适合不同的文化层次的不同本体的观点。
1.2OWL语言
OWL由三个子语言OWLLite/OWLDL/OWLFull组成。表1OWL支持的构造器与TFDL相对应的语法和语义
构建器
Compkementof Intersection 30
loron AllValues From
SomeValuts
Prom Oneof
TFDL语达
CnD Q2 VR.C
ERC
TFDL语文
<[8,g][1 P,1a+g,]> <[mas(4g,,3.mins(A,-g)
[min(agu-,u),min(PurPya,)]>[(*mu(r)s)>
[m(ag/Cgu,)mas(Pe(e-Ppe)]> <[max,~/(e,-8,3,tmin,(,-0,)][min,/[max[14yca-@,n,]], mit, (max[1 P,u-/JHI> <[nas,(e,-,),min,~(9,-3,-)].[mx + (min(a,(-u]], xrr(mintPeanP,on131>
高高(高,,)
收移日期：2014-07-18
OWLLite用于执行简单任务，并且提供给用户一个功能性子集使他们在初次使用OWL时就能轻易上手。OWLDL提供令人满足的语言子集用以支持推理系统实现其计算性能OWLFULL适当放宽了对OWLDL的限制，目的是为了突出其某些特点使其对数据库及知识表示系统发挥作用。
OWL从定义上而言是类和属性方面来描述一个领域的结构，与其相类似的描述方法是面向对象。下面是OWL抽象语法，能用来解释本体结构
:=Ontolog,y(< directiwe >)) := Armotatiom( ref >)
:=Ammotation(lexioal_Jorm>) := Im ports()
= =:
2TFDL与OWL语言转换
跟DAML十OIL一样，OWL也是以描述逻辑作为基础。一个 OWL本体被看作为一个DL术语集3。
2.1TFDL与OWL构造器对映
前面提到过通过OWL提供的构造器能够较好的体现某种描述逻辑的表达能力。下面给出表1，该表总结了OWL支持的构造器与 TFDL相对应的语法和语义。
通过表1，可以看到：(1)ComplementOf，IntersectionOf和 UnionO这三个构造器是意义上的标准运算，它们是能够通过类的否定，类与类的交还有并来构造的，与TFDL语法中的一，，U是相对应的。(2)AllValuesFrom和SomeValuesFrom这两个构造器是通过属性R与类C中的实例相关，与TFDL语法中的VR.C和ER.C相对应，只是在TFDL语法中加以了时间属性和隶属度。(3)OneOf构造器是允许通过枚举类的成员来定义类,在这单与TFDL中实例组成的集合相对应。
2.2TFDL猫述OWL中部分公式
在OWL中，构造器的任意复杂嵌套都是可能的。另一个决定语言表达能力的因素是支持的各种公理。这些公理可以断言类或者属性间的包含关系或者相等关系，类之间的交，个体实例(资源)间的相等或不相等(6)。
本体语言OWL的重要特性就是SubClassOf和SameClassAs公理可以用于多类表达，在TFDL语法上SubClasOf表示为C三，D，例如 Bird(ral,(dove) , Animads,,(dove) , Same Class As表示为 C =, D , (例如 Oldership(s,(zs) =, Farher(;(zs) .DisjointWith, SamelndividualAs,DifferentFrom这些构造器在TFDL中均可表示。但 OWL还可以构造属性的唯一性，明确性，反属性，对称性，传递性。这些是TFDL表达不出来的，
作者简介：昌霞(1987一),女，汉,湖北仙桃人,研究生学历，理学硕士,云南国土资源职业学院讲师,研究方向：数理逻辑，计算机控制，
105