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

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

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

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

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

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

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

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

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

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

再論本體04-27

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

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

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

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