牟向偉，陳　燕，曹　妍（大連海事大學(xué)交通運(yùn)輸管理學(xué)院，大連 116026）

?

農(nóng)產(chǎn)品冷鏈HACCP管理體系知識(shí)建模與推理

牟向偉，陳燕，曹妍
（大連海事大學(xué)交通運(yùn)輸管理學(xué)院，大連 116026）

摘要：為了保障冷鏈上農(nóng)產(chǎn)品的食用安全性和品質(zhì)以及高效可靠地冷鏈監(jiān)控管理。該文在冷鏈一般性業(yè)務(wù)流程與HACCP管理體系的基礎(chǔ)之上，提出一種基于描述邏輯SROIQ（D）的冷鏈HACCP知識(shí)語義模型CC-HACCP， 使用SWRL規(guī)則語言描述業(yè)務(wù)邏輯規(guī)則，增強(qiáng)了該模型的知識(shí)自動(dòng)推理能力。以生食牡蠣肉的冷鏈HACCP管理知識(shí)體系為例，使用OWL 2 DL語言對(duì)CC-HACCP描述的語義知識(shí)進(jìn)行實(shí)現(xiàn)，并且通過知識(shí)校驗(yàn)、實(shí)例識(shí)別與規(guī)則推理等功能，完善了整體冷鏈的HACCP計(jì)劃，試驗(yàn)結(jié)果表明，通過對(duì)HACCP冷鏈安全管理知識(shí)的建模與推理，冷鏈各環(huán)節(jié)之間進(jìn)行有效的完善和共享。因此，HACCP知識(shí)模型的應(yīng)用對(duì)多方參與的農(nóng)產(chǎn)品冷鏈HACCP安全監(jiān)控管理的整合和完善具有積極的意義，有助于提高農(nóng)產(chǎn)品冷鏈物流安全監(jiān)控管理的效率，從而保障農(nóng)產(chǎn)品食用安全性和品質(zhì)。

關(guān)鍵詞：農(nóng)產(chǎn)品；質(zhì)量控制；管理；冷鏈；本體；HACCP；知識(shí)建模；知識(shí)推理

牟向偉，陳燕，曹妍. 農(nóng)產(chǎn)品冷鏈HACCP管理體系知識(shí)建模與推理[J]. 農(nóng)業(yè)工程學(xué)報(bào)，2016，32（2）：300－308.

Mu Xiangwei， Chen Yan， Cao Yan. HACCP knowledge modeling and reasoning for agricultural products cold-chain logistics[J]. Transactions of the Chinese Society of Agricultural Engineering （Transactions of the CSAE）， 2016， 32（2）: 300－308. （in Chinese with English abstract）doi：10.11975/j.issn.1002-6819.2016.02.043http://www.tcsae.org

0　引　言

農(nóng)產(chǎn)品冷鏈?zhǔn)侵敢员ＷC易腐農(nóng)產(chǎn)品流通過程中的品質(zhì)和食用安全性為目的，通過相關(guān)措施使得農(nóng)產(chǎn)品加工到終端銷售的整個(gè)過程始終處在適當(dāng)?shù)牡蜏丨h(huán)境的特殊供應(yīng)鏈系統(tǒng)。隨著消費(fèi)者對(duì)農(nóng)產(chǎn)品質(zhì)量和安全性的要求越來越高，帶動(dòng)了冷鏈物流服務(wù)等相關(guān)產(chǎn)業(yè)的迅速發(fā)展。危害分析及關(guān)鍵控制點(diǎn)（hazard analysis critical control point，HACCP）作為國際上共同認(rèn)可和接受的農(nóng)產(chǎn)品安全保證體系，在全球范圍內(nèi)的農(nóng)產(chǎn)品行業(yè)管理中得到了廣泛的應(yīng)用[1-2]，并且也被成功應(yīng)用到冷鏈物流的各個(gè)業(yè)務(wù)環(huán)節(jié)中。

相關(guān)研究表明HACCP在冷鏈中的應(yīng)用不僅可以增強(qiáng)農(nóng)產(chǎn)品流通過程中的安全監(jiān)控管理效果，而且可以促進(jìn)新的冷鏈技術(shù)發(fā)展，如新的冷藏冷凍工具和保溫材料等技術(shù)，從而優(yōu)化冷藏運(yùn)輸效果，起到節(jié)約能源和減少污染的效果[3]，除此之外，HACCP作為國際標(biāo)準(zhǔn)，它在冷鏈各個(gè)環(huán)節(jié)的應(yīng)用也成為了促進(jìn)農(nóng)產(chǎn)品國際貿(mào)易的重要條件之一[4]。但是由于冷鏈物流投資巨大和建設(shè)周期長等原因，中小企業(yè)無力單獨(dú)建設(shè)自有的冷鏈物流體系，已經(jīng)有很多農(nóng)產(chǎn)品生產(chǎn)加工企業(yè)越來越傾向?qū)⒗滏溛锪鳂I(yè)務(wù)外包給第三方冷鏈服務(wù)商[5-7]，在采用第三方冷鏈服務(wù)的情況下，由于多方的監(jiān)控管理信息無法共享的問題已經(jīng)造成了冷鏈業(yè)務(wù)效率低下和“冷鏈斷鏈”等問題[8]，因此，冷鏈運(yùn)營管理過程中的首要問題是如何對(duì)相關(guān)信息進(jìn)行收集[9]和使用。尤其是HACCP相關(guān)信息，其對(duì)冷鏈安全性和可靠性的提高都有積極的作用[10-11]。更為重要的是HACCP的相關(guān)信息不僅能指導(dǎo)業(yè)務(wù)管理層面的具體操作，它還是冷鏈相關(guān)決策者在實(shí)踐操作中積累的經(jīng)驗(yàn)和知識(shí)的綜合，已有相關(guān)研究采用知識(shí)發(fā)現(xiàn)與數(shù)據(jù)挖掘的方法對(duì)HACCP相關(guān)信息中蘊(yùn)含的規(guī)律和知識(shí)進(jìn)行挖掘和分析，如陳紹彬，葉飛躍等[12]使用BIRCH算法對(duì)食品加工HACCP過程中的關(guān)鍵流程、過程控制方法的每一步進(jìn)行分析，并將數(shù)據(jù)自動(dòng)抽取分類。王開義等[13]提出了一種基于遺傳算法的支持向量機(jī)模型，實(shí)現(xiàn)了HACCP關(guān)鍵控制點(diǎn)的智能發(fā)現(xiàn)，該方法具有穩(wěn)定性和識(shí)別率高的特點(diǎn)。王開義等[14]又結(jié)合模糊算法、非模糊化方法以及故障樹分析方法對(duì)HACCP體系自動(dòng)化制定和變更進(jìn)行了探索和研究。在供應(yīng)鏈領(lǐng)域的知識(shí)管理方面的研究主要關(guān)注如何將語義網(wǎng)技術(shù)和本體工程相關(guān)方法應(yīng)用在供應(yīng)鏈的知識(shí)建模與管理中[15-17]，對(duì)于冷鏈和HACCP交叉領(lǐng)域知識(shí)建模的相關(guān)研究還比較少。

