以F-Logic为平台本体与规则的集成研究.pdfVIP

E摇建电脑 • UJ!AN COMPUTER 以 F-Logic 为平台本体与规则的集成研究 王军，张萍 (山东商业取业技术学院信息技术学院山东济南 250103) [摘要】:本文分析了本体与规则集成的重要性及其存在的问题，提出了一种以 F-Logic 为平台 本体与规则的集成方法。 [关键词]:本体;Horn 规则;描述逻辑;语义 1 引言 下面具体给出描述逻辑 SHOIN(D)中出现的构造 本体(Ontology) 是语义 Web 的关键部分，它是共 算子所对应的公理。 享概念形式化的、显式的描述，它使得程序之间以及 〉对于构造算子在F-Logic 中己包含此算子， 人们之间形成对共享概念的一致理解。本体层是目前 并且所表达的意义和描述逻辑 SHOIN(D)中的是一样 语义 Web 研究足够成熟的最高层次，目前己提出了 的。 OIL、 DAML+OIL 和 OWL 等语义 Web 本体语言，其中 〉对于构造算子门，表示(U ，一-U)上的 glb 构造算 OWL(包括 OWL Lite 、 OWLDL 和 OWL FuID 是 W3C 子。它可以被公理化如下: 推荐的语义 Web 本体语言标准。 01且L、 DAML+OI且L 和 (ω1υ) X:: 门(C ，…， Cιωn) ==八n飞工」t恒凶~l仅X::ιC巳Q】i) 旷 1 OWL 的语义都是基于描述逻辑。 (ω2到) X: 门(ιC，…飞.川飞 Cιωn) ==八n飞牛」1F时=斗1(仅X:q 1 但是描述逻辑在表达能力上有其局限性，具体表 〉对于构造算子U ，可以被公理化如下: 现在:(ω1υ) 对关系的表达。(ω2到)多元谓词的表达。(侣ω3劝)封闭 (侣ω3剖) X:: 并(C …..飞 CωJ 三 V飞工i=l♂仅. .ιC们 h 世界推理。(4) Modeling Exceptions。所以我们要实现本 (4) X: 井(C ; ， C ) == Vni~l(x:q; 1 n 体层与规则层的有机集成，以满足语义 Web 的发展的 〉对于构造算子丑，表示选择，它可以被公理化 需求。