【摘要】：除了四层结构，还有一系列支撑本体，包括航材服务资源、服务约束与航材服务属性。借助Pellet1.5.2插件对本体体系进行一致性检验和完整性检验，如图4-12和图4-13所示，证明这里所建立元模型中的概念是正确且没有冗余的。
这里选择Protégé3.4.8作为本体编辑工具，依据产品服务的本体元模型，把航材服务涉及的功能属性与流程属性保存为OWL语法形式的文档，如图4-11所示。整个类的层次结构为四个层次，顶层为航材服务业务层，由ServiceFunctionPackage组成；第二层为航材服务包，由一组服务功能模块（ServiceFunction）及功能端口（FunctionPort）组成；每个航材服务功能模块由服务流（ServiceFlow）实现，服务流包含了若干服务流程模块（ServiceProcess），并包含了流程接口本体（ProcessInterface）；最底层为服务元素层（ServiceElement）。除了四层结构，还有一系列支撑本体，包括航材服务资源（ServiceResource）、服务约束（ServiceConstraint）与航材服务属性（ServiceAttributes）。
借助Pellet1.5.2插件对本体体系进行一致性检验和完整性检验，如图4-12和图4-13所示，证明这里所建立元模型中的概念是正确且没有冗余的。
图4-11 航材服务类图
(www.xing528.com)
图4-12 本体一致性检验
图4-13 完整性检验
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