相關(guān)研究已經(jīng)表明HACCP對(duì)于農(nóng)產(chǎn)品冷鏈全程安全管理重要性，以及信息共享對(duì)提高冷鏈安全監(jiān)控管理效率的積極作用，但是對(duì)于HACCP中形成的知識(shí)如何進(jìn)行語義描述，在冷鏈上下游中各個(gè)主體和環(huán)節(jié)之間進(jìn)行理解和共享的相關(guān)研究還很少。本文嘗試建立一個(gè)冷鏈HACCP知識(shí)模型，用于在語義層面描述冷鏈各環(huán)節(jié)產(chǎn)生的HACCP知識(shí)與業(yè)務(wù)規(guī)則，其目的是使HACCP知識(shí)能夠在冷鏈各個(gè)環(huán)節(jié)中得到統(tǒng)一的表達(dá)和共享，幫助管理者完成多方冷鏈HACCP管理計(jì)劃的融合并使之正確實(shí)施。

1　冷鏈HACCP知識(shí)建模需求

1.1HACCP管理體系

HACCP體系中主要由危害分析（hazard analysis，HA）和關(guān)鍵控制點(diǎn)（critical control point，CCP）兩部分組成。其核心思想是對(duì)原料、生產(chǎn)工序和影響產(chǎn)品安全的人為因素進(jìn)行分析，確定關(guān)鍵流程，建立、完善監(jiān)控程序和監(jiān)控標(biāo)準(zhǔn)，采取規(guī)范的糾正措施。其目的就是將可能發(fā)生的農(nóng)產(chǎn)品安全危害消除在整個(gè)冷鏈過程中，而不是靠事后檢驗(yàn)來保證農(nóng)產(chǎn)品的安全性。它由以下7個(gè)基本要素組成[18]：

1）危害分析（HA），分析農(nóng)產(chǎn)品或食品冷鏈流通過程各階段有關(guān)的潛在危害性。

2）確定關(guān)鍵控制點(diǎn)（CCP），找到可以通過控制使?jié)撛谖：Φ靡苑乐?、排除或風(fēng)險(xiǎn)降低的業(yè)務(wù)活動(dòng)或方法。

3）確定關(guān)鍵限值（CL），每個(gè)CCP 確定相關(guān)指標(biāo)，以及指標(biāo)的標(biāo)準(zhǔn)值，用于確保每個(gè)CCP 限值在安全值以內(nèi)。

4）建立CCP監(jiān)控程序。

5）建立和采取有效的糾偏措施。

6）建立審核驗(yàn)證程序，包括計(jì)劃的確認(rèn)、CCP驗(yàn)證活動(dòng)和HACCP系統(tǒng)的驗(yàn)證等，以驗(yàn)證HACCP體系及有關(guān)結(jié)果是否達(dá)到預(yù)期效果。

7）建立有效的記錄保存程序，為后續(xù)的改進(jìn)和控制提供依據(jù)和證據(jù)。

1.2冷鏈HACCP知識(shí)管理的特點(diǎn)與主要問題

農(nóng)產(chǎn)品冷鏈?zhǔn)且环N特殊的供應(yīng)鏈體系，與普通供應(yīng)鏈相比有一定的相似性[19]，但是冷鏈對(duì)加工方法、物流工藝、運(yùn)輸條件溫度、濕度、儲(chǔ)存期等要求與常溫物流相比更加嚴(yán)格，對(duì)常溫物流增加冷鏈相關(guān)要求后也可以表達(dá)為：冷藏加工、冷藏儲(chǔ)藏、冷藏運(yùn)輸配送、冷藏銷售4個(gè)環(huán)節(jié)[20]。還可以具體細(xì)化為：原產(chǎn)地低溫預(yù)冷處理、冷藏車運(yùn)輸、低溫環(huán)境下生產(chǎn)加工、冷藏車運(yùn)輸、銷售地低溫物流中心分揀/儲(chǔ)存/配送、銷售終端冷藏銷售[21]等環(huán)節(jié)。HACCP作為成熟的和廣為應(yīng)用的農(nóng)產(chǎn)品安全監(jiān)控和保障標(biāo)準(zhǔn)，其概念框架已基本成型，但是如何保證在多環(huán)節(jié)、多主體和多客體組成的農(nóng)產(chǎn)品冷鏈HACCP監(jiān)控管理的完整性，以提高業(yè)務(wù)效率并避免冷鏈“斷鏈”的現(xiàn)象發(fā)生，已經(jīng)成為近年來農(nóng)產(chǎn)品冷鏈HACCP知識(shí)管理面臨的主要問題。

1）不同的冷鏈業(yè)務(wù)環(huán)節(jié)中具有不同的HACCP管理要求。在眾多的農(nóng)產(chǎn)品冷鏈環(huán)節(jié)中，對(duì)于HACCP管理的要求有共同的部分，如在預(yù)冷、加工、儲(chǔ)藏、運(yùn)輸和銷售等環(huán)節(jié)中的關(guān)鍵限值都會(huì)出現(xiàn)對(duì)于“溫度的控制”要求。但是幾乎每一環(huán)節(jié)都有自己獨(dú)有的HACCP管理要求，如，運(yùn)輸環(huán)節(jié)中的關(guān)鍵限值往往會(huì)有“不能與非食品級(jí)貨物混裝運(yùn)輸”的要求。因此，在多環(huán)節(jié)中的HACCP知識(shí)抽象過程除了要考慮對(duì)共同要求的概括，也要考慮環(huán)節(jié)特有要求進(jìn)行抽象。

2）冷鏈HACCP管理主體眾多，HACCP管理體系不統(tǒng)一。由于冷鏈環(huán)節(jié)眾多，以及第三方/第四方冷鏈服務(wù)外包業(yè)務(wù)的蓬勃發(fā)展，造成了原料供應(yīng)商、生產(chǎn)加工商、冷鏈運(yùn)輸服務(wù)商、冷鏈儲(chǔ)藏（第三方冷庫）、批發(fā)方和零售方等多主體共同參與農(nóng)產(chǎn)品冷鏈運(yùn)營管理的現(xiàn)象，冷鏈HACCP管理的各個(gè)主體以及管理規(guī)則的制定者主要關(guān)注自己負(fù)責(zé)的冷鏈環(huán)節(jié)，造成每個(gè)環(huán)節(jié)之間的HACCP管理體系的不一致，形成了“知識(shí)孤島”，不利于整體冷鏈HACCP管理體系的形成。

3）不同類型的農(nóng)產(chǎn)品冷鏈工藝要求不同，實(shí)施過程靈活多變。農(nóng)產(chǎn)品冷鏈的主要物流對(duì)象為易腐的或鮮活的高價(jià)值農(nóng)產(chǎn)品，不同種類農(nóng)產(chǎn)品在不同環(huán)節(jié)的工藝要求是不同的。以最常見的溫度關(guān)鍵限值為例，冷凍水產(chǎn)品需要在?23～?30℃進(jìn)行流通，而金槍魚肉糜和速凍食品需要在?30～?50℃[22]下進(jìn)行流通，因此冷鏈HACCP的實(shí)際操作要根據(jù)具體的農(nóng)產(chǎn)品類型進(jìn)行實(shí)施。

