- 相關(guān)推薦
簡單本體的形式化模型及包含性檢驗(yàn)
本體是指對(duì)領(lǐng)域概念化的一個(gè)顯式的規(guī)格說明,應(yīng)用在智能體間的通信、異構(gòu)信息的集成、語義Web等領(lǐng)域.利用描述邏輯建立了一個(gè)簡單本體的形式化模型--一個(gè)四元組,包括術(shù)語集、實(shí)例集、術(shù)語定義集和實(shí)例聲明集,然后分析了本體術(shù)語檢驗(yàn)問題.術(shù)語檢驗(yàn)包括術(shù)語的可滿足性、等價(jià)性、包含性及非交性檢驗(yàn),這4種檢驗(yàn)可以歸結(jié)為包含性檢驗(yàn).最后給出術(shù)語包含性的檢驗(yàn)方法,并證明了這種方法的合理性與完備性.
作 者： 王洪偉 蔣馥 吳家春 作者單位： 上海交通大學(xué),安泰管理學(xué)院,上海,200052 刊 名： 系統(tǒng)工程理論方法應(yīng)用 ISTIC PKU 英文刊名： SYSTEMS ENGINEERING—THEORY METHODOLOGY APPLICATIONS 年，卷(期)： 2004 13(3) 分類號(hào)： N94 TP18 關(guān)鍵詞： 本體模型 包含性檢驗(yàn) 描述邏輯【簡單本體的形式化模型及包含性檢驗(yàn)】相關(guān)文章：
基于本體面向?qū)＜业闹R(shí)服務(wù)系統(tǒng)應(yīng)用模型04-26
包含溫度因子的海水地球物理模型函數(shù)建模研究04-26
廣義非線性混合效應(yīng)模型的變離差檢驗(yàn)04-27
半?yún)?shù)模型的粗差檢驗(yàn)問題的研究04-27
形式化與合法性-城市社區(qū)基層制度結(jié)構(gòu)的變動(dòng)及功能解釋04-27
再論本體04-27
稻田土壤有機(jī)碳變化的模擬:SCNC模型檢驗(yàn)04-27
復(fù)合材料等效模型的適用性分析04-26