簡單本體的形式化模型及包含性檢驗

本體是指對領(lǐng)域概念化的一個顯式的規(guī)格說明,應(yīng)用在智能體間的通信、異構(gòu)信息的集成、語義Web等領(lǐng)域.利用描述邏輯建立了一個簡單本體的形式化模型--一個四元組,包括術(shù)語集、實例集、術(shù)語定義集和實例聲明集,然后分析了本體術(shù)語檢驗問題.術(shù)語檢驗包括術(shù)語的可滿足性、等價性、包含性及非交性檢驗,這4種檢驗可以歸結(jié)為包含性檢驗.最后給出術(shù)語包含性的檢驗方法,并證明了這種方法的合理性與完備性.

作 者： 王洪偉 蔣馥 吳家春   作者單位： 上海交通大學(xué),安泰管理學(xué)院,上海,200052  刊 名： 系統(tǒng)工程理論方法應(yīng)用  ISTIC PKU 英文刊名： SYSTEMS ENGINEERING—THEORY METHODOLOGY APPLICATIONS  年，卷(期)： 2004 13(3)  分類號： N94 TP18  關(guān)鍵詞： 本體模型   包含性檢驗   描述邏輯  

【簡單本體的形式化模型及包含性檢驗】相關(guān)文章：

基于本體面向?qū)＜业闹�識服務(wù)系統(tǒng)應(yīng)用模型04-26

包含溫度因子的海水地球物理模型函數(shù)建模研究04-26

廣義非線性混合效應(yīng)模型的變離差檢驗04-27

半?yún)��?shù)模型的粗差檢驗問題的研究04-27

形式化與合法性-城市社區(qū)基層制度結(jié)構(gòu)的變動及功能解釋04-27

再論本體04-27

稻田土壤有機碳變化的模擬:SCNC模型檢驗04-27

復(fù)合材料等效模型的適用性分析04-26

Poisson模型中基于Score檢驗統(tǒng)計量的影響診斷04-26

從自然科學(xué)到工程科學(xué)的對稱性本體論研究04-26