通過以上對(duì)冷鏈HACCP知識(shí)管理主要問題的分析，可以總結(jié)出農(nóng)產(chǎn)品冷鏈HACCP知識(shí)具有以下2個(gè)主要特點(diǎn)：1）HACCP知識(shí)分散于冷鏈各個(gè)環(huán)節(jié)中，被不同冷鏈主體掌握，且各個(gè)環(huán)節(jié)和主體所擁有的HACCP知識(shí)對(duì)于整個(gè)冷鏈而言是不完整的。2）各個(gè)環(huán)節(jié)間的HACCP知識(shí)既有共同的部分，也具有明顯的差異。

1.3冷鏈HACCP知識(shí)建模需求

通過對(duì)以上問題和特點(diǎn)的分析與總結(jié)，冷鏈HACCP知識(shí)管理的主要需求是對(duì)分散在冷鏈各個(gè)環(huán)節(jié)的、不完整的、不兼容的HACCP知識(shí)建立統(tǒng)一標(biāo)準(zhǔn)的形式化描述與表達(dá)方式，促進(jìn)已有的HACCP經(jīng)驗(yàn)和知識(shí)在整個(gè)冷鏈的上下游中進(jìn)行共享，輔助各個(gè)環(huán)節(jié)與主體間對(duì)HACCP知識(shí)進(jìn)行自動(dòng)化的學(xué)習(xí)，從而完善自身的HACCP管理，進(jìn)一步形成冷鏈整體的HACCP管理體系。

另外，由于冷鏈HACCP知識(shí)體系較為復(fù)雜，需要科學(xué)合理的知識(shí)建模方法對(duì)建模過程進(jìn)行指導(dǎo)。建立的模型還需要具有較好的適應(yīng)性與擴(kuò)展性，以適應(yīng)靈活多變的冷鏈管理業(yè)務(wù)場景。

圖1　CC-HACCP建模方法流程圖Fig.1　Modeling method process of CC-HACCP

為了滿足以上需求，本文提出冷鏈HACCP知識(shí)模型（CC-HACCP），該模型包括對(duì)語義知識(shí)形式化描述的語義模型、對(duì)知識(shí)進(jìn)行標(biāo)準(zhǔn)化表達(dá)的本體模型以及根據(jù)規(guī)則和約束等語義知識(shí)進(jìn)行推理的推理模型。CC-HACCP模型的建模方法流程如圖1所示。

2　冷鏈HACCP知識(shí)語義模型

為了滿足以上需求，首先需要解決HACCP知識(shí)語義的統(tǒng)一表達(dá)問題，因此，需要建立一種適應(yīng)冷鏈業(yè)務(wù)管理實(shí)際需要并能夠快速被信息化手段實(shí)現(xiàn)的語義知識(shí)形式化描述方法。由于描述邏輯具有在語義、可判定性以及面向?qū)ο蟮姆诸惐硎镜确矫娴膬?yōu)點(diǎn)，所以很多知識(shí)描述系統(tǒng)建立在描述邏輯及其子語言的基礎(chǔ)上。冷鏈HACCP管理的相關(guān)知識(shí)中存在大量的概念層次、關(guān)系層次，關(guān)系傳遞，逆關(guān)系、數(shù)值約束與具體數(shù)據(jù)類型等語義元素，所以僅僅使用基本的描述邏輯子語言，如ALC等，無法進(jìn)行充分的知識(shí)表達(dá)[23]，因此本文使用描述邏輯子語言SROIQ（D）[24]對(duì)冷鏈HACCP知識(shí)進(jìn)行語義建模。

SROIQ（D）不僅是一種可判定的知識(shí)語義描述語言，能夠充分表達(dá)冷鏈HACCP知識(shí)的語義現(xiàn)象，而且它還是最新版本語義網(wǎng)本體語言O(shè)WL2[25]的語義基礎(chǔ)，使用它對(duì)冷鏈HACCP知識(shí)進(jìn)行建模后，可以方便地轉(zhuǎn)換為使用OWL2語言表達(dá)的語義網(wǎng)本體，并應(yīng)用在冷鏈上下游不同環(huán)節(jié)的信息化系統(tǒng)中。

2.1描述邏輯SROIQ（D）

SROIQ（D）是描述邏輯（description logic）的子語言，其構(gòu)造符語法集如表1所示。定義I為對(duì)具體領(lǐng)域D的一個(gè)解釋，I＝（ΔI，·I），其中

表1　SROIQ（D）構(gòu)造符語法表Table 1　Axioms symbol of SROIQ（D）

ΔI為解釋領(lǐng)域的一個(gè)非空集合，·I為解釋功能，為概念和關(guān)系分配解釋領(lǐng)域內(nèi)的集合。#X表示集合X的基數(shù)。則對(duì)以上構(gòu)造符的語義解釋為：

2.2基于SROIQ（D）的冷鏈HACCP知識(shí)語義模型

定義冷鏈HACCP知識(shí)語義模型（CC-HACCP）為四元組：

其中TBox為概念與概念包含公理的有限集，而RBox是關(guān)系特征與關(guān)系包含公理的有限集，ABox是關(guān)于實(shí)例以及實(shí)例關(guān)系聲明的有限集，Ru是使用SWRL進(jìn)行描述的關(guān)聯(lián)式規(guī)則的有限集。

1）CC-HACCP的概念集

CC-HACCP的基本概念集合C包含了危害分析和關(guān)鍵控制點(diǎn)概念HACCP，冷鏈主體概念CC_Role，冷鏈貨物概念CC_Cɑrgo和冷鏈業(yè)務(wù)流程概念CC_Step，相關(guān)冷鏈HACCP知識(shí)描述如下：

危害分析和關(guān)鍵控制點(diǎn)概念HACCP。根據(jù)危害分析和關(guān)鍵控制點(diǎn)體系中的相關(guān)知識(shí)可以得出概念HACCP是由關(guān)鍵控制點(diǎn)CCP、危害分析HA、控制措施CM、關(guān)鍵限值CL、糾偏措施CA、驗(yàn)證VE、記錄RE等概念組成。根據(jù)HACCP的相關(guān)原理[18]和冷鏈實(shí)際業(yè)務(wù)的相關(guān)知識(shí)，關(guān)鍵限值（CL）通常采用溫度、時(shí)間、濕度、檢驗(yàn)檢測指標(biāo)以及感官參數(shù)（如外觀和組織形態(tài)）等。CC_Role為冷鏈主體概念，根據(jù)冷鏈的業(yè)務(wù)過程分析，本文將冷鏈過程中主體可以分為如下角色:原材料供應(yīng)方Rɑw_Mɑteriɑl_Supplier、生產(chǎn)加工方Producer、物流方Logistics_Service_Provider、批發(fā)方Wholesɑler和零售方Retɑiler。CC_Cɑrgo為農(nóng)產(chǎn)品貨物類型概念，可以按照儲(chǔ)存溫度范圍進(jìn)行區(qū)分，初步地劃分為冷凍貨物（Frozen_Cɑrgo）和冷藏貨物（Refrigerɑted_Cɑrgo）2種類型。其中冷凍類型貨物要求在?18℃以下貯藏、運(yùn)輸、批發(fā)、配送、銷售。而冷藏類型的貨物要求在7℃以下。CC_Step是對(duì)冷鏈業(yè)務(wù)流程中具體步驟的抽象，CC_Step概念的實(shí)例都由CC_Role的實(shí)例負(fù)責(zé)實(shí)施和操作。CC_Proof為監(jiān)測信息載體，是用于檢測是否滿足關(guān)鍵限值的重要證據(jù)，其實(shí)例可以是：貨物外觀和包裝密封性等貨物狀態(tài)、檢驗(yàn)檢疫證明或非疫區(qū)證明等官方證明材料、貨物裝卸記錄和貨物出入庫臺(tái)賬等業(yè)務(wù)操作記錄、倉儲(chǔ)和運(yùn)輸環(huán)境中的溫度記錄以及HACPP體系所產(chǎn)生的相關(guān)記錄（RE）。另外，根據(jù)HACCP管理體系中規(guī)定，對(duì)每個(gè)關(guān)鍵控制點(diǎn)，必須規(guī)定關(guān)鍵限值，監(jiān)控措施需要對(duì)與關(guān)鍵控制點(diǎn)相關(guān)的關(guān)鍵限值有計(jì)劃地測量或觀察，并對(duì)監(jiān)控過程形成記錄文檔。

根據(jù)以上知識(shí)，TBox中的主要語義知識(shí)描述為：

TBox＝{HACCP,CC_Role,CC_Cɑrgo,CC_Step,CC_Proof}

HACCP?CCP∪HA∪CM∪CL∪CA∪VE∪RE

CL?CL_Cɑrgo∪CL_Documents∪CL_Temperɑrure∪CL_time∪CL_Index

2）CC-HACCP的關(guān)系集

RBox中的關(guān)系主要分為對(duì)象關(guān)系和有型關(guān)系2種。對(duì)象關(guān)系的其作用域與值域都是集合TBox中的概念，CC-HACCP中的部分對(duì)象屬性如表2所示。

表2　CC-HACCP部分對(duì)象關(guān)系Table 2　CC-HACCP object properties

有型關(guān)系描述概念與數(shù)據(jù)類型之間的關(guān)系，其作用域?yàn)楦拍?，值域?yàn)橄嚓P(guān)數(shù)據(jù)類型，包括：integer， any， string，float， boolean， symbol， xml scheme datatype等。CC-HACCP的部分?jǐn)?shù)據(jù)屬性如表3所示。

表3　CC-HACCP部分有型關(guān)系Table 3　CC-HACCP data properties

其中，對(duì)象屬性next_step描述了冷鏈業(yè)務(wù)步驟時(shí)間上的前后邏輯關(guān)系，具有傳遞性，因此為對(duì)象屬性next_step增加傳遞性特征。monitor_CL增加逆屬性monitiored_by用于描述關(guān)鍵限值（CL）被監(jiān)控措施（CM）進(jìn)行監(jiān)控，同樣的，還可以為is_chɑrged_by，cɑuse_by等增加逆屬性。

根據(jù)以上知識(shí)，RBox中的主要語義知識(shí)描述為

3）CC-HACCP關(guān)聯(lián)式規(guī)則集

CC-HACCP借助于SROIQ（D）的語義具有一定的推理能力，但是不能夠表示因果關(guān)聯(lián)式的規(guī)則（If..Then）、事件流程以及數(shù)據(jù)統(tǒng)計(jì)型的查詢推理。本文采用SWRL（semantic web rule language）為CC-HACCP增加規(guī)則語義描述[26]。SWRL規(guī)則的一般形式為“前件→后件”，其中前件和后件都由語義元atoms構(gòu)成，語法形式為“atom1， atom2， …， atom3”。如果語義元atoms為某種變量，則其格式為“？x”，CC-HACCP模型中的部分規(guī)則如下：

Rule-1：如果冷鏈中某步驟實(shí)例step實(shí)施了某項(xiàng)監(jiān)控措施cm,且cm產(chǎn)生記錄re，且re可以用來檢驗(yàn)?zāi)酬P(guān)鍵限值cl，則re是監(jiān)控對(duì)象信息載體概念CC_Proof的一個(gè)實(shí)例，且在實(shí)例step產(chǎn)生。該規(guī)則描述如下：

實(shí)際上re是概念CC_Proof實(shí)例的推斷并不是由該規(guī)則直接推理得到，而是由于規(guī)則后件所使用的對(duì)象關(guān)系step_generɑte_proof的值域是CC_Proof，因此推斷re是概念CC_Proof的一個(gè)實(shí)例。

Rule-2：如果冷鏈中某環(huán)節(jié)實(shí)例step1實(shí)施了某項(xiàng)監(jiān)控措施cm，并且cm所監(jiān)控的關(guān)鍵限值cl由監(jiān)控對(duì)象信息載體實(shí)例proof進(jìn)行記錄和證明，而且產(chǎn)生proof的冷鏈環(huán)節(jié)實(shí)例step1與step2是不相同的步驟，而且在冷鏈業(yè)務(wù)流程中，step2是step1之后的業(yè)務(wù)步驟，則step1需要提交在本步驟產(chǎn)生的proof供后續(xù)業(yè)務(wù)步驟驗(yàn)證本步驟冷鏈危害監(jiān)控效果。該規(guī)則描述如下：

由于對(duì)象關(guān)系next_step的傳遞性，在冷鏈業(yè)務(wù)流程中，即使step1執(zhí)行若干步驟之后才開始step2，next_step（？step1， ？step2）也是成立的。

Rule-3：如果有冷鏈步驟step1、step2和step3，而且step2是介于step1與step3之間的中間的任一步驟，則step3需要將監(jiān)控信息載體proof向下一步傳遞。該規(guī)則描述如下：

以上為CC-HACCP中針對(duì)監(jiān)控信息載體相關(guān)業(yè)務(wù)的部分推理規(guī)則，其主要作用是促使冷鏈業(yè)務(wù)環(huán)節(jié)之間對(duì)各自建立的HACCP中在傳遞監(jiān)控信息的相關(guān)業(yè)務(wù)管理中達(dá)成一致。

4）CC-HACCP實(shí)例集

前文使用SROIQ（D）語言對(duì)CC-HACCP中的TBox,RBox和Ru等語義知識(shí)進(jìn)行了形式化描述，但是ABox的描述還需要結(jié)合具體應(yīng)用領(lǐng)域中的實(shí)例，其語法定義方式為：

CC_Step（trɑnsportɑtion）;

CC_Step（cɑrgo_ɑcceptɑnce）;

next_step（trɑnsportɑtion，cɑrgo_ɑcceptɑnce）;

以上實(shí)例聲明的含義為運(yùn)輸“trɑnsportɑtion”和貨物驗(yàn)收“cɑrgo_ɑcceptɑnce”是冷鏈步驟CC_STEP的實(shí)例，且運(yùn)輸?shù)南乱粋€(gè)冷鏈步驟為貨物驗(yàn)收。

2.3CC-HACCP的應(yīng)用

CC-HACCP在冷鏈中的應(yīng)用需要根據(jù)具體應(yīng)用場景以及信息化條件采用不同的實(shí)現(xiàn)技術(shù)，如可以通過面向?qū)ο蟮挠?jì)算機(jī)程序語言開發(fā)相關(guān)軟件，或者通過基于描述邏輯的建模軟件進(jìn)行模型的實(shí)現(xiàn)，也可以通過語義網(wǎng)本體技術(shù)建立基于CC-HACCP的本體。

其中，語義網(wǎng)本體語言是一種被廣泛采用的知識(shí)建模語言，其最新版本OWL 2與SROIQ（D）在語義層面是等價(jià)的[27]，使用OWL2建立的知識(shí)本體更容易被計(jì)算機(jī)應(yīng)用實(shí)現(xiàn)、處理和共享[28]。本文在應(yīng)用案例分析中使用語義網(wǎng)本體語言O(shè)WL2 DL建立基于CC-HACCP語義模型的本體并應(yīng)用在具體的HACCP管理業(yè)務(wù)場景中。

3　應(yīng)用案例分析與試驗(yàn)

應(yīng)用案例試驗(yàn)以生食牡蠣肉產(chǎn)品的冷鏈HACCP的相關(guān)業(yè)務(wù)為例進(jìn)行分析，通過protégé知識(shí)建模工具，使用OWL2語言建立基于CC-HACCP語義模型的本體模型，最后采用推理機(jī)HermiT（版本1.3.8）進(jìn)行推理，使用語義與規(guī)則推理進(jìn)行一致性檢驗(yàn)，并產(chǎn)生新的語義知識(shí)。

3.1生食牡蠣肉產(chǎn)品冷鏈HACCP業(yè)務(wù)分析

結(jié)合生食牡蠣肉產(chǎn)品冷鏈的實(shí)際業(yè)務(wù)流程并參考相關(guān)標(biāo)準(zhǔn)[29-30]，得到其主要業(yè)務(wù)環(huán)節(jié)包括：活牡蠣捕撈、活牡蠣冷藏運(yùn)輸、原料接收和生產(chǎn)加工等冷鏈業(yè)務(wù)過程。假設(shè)活牡蠣冷鏈運(yùn)輸環(huán)節(jié)并沒有建立相應(yīng)的HACCP體系，只有生產(chǎn)加工商獨(dú)自建立了冷鏈HACCP監(jiān)控計(jì)劃。其中，生產(chǎn)加工商負(fù)責(zé)的冷鏈環(huán)節(jié)包括原材料驗(yàn)收，鮮活牡蠣干法冷藏，鮮活牡蠣加工，生食牡蠣肉冷藏存儲(chǔ)等冷鏈環(huán)節(jié)，以原材料驗(yàn)收環(huán)節(jié)為例，其HACCP計(jì)劃如表4所示。

由表4所示在原料驗(yàn)收環(huán)節(jié)，監(jiān)控措施要監(jiān)控的對(duì)象或監(jiān)控信息載體（CC_Proof）包括：“捕撈作業(yè)許可”、“捕撈時(shí)間標(biāo)示”、“運(yùn)輸過程時(shí)間與溫度記錄”、“貨物運(yùn)輸清單”。這4種監(jiān)控信息載體均不是在原料驗(yàn)收環(huán)節(jié)產(chǎn)生，其中“捕撈作業(yè)許可”和“捕撈時(shí)間標(biāo)示”應(yīng)該由活牡蠣捕撈環(huán)節(jié)提供，而“運(yùn)輸過程時(shí)間與溫度記錄”和“貨物運(yùn)輸清單”應(yīng)該由冷鏈運(yùn)輸環(huán)節(jié)產(chǎn)生提供。

表4　原料驗(yàn)收環(huán)節(jié)HACCP計(jì)劃表Table 4　HACCP schedule of raw materials acceptance

在HACCP體系形成的初始階段，冷鏈運(yùn)輸環(huán)節(jié)可能根據(jù)自身情況建立過一般性的HACCP計(jì)劃，比如“活牡蠣運(yùn)輸”環(huán)節(jié)對(duì)“運(yùn)輸過程的時(shí)間和溫度”已按照HACCP標(biāo)準(zhǔn)進(jìn)行監(jiān)控。但是針對(duì)上下游環(huán)節(jié)中的特殊要求無法全面考慮，如本例中，“活牡蠣運(yùn)輸”環(huán)節(jié)無法得知要在原料驗(yàn)收環(huán)節(jié)需要提交和轉(zhuǎn)交哪些監(jiān)控信息載體，這2個(gè)環(huán)節(jié)的交接過程存在監(jiān)控信息“斷鏈”的現(xiàn)象。

3.2基于CC-HACCP的本體模型實(shí)現(xiàn)

由于SROIQ（D）與OWL 2 DL在語義層面是等價(jià)的，因此可以直接使用OWL對(duì)CC-HACCP模型進(jìn)行重寫，使其便于進(jìn)行計(jì)算機(jī)實(shí)現(xiàn)。以CCP概念及其相關(guān)約束為例，使用OWL 2 DL語言的構(gòu)建形式如下所示（部分）。

3.3CC-HACCP知識(shí)推理試驗(yàn)

推理試驗(yàn)根據(jù)CC-HACCP的概念、關(guān)系、實(shí)例和規(guī)則，使用推理機(jī)HermiT實(shí)現(xiàn)了概念的一致性檢驗(yàn)、概念-實(shí)例的自動(dòng)識(shí)別以及基于規(guī)則的推理，本文以CC_Step的實(shí)例“鮮活牡蠣運(yùn)輸環(huán)節(jié)”為例，對(duì)其推理過程進(jìn)行分析。如圖2所示，該推理過程主要展現(xiàn)了2方面的推理過程：1）概念-實(shí)例自動(dòng)識(shí)別分類，實(shí)現(xiàn)實(shí)例的自動(dòng)分類和概念從屬關(guān)系的自動(dòng)識(shí)別；2）基于規(guī)則的推理，如基于前文介紹的推理規(guī)則，可以發(fā)現(xiàn)CC_Step實(shí)例與CC_Proof之間的多種新的實(shí)例關(guān)系。

圖2　實(shí)例“活牡蠣運(yùn)輸”相關(guān)推理過程示意圖Fig.2　Schematic diagram of reasoning process of “step_of_live_oyster_transportation”

圖2中的形式化語義描述方式使用了OWL2的Functional-Style語法格式[31]，圖中出現(xiàn)的語義描述符與SROIQ（D）的對(duì)應(yīng)知識(shí)語義描述如表5所示。定義x,y為任意實(shí)例，C為任意概念，p為任意屬性（角色）。

表5　OWL2與SROIQ（D）語義描述對(duì)應(yīng)關(guān)系表Table 5　OWL2 and SROIQ （D） syntaxes corresponding relations

3.4試驗(yàn)結(jié)果分析

以冷鏈步驟“活牡蠣運(yùn)輸”實(shí)例為例，推理前后對(duì)比效果如圖3所示。推理結(jié)果的作用主要體現(xiàn)在以下3個(gè)方面：1）冷鏈環(huán)節(jié)“活牡蠣運(yùn)輸”不再僅僅是冷鏈中的一個(gè)普通業(yè)務(wù)步驟（CC_STEP），而是在冷鏈中具有安全風(fēng)險(xiǎn)的業(yè)務(wù)步驟（Risk_Step），同時(shí)因?yàn)榉舷嚓P(guān)語義約束，因此也被認(rèn)定為關(guān)鍵控制點(diǎn)（CCP）。2）通過推理結(jié)果中的新增實(shí)例關(guān)系，可以得到以下語義信息：“活牡蠣運(yùn)輸”環(huán)節(jié)不僅需要在本步驟產(chǎn)生“運(yùn)輸過程時(shí)間與溫度記錄”（record_of_live_oyster_ transportation_monitoring）和“貨物運(yùn)輸清單”（transportation_cargo_list），并且要提交給下一個(gè)冷鏈環(huán)節(jié)“原料驗(yàn)收”（step_of_ live_oysters_checkup_and_ acceptance）。另外需要向之前的冷鏈步驟索取“捕撈作業(yè)許可”（fishing_licence）、“捕撈時(shí)間標(biāo)示”（fishing_time_identification）2個(gè)監(jiān)控信息載體并提交給下一個(gè)冷鏈環(huán)節(jié)進(jìn)行交接。新增的實(shí)例關(guān)系滿足了在3.1節(jié)中所描述的冷鏈環(huán)節(jié)“原材料驗(yàn)收”和“活牡蠣運(yùn)輸”2個(gè)環(huán)節(jié)交接過程的監(jiān)控信息傳遞的相關(guān)業(yè)務(wù)需求。3）根據(jù)對(duì)象關(guān)系next_step的傳遞屬性，“活牡蠣運(yùn)輸”環(huán)節(jié)新增了“干法冷藏”，“鮮活牡蠣加工”等后續(xù)業(yè)務(wù)環(huán)節(jié)，后續(xù)業(yè)務(wù)環(huán)節(jié)的識(shí)別可以實(shí)現(xiàn)新的推理結(jié)果的出現(xiàn)，實(shí)現(xiàn)冷鏈各個(gè)環(huán)節(jié)間HACCP知識(shí)的交互和共享，其他環(huán)節(jié)的推理結(jié)果與“活牡蠣運(yùn)輸環(huán)節(jié)類似”本文不再累述。

圖3　“活牡蠣運(yùn)輸”環(huán)節(jié)實(shí)例推理前后對(duì)比圖Fig.3　Comparison of reasoning before and after about the “step_of_live_oyster_transportation”

該試驗(yàn)結(jié)果說明冷鏈HACCP知識(shí)模型CC-HACCP能夠在實(shí)際的業(yè)務(wù)中用于指導(dǎo)HACCP的業(yè)務(wù)管理體系的建立，通過相關(guān)知識(shí)和經(jīng)驗(yàn)在冷鏈的上下游之間的共享與交互，自動(dòng)識(shí)別冷鏈業(yè)務(wù)中的HACCP管理知識(shí)要素，防止HACCP管理計(jì)劃出現(xiàn)缺陷和遺漏，降低冷鏈斷鏈風(fēng)險(xiǎn)，輔助管理者實(shí)現(xiàn)冷鏈HACCP管理體系整體的融合與完善。

3.5冷鏈HACCP知識(shí)學(xué)習(xí)與建模方法比較分析

針對(duì)冷鏈HACCP知識(shí)學(xué)習(xí)與建模的研究方向主要分為兩類，一個(gè)方向是采用機(jī)器學(xué)習(xí)或智能算法模型對(duì)HACCP中的某些知識(shí)進(jìn)行智能發(fā)現(xiàn)、識(shí)別與分類，其使用的算法模型也可以看做是一種知識(shí)模型。如基于BIRCH算法的食品HACCP分類[12]，基于改進(jìn)支持向量機(jī)模型的HACCP關(guān)鍵控制點(diǎn)智能發(fā)現(xiàn)方法[13]等都屬于此類方法。此類方法對(duì)于冷鏈HACCP中的某些可量化知識(shí)建立模型進(jìn)行智能學(xué)習(xí)和計(jì)算，從而發(fā)現(xiàn)新的知識(shí)和規(guī)律，但是無法對(duì)冷鏈HACCP存在的大量定性知識(shí)、約束和條件進(jìn)行充分地利用。

另一類是采用知識(shí)語義建模方法，對(duì)HACCP知識(shí)進(jìn)行形式化描述，利用語義約束和業(yè)務(wù)規(guī)則邏輯進(jìn)行知識(shí)推理，自動(dòng)產(chǎn)生新的知識(shí)。此類方法可以對(duì)知識(shí)和人類經(jīng)驗(yàn)進(jìn)行形式化描述，并通過模擬人的邏輯思維與推理過程，產(chǎn)生在原有知識(shí)體系中沒有的知識(shí)。除了本文提出CC-HACCP模型，相似的研究為朱麟等[32]提出的基于本體的HACCP知識(shí)體系模型onto-HACCP，該模型創(chuàng)新之處在于提出使用本體語言對(duì)HACCP體系知識(shí)進(jìn)行了形式化描述，但是并沒有考慮HACCP知識(shí)如何在冷鏈上下游各個(gè)環(huán)節(jié)中共享，也未考慮利用約束與規(guī)則進(jìn)行知識(shí)推理，因此知識(shí)發(fā)現(xiàn)能力有限。

表6中對(duì)幾種冷鏈HACCP知識(shí)學(xué)習(xí)與建模方法從HACCP知識(shí)語義描述能力、跨冷鏈業(yè)務(wù)環(huán)節(jié)知識(shí)共享能力、知識(shí)語義推理能力和知識(shí)發(fā)現(xiàn)能力4個(gè)方面進(jìn)行了對(duì)比。知識(shí)語義描述能力表示對(duì)知識(shí)的結(jié)構(gòu)，約束與邏輯規(guī)則能否在嚴(yán)謹(jǐn)?shù)恼Z義層面進(jìn)行充分的形式化表達(dá)；知識(shí)共享能力表示知識(shí)的形式化表達(dá)是否可以通過統(tǒng)一的標(biāo)準(zhǔn)化形式在冷鏈上下游進(jìn)行共享。知識(shí)語義推理能力表示是否能夠通過知識(shí)的語義描述利用邏輯關(guān)系與規(guī)則推導(dǎo)出新的知識(shí)與規(guī)律。知識(shí)發(fā)現(xiàn)能力表示能否在已有的信息中挖掘與發(fā)現(xiàn)未經(jīng)描述的知識(shí)。

4　結(jié)論與討論

本文提出的基于描述邏輯SROIQ（D）的冷鏈HACCP知識(shí)模型CC-HACCP，能夠使冷鏈整體HACCP管理體系得到一定程度的完善，HACCP知識(shí)可以在彼此獨(dú)立的環(huán)節(jié)與主體進(jìn)行有效的共享，冷鏈“斷鏈”的風(fēng)險(xiǎn)得到了降低?；赟ROIQ（D）的CC-HACCP模型能夠被知識(shí)管理專家和業(yè)務(wù)管理者使用，進(jìn)行冷鏈HACCP知識(shí)建模和業(yè)務(wù)管理的工作，也能夠轉(zhuǎn)化為語義網(wǎng)本體模型而適應(yīng)不同的信息化應(yīng)用。已有的研究主要側(cè)重在HACCP中的知識(shí)發(fā)現(xiàn)方法，而本文的研究內(nèi)容則重點(diǎn)關(guān)注冷鏈與HACCP交叉領(lǐng)域中的語義知識(shí)描述與表達(dá)方法。模型給出的是冷鏈HACCP中的通用知識(shí)描述框架，由于農(nóng)產(chǎn)品冷鏈的業(yè)務(wù)復(fù)雜性，該模型在建立業(yè)務(wù)實(shí)例時(shí)還需要根據(jù)具體的業(yè)務(wù)需求進(jìn)行進(jìn)一步完善。本文的后續(xù)研究內(nèi)容可以在2個(gè)方面展開：1）建立基于CC-HACCP知識(shí)模型的具體信息化應(yīng)用方法，如整體冷鏈HACCP計(jì)劃的自動(dòng)化生成工具等。2）進(jìn)一步建立基于CC-HACCP的冷鏈HACCP管理質(zhì)量評(píng)價(jià)體系與方法，對(duì)冷鏈的安全監(jiān)控管理質(zhì)量進(jìn)行評(píng)估。

[參考文獻(xiàn)]

[1] Dzwolak W. HACCP in small food businesses-The Polish experience[J]. Food Control， 2014， 36（1）: 132－137.

[2] Ema Maldonado-Siman， Li Bai， Rodolfo Ramírez-Valverde，et al. Comparison of implementing HACCP systems of exporter Mexican and Chinese meat enterprises[J]. Food Control， 2014， 38: 109－115.

[3] Panozzo1 G， Minotto G， Barizza A. Transport and distribution of foods: today’s situation and future trends[J]. International Journal of Refrigeration， 1999， 22（8）: 625－639.

[4] Likar K， Jevsnik M. Cold chain maintaining in food trade[J]. Food Control， 2006， 17（2）: 108－113.

[5] 劉錚錚. 我國食品行業(yè)冷鏈探微[J].物流技術(shù)， 2006，（8）: 67-68. （in Chinese with English abstract）Liu Z Z. Study on China Food Cold Chain[J]. Logistics Technology， 2006， （8）: 67－8.

[6] Chen Na， Shi Lei. Analysis of Quality Game Behavior for Cold-Chain Logistics Outsourcing[C]//International Conference on Logistics Systems and Intelligent Management， 2010: 202－206.

[7] Xie Jing， Qiu Weiqiang. Recent situation and development of food cold chain in China[J]. Journal of Chinese Institute of Food Science and Technology， 2013， 13（3）: 1－7.

[8] Zhang Qin， Zhang Keming， Song Bohui. The information construction of third-party warehousing in the cold chain logistics[C]//2nd International Conference on Logistics，Informatics and Service Science. Beijing: Springer-Verlag Berlin Heidelberg， 2013， 1: 409－414.

[9] Rohit Joshi， D K Banwet， Ravi Shankar. A Delphi-AHP-TOPSIS based benchmarking framework for performance improvement of a cold chain[J]. Expert Systems with Applications， 2011，38（8）: 10170－10182.

[10] 胡國瑞， 張志強(qiáng)， 文連奎. 計(jì)算機(jī)信息技術(shù)在食品安全控制中的應(yīng)用[J]. 中國食品衛(wèi)生雜志，2010，22（6）：567－572. Hu Guorui， Zhang Zhiqiang， Wen Liankui. Application of computer information technology in controlling the food safety in food industry[J]. Chinese Journal of Food Hygiene，2010， 22（6）: 567－572. （in Chinese with English abstract）

[11] 張獻(xiàn)娣，王開義. HACCP信息化的發(fā)展現(xiàn)狀與分析[J]. 中國農(nóng)學(xué)通報(bào)，2010，26（5）：309－313. Zhang Xiandi， Wang Kaiyi. Development status and analysis of HACCP information[J]. Chinese Agricultural Science Bulletin， 2010， 26（5）: 309－313. （in Chinese with English abstract）

[12] 陳紹彬，葉飛躍，劉佰強(qiáng)，等. 食品HACCP分類的BIRCH算法[J]. 計(jì)算機(jī)工程，2008，34（23）：59－61. Chen Shaobin， Ye Feiyue， Liu Baiqiang， et al. BIRCH algorithm of food HACCP classification[J]. Computer Engineering， 2008， 34（23）: 59－61. （in Chinese with English abstract）

[13] 王開義，徐紅敏，趙春江，等. 優(yōu)化支持向量機(jī)在鮮切生菜加工HACCP分類中的應(yīng)用[J]. 農(nóng)業(yè)工程學(xué)報(bào)，2009，25（11）：219－221. Wang Kaiyi， Xu Hongmin， Zhao Chunjiang， et al. Application of optimized support vector machine in HACCP classification of fresh-cut lettuce processing[J]. Transactions of the Chinese Society of Agricultural Engineering （Transactions of the CSAE）， 2009， 25（11）: 219－221. （in Chinese with English abstract）

[14] 王開義，趙春江，張方田. 模糊故障樹分析方法在HACCP中的應(yīng)用研究[J]. 農(nóng)業(yè)工程學(xué)報(bào)，2007，23（5）：164－167. Wang Kaiyi， Zhao Chunjiang， Zhang Fangtian. Application of the fuzzy fault tree analysis approach to HACCP system[J]. Transactions of the Chinese Society of Agricultural Engineering（Transactions of the CSAE）， 2007， 23（5）: 164－167. （in Chinese with English abstract）

[15] Wang Xiaohuan， Wong T N， Fan Zhiping. Ontology-based supply chain decision support for steel manufacturers in China[J]. Expert Systems with Applications， 2013， 40（18）: 7519－7533.

[16] Wang Gong， Wong T N， Wang Xiaohuan. An ontology based approach to organize multi-agent assisted supply chain negotiations[J]. Computers ＆ Industrial Engineering， 2013，65（1）: 2－15.

[17] Bendriss Sabri， Benabdelhafid Abdellatif. Enabling product traceability through data modeling and semantic web service ontologies[C]//2013 International Conference on Advanced Logistics and Transport. Sousse: IEEE， 2013: 365－370.

[18] World Health Organization. Application of Hazard Analysis and Critical Control Point （HACCP） methodology to pharmaceuticals[EB/OL]. http://www. who.int/medicines/ areas/quality_safety/quality_assurance/ApplicationHACCPM ethodologyPharmaceuticalsTRS908Annex7.pdf？ua＝1.

[19] 徐曉紅. 食品冷鏈物流關(guān)鍵流程識(shí)別研究—以X公司肉制品物流為例[D]. 北京：北京交通大學(xué)，2010. Xu Xiaohong. Identification of Critical Control Points of the Food Cold Chain Logistic Process-Takes The X Company's meat-logistics as an example[D]. Beijing: Beijing Jiaotong University， 2010. （in Chinese with English abstract）

[20] 袁康來，楊亦民. 農(nóng)業(yè)食品供應(yīng)鏈的可追溯性研究[J]. 物流科技，2006，29（133）：121－123. Yuan Kanglai， Yang Yimin. Study on the traceability in agriculture and food supply chain[J]. Logistics Sci-Tech，2006， 29（133）: 121－123. （in Chinese with English abstract）

[21] 孫璐. 食品行業(yè)冷鏈一體化的研究[D]. 成都：西南交通大學(xué)，2009. Sun Lu. Research of the Integrated Cold-Chain Logistics in Food Industry. Chendu:Southwest Jiaotong University， 2009. （in Chinese with English abstract）

[22] 陳耀庭，許正平，林小蝦. 農(nóng)產(chǎn)品冷鏈物流體系研究[J].商場現(xiàn)代化，2009（22）：41－42.

[23] 蔣運(yùn)承，湯庸，王駒，等. 面向語義Web的描述邏輯[J].模式識(shí)別與人工智能，2007，20（1）：48－54. Jiang Yuncheng， Tang Yong， Wang Ju， et al. Semantie web oriented description logic[J]. PR＆AI， 2007， 20（1）: 48－54. （in Chinese with English abstract）

[24] Horrocks Ian， Kutz Oliver， Sattler Ulrike. The even more irresistible SROIQ[C]//10th International Conference on Principles of Knowledge Representation and Reasoning. Lake District of the UK: AAAI Press， 2006: 57－67.

[25] Antoniou Grigoris， Groth Paul， Van Harmelen， et al. A Semantic Web Primer Third Edition[M]. U.S.: MIT Press （MA），2014: 54－72.

[26] Ian Horrocks， Peter F. Patel-Schneider， et al. SWRL: A Semantic Web Rule Language Combining OWL and RuleML [EB/OL]. http://www.w3.org/Submission /SWRL/， 2014-4-21.

[27] Boris Motik， Peter F， Bernardo Cuenca Grau， et al. OWL 2 Web Ontology Language Direct Semantics （Second Edition）[EB/OL]. http://www.w3.org/TR/owl2-direct-semantics/， 2012.

[28] Maedche Alexander. Ontology Learning for the Semantic Web[M]. Boston: Kluwer Academic Publishers， 2002.

[29] GB/T 19838-2005水產(chǎn)品危害分析與關(guān)鍵控制點(diǎn)（HACCP）體系及其應(yīng)用指南[S].

[30] GB/T 28843-2012，食品冷鏈物流追溯管理要求[S].

[31] Pascal Hitzler， Markus Kr?tzsch， Bijan Parsia， et al. OWL 2 Web Ontology Language Primer （Second Edition）[EB/OL]. http://www.w3.org/TR/owl2-primer/， 2012.

[32] 朱麟，張友華，李紹穩(wěn)，等. 基于本體的HACCP體系知識(shí)獲取與知識(shí)表示[J]. 數(shù)字技術(shù)與應(yīng)用，2010（9）：69－71.

HACCP knowledge modeling and reasoning for agricultural products cold-chain logistics

Mu Xiangwei, Chen Yan, Cao Yan
（Trɑnsportɑtion Mɑnɑgement College, Dɑliɑn Mɑritime University, Dɑliɑn 116026， Chinɑ）

Abstract:In order to ensure the safety and quality of agricultural products， most agricultural products need to use cold chain logistics in a low temperature environment for transportation， processing and storage. Recently， most studies focus on the safety monitoring and management of a certain single step of cold chain， but a highly effective and reliable cold chain monitoring management needs to realize the knowledge expression， understanding and sharing among multiple agents and business segments in the whole cold chain. The cold chain HACCP （hazard analysis critical control point） knowledge semantic model （CC-HACCP） based on Description Logic SROIQ（D） is proposed to describe the semantic information of the cold chain logistics business and the HACCP management. This model mainly describes the semantic elements such as core concepts，constraints， object attributes， data attributes and attribute characteristics， which are correlated with the domain of cold-chain logistics HACCP management system， and meanwhile， CC-HACCP also uses SWRL rule language to enhance the knowledge reasoning ability. In the experiment， an instance of CC-HACCP ontology was built to describe the business knowledge and rules for the agricultural product cold-chain logistics about “eating oyster”， in which the HACCP knowledge sharing requirement between the instances of “step_of_live_oysters_checkup_and_acceptance” and “step_of_live_oyster_transportation”was quite obvious. The model of CC-HACCP was rewritten as an ontology based on semantic web language OWL 2 DL. Through the functions of knowledge checking， case identification and rule reasoning， the HACCP plans in the raw material suppliers， cold chain logistics service providers and production processors were developed， and the new “concept-instance”relationships were automatically identified. For example， “step_of_live_oyster_transportation” was an instance of the concept of cold chain step （CC_Step）; after reasoning by reasoning engine， it was also identified as the instance of the critical control point （CCP） and the risky step （Risk_Step）. Some new “instance-instance” relationships were also inferred by the HermiT inference engine and the SWRL inference rules. For example， “step_of_live_oyster_transportation” was not required to submit or deliver any proof to the next step， and according to the results of reasoning， the cold chain logistics service provider who was responsible for the “step_of_live_oyster_transportation” would find out that he should generate the proofs of the “transportation monitoring record” and “cargo list”， and submit both of them to the next step. Cold chain logistics service provider should also deliver the proofs of “fishing license” and “fishing time identification” from the raw material suppler to production processor. All of the inference processes about above results of the instance of “step_of_live_oyster_transportation”were analyzed in detail in this paper. And according to the transitivity of the property “next_step”， all of the subsequent steps of “step_of_live_oyster_transportation” would be found out， and the requires from all of the subsequent steps would be shown in the inference results. These experiment results show that， through the cold chain HACCP management knowledge modeling and the CC-HACCP semantic model， the HACCP plans from different agents can influence each other and be improved， which means that the HACCP knowledge from the different steps in the cold chain has been shared in the whole process. Therefore，the application of HACCP knowledge model has positive significance for the integration and improvement of the multi-HACCP security monitoring and management of agricultural products， which is helpful to improve the efficiency of the cold chain logistics management of agricultural products and ensure the safety and quality of agricultural products.

Keywords:agricultural products; quality control; management; cold chain logistics; ontology; HACCP; knowledge modeling; knowledge reasoning

作者簡介：牟向偉，男，遼寧大連人，講師，博士。主要從事供應(yīng)鏈信息管理與知識(shí)管理研究。Email: muxiangwei@dlmu.edu.cn

基金項(xiàng)目：中國博士后科學(xué)基金資助項(xiàng)目（2014M551063）；遼寧省教育廳科技研究項(xiàng)目資助（L2014203）；遼寧省社會(huì)科學(xué)規(guī)劃基金項(xiàng)目（L14BGL012）；中央高?；究蒲袠I(yè)務(wù)費(fèi)專項(xiàng)資金資助（3132015050） 聯(lián)合資助。

收稿日期：2015-09-24

修訂日期：2015-10-25

中圖分類號(hào)：TP391.4

文獻(xiàn)標(biāo)志碼：A

文章編號(hào)：1002-6819（2016）-02-0300-09

doi：10.11975/j.issn.1002-6819.2016.02.043 10.11975/j.issn.1002-6819.2016.02.043http://www.tcsae.org