"本體"是'本'和'體'兩個(gè)獨(dú)立的漢字組成的漢語(yǔ)復(fù)合詞。'本'字的基本含義是植物的根，'本'字的引申義是事物的本源或來(lái)源。'體'字的基本含義是人的身體，'體'字的引申義是事物的身體或形體。"本體"這個(gè)漢語(yǔ)復(fù)合詞在中國(guó)文化中的基本含義是事物的主體或自身，事物的來(lái)源或根源。

二十世紀(jì)初，有學(xué)者用"本體"這個(gè)漢語(yǔ)詞翻譯西方哲學(xué)所追求的"超越一切存在者或現(xiàn)象、具有創(chuàng)造各種事物或現(xiàn)象能力"的根本實(shí)體。從此，"本體"一詞成為了一個(gè)哲學(xué)名詞。隨著計(jì)算機(jī)科學(xué)的發(fā)展，計(jì)算機(jī)科學(xué)界用"本體"這個(gè)詞表述和界定由Gruber提出的"本體是概念化的明確的規(guī)范說(shuō)明"這個(gè)事物，于是，"本體"一詞又成為了一個(gè)計(jì)算機(jī)科學(xué)的名詞。

本體(Ontology)是一個(gè)概念框架，給出一套詞匯標(biāo)識(shí)一套概念，這些詞匯就是術(shù)語(yǔ)。本體本身也需要標(biāo)識(shí)，比如我們說(shuō)"物理學(xué)"，物理學(xué)這三個(gè)字就標(biāo)識(shí)了本體。對(duì)于本體這個(gè)形而上學(xué)的東西讀者沒(méi)必要糾結(jié)，只需知道在數(shù)據(jù)交換平臺(tái)中計(jì)算機(jī)是使用編碼來(lái)標(biāo)識(shí)本體的就可以了。如"JS(教師)"標(biāo)識(shí)一個(gè)本體，"XS(學(xué)生)"標(biāo)識(shí)一個(gè)本體，在教師本體概念框架下"性別"指的是教師的性別，而在學(xué)生本體概念框架下"性別"指的是學(xué)生的性別，再比如:在教師本體框架下有"所教學(xué)科"這樣的概念但在學(xué)生本體下沒(méi)有，而在學(xué)生本體下會(huì)有"家長(zhǎng)聯(lián)系電話"這樣的概念但在教師本體下沒(méi)有。

拼音:běn tǐ

注音:ㄅㄣˇ ㄊㄧˇ[2]

(1) [thing-in-itself]∶事物的本身。

八音有本體,五音有自然--阮籍《樂(lè)論》

(2) [noumenon]∶哲學(xué)名詞。形成現(xiàn)象的根本實(shí)體(常與"現(xiàn)象"相對(duì))[2]

1、事物的原樣或自身。

①《后漢書(shū)·應(yīng)劭傳》:"又集駁議三十篇，以類(lèi)相從，凡八十二事。其見(jiàn)《漢書(shū)》二十五，《漢記》四，皆刪敘潤(rùn)色，以全本體。"

②《北史·魏彭城王勰傳》:"帝曰:'雖琱琢一字，猶是玉之本體。'"[1]

③鄒魯 《中國(guó)同盟會(huì)》:"軍事用票發(fā)行之后，流通世面，與實(shí)銀同一使用。然其本體無(wú)真價(jià)，不過(guò)代表實(shí)銀。"

2.原來(lái)的體制、格局。

北魏 酈道元 《水經(jīng)注·河水四》:"余按 周處 此志……更為失志記之本體，差實(shí)錄之常經(jīng)矣。"

3.主體。

南朝 梁 劉勰 《文心雕龍·諸子》:"然繁辭雖積，而本體易總，述道言治，枝條《五經(jīng)》。"

4.引申為根本的。

①明王守仁《大學(xué)問(wèn)》:"天命之性，粹然至善，其靈昭不昧者，此其至善之發(fā)見(jiàn)，是乃明德之本體。"

②李廣田 《論怎樣打開(kāi)一條生路》:"這段話真是簡(jiǎn)單扼要，說(shuō)出了今天的文學(xué)的本體問(wèn)題。"

5.佛教稱(chēng)諸法的根本自體或與應(yīng)身相對(duì)的法身。

①《大日經(jīng)》卷七:"一身與二身，乃至無(wú)量身，同入本體。"

②清 紀(jì)昀 《閱微草堂筆記·灤陽(yáng)消夏錄四》:"惟二公暫入輪回，旋歸本體，無(wú)故現(xiàn)此泡影，則不可以理推。"[2]

"本體"這個(gè)哲學(xué)概念是人類(lèi)思想認(rèn)識(shí)活動(dòng)產(chǎn)生的必然結(jié)果。求知是人類(lèi)的天性，每個(gè)人經(jīng)過(guò)思想認(rèn)識(shí)活動(dòng)都會(huì)從個(gè)別事物的產(chǎn)生都有一定原因的經(jīng)驗(yàn)知識(shí)出發(fā)，經(jīng)過(guò)演繹推理獲得一個(gè)全部事物的產(chǎn)生必然有一個(gè)本源或本體的結(jié)論，在大腦中產(chǎn)生出"本體(本體事物)"的概念，都會(huì)產(chǎn)生出尋求天地萬(wàn)物的本體或本源，獲得本體事物全面知識(shí)的意愿或意識(shí)，都會(huì)提出天地萬(wàn)物的本體或本源究竟是什么?這樣的哲學(xué)問(wèn)題。

早在兩千多年以前，人類(lèi)就已經(jīng)從天地萬(wàn)物中發(fā)現(xiàn)、界定、彰顯、區(qū)分和產(chǎn)生出了本體(本體事物)，創(chuàng)立了關(guān)于事物"本體(本體事物)"的哲學(xué)概念。 在中國(guó)文化中"本體"這個(gè)詞經(jīng)常被用來(lái)指事物的來(lái)源或根源，本體就是本源。中國(guó)古代哲學(xué)家老子在《道德經(jīng)》中指出:"道"具有產(chǎn)生天地萬(wàn)物的能力，是天地萬(wàn)物的母親，是天地萬(wàn)物的根源或來(lái)源。"有名"和"無(wú)名"是"道"的兩個(gè)具體存在和表現(xiàn)形式。

同"本體"、"道"、"有名"、"無(wú)名"這些中國(guó)哲學(xué)名詞含義相同的希臘詞語(yǔ)主要有三個(gè):第一個(gè)是"onta(音譯:安特)"，第二個(gè)是"logos(音譯:邏各斯、邏輯)"第三個(gè)是"nuos(音譯:奴斯)"。希臘語(yǔ)詞"onta(意譯:本體、道、存在、有、是)"、 "logos(意譯:言說(shuō)、思想活動(dòng)、道、本體)"、"nuos(意譯:心智、思維、認(rèn)識(shí)、本體、道)" 相當(dāng)于英語(yǔ)的"being(音譯:被)"一詞。

古希臘的哲學(xué)家赫拉克利特用logos(邏各斯、邏輯)這個(gè)詞表述和界定能夠形成或產(chǎn)生現(xiàn)象的根本實(shí)體。赫拉克利特指出:logos(言說(shuō)、道、思想活動(dòng))是onta(萬(wàn)物生滅的尺度和根據(jù)、本體、存在)，一切存在者均在onta(存在、萬(wàn)物生滅的尺度或根據(jù)、本體)之中"。巴門(mén)尼德提出了"onta(存在)之外并無(wú)非存在"、" onta(存在、本體、思想)是一"、" onta(存在、本體、道、有、是)與思維同一"的思想觀點(diǎn)。從柏拉圖開(kāi)始，希臘哲學(xué)對(duì)"onta(本體、道、存在)"的思考降格為對(duì)"存在者(萬(wàn)物)"的思考，對(duì)"存在者(萬(wàn)物)"的討論代替了對(duì)"存在(本體、道)"本身的追問(wèn)，這種忽略存在者和存在、萬(wàn)物和道、本體事物和非本體事物差別的思想行為，是自柏拉圖以來(lái)哲學(xué)探討本體或存在問(wèn)題的主流思想行為方式。

中國(guó)的語(yǔ)言學(xué)家把希臘文單詞Onta和英文單詞being翻譯為"存在"、"本體"、"有"、"是"。日本學(xué)者把17世紀(jì)的德國(guó)經(jīng)院學(xué)者郭克蘭紐(Goclenius，1547-1628)首先使用的"Ontology"一詞翻譯為本體論。我認(rèn)為應(yīng)該把希臘文的Ont和英文的being翻譯為中文的"本體"、"道"、"良知"，不應(yīng)該把希臘文單詞Ont和英文單詞being翻譯為"存在"、"有"或"是"。

西方哲學(xué)對(duì)"本體(本體事物)"事物的研究始于古希臘時(shí)期，從古希臘的米利都學(xué)派開(kāi)始，哲學(xué)家們就努力尋找萬(wàn)物的始基，后來(lái)發(fā)展為對(duì)onta(本體、道)和logos(邏各斯、言說(shuō)、道)的探討。巴門(mén)尼德通過(guò)對(duì)onta(本體、道)的探討，明確了找到onta(本體、道)的正確方向和道路。他指出:對(duì)于被萬(wàn)物所分有的本體(被"是者"所分有的"是"、被"存在者"所分有的"存在")只有通過(guò)人類(lèi)的思想認(rèn)識(shí)活動(dòng)向超驗(yàn)領(lǐng)域中尋找，不能通過(guò)感覺(jué)從經(jīng)驗(yàn)領(lǐng)域中獲得。

本體  (noumenon復(fù)數(shù)作noumena)。18世紀(jì)康德的哲學(xué)名詞，即"物之自體"(das ding an sich)，與他所稱(chēng)的現(xiàn)象(顯現(xiàn)于一位觀察者的事物)相對(duì)立。盡管本體包含著可理解的世界的內(nèi)容，但是康德卻主張人的思辨理性只能知道現(xiàn)象，絕不能透入本體。不過(guò)，人也不是完全與本體脫離，因?yàn)榧偃绮辉O(shè)定一個(gè)含有自由、上帝和不朽的本體世界，那么實(shí)踐理性(即人作為一個(gè)道德者所具有的能力)就會(huì)講不通了。康德哲學(xué)中本體與現(xiàn)象的關(guān)系問(wèn)題使哲學(xué)家討論了僅兩個(gè)世紀(jì)，有人斷言康德的論述前后不一。事實(shí)上，這種其存在不為人的理智所把握的本體被康德的后繼者德國(guó)唯心主義拋棄。不過(guò)，康德對(duì)這種拋棄早有防范，因?yàn)樗艹馕ㄐ闹髁x，堅(jiān)持本體的絕對(duì)實(shí)在性，認(rèn)為現(xiàn)象世界是能力的表達(dá)，而能力的源泉只能是彼岸的本體世界。

本體(本體事物)的哲學(xué)定義:本體(本體事物)是人類(lèi)通過(guò)哲學(xué)思想認(rèn)識(shí)活動(dòng)從混沌自然中發(fā)現(xiàn)、界定、彰顯和產(chǎn)生出來(lái)的，以人類(lèi)思想理性或人類(lèi)生存發(fā)展意識(shí)作為統(tǒng)帥，以判斷和推理作為形式、以語(yǔ)言作為媒介的人類(lèi)思想認(rèn)識(shí)活動(dòng)，是具有名稱(chēng)、時(shí)間、空間、價(jià)值等特殊規(guī)定，具有發(fā)現(xiàn)、界定、彰顯、區(qū)分、抽象和產(chǎn)生各種事物的能力，具有事情或形而上者的容貌，有別于天地萬(wàn)物的具體事物。

本體事物和非本體事物(人類(lèi)的思想認(rèn)識(shí)活動(dòng)和天地萬(wàn)物)的共同點(diǎn)和不同點(diǎn) :

第一，本體事物和非本體事物(人類(lèi)的思想認(rèn)識(shí)活動(dòng)和天地萬(wàn)物)都從屬于事物，都是事物的具體存在和表現(xiàn)形式，都是可以用屬加種差的方法進(jìn)行定義的、具有普遍性(屬性)規(guī)定和特殊(種性)規(guī)定的具體事物。

本體(本源)事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)是動(dòng)詞表述和界定的事情，非本體(非本源)事物或天地萬(wàn)物是名詞表述和界定的物體。本體(本源)事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)是形而上者，是同"器"相對(duì)立的"道"，非本體(非本源)事物或天地萬(wàn)物是形而下者，是同"道"相對(duì)立的"器"。本體(本源)事物或人類(lèi)思想認(rèn)識(shí)活動(dòng)具有從混沌中發(fā)現(xiàn)、界定、彰顯和產(chǎn)生事物的能力，非本體(非本源)事物或天地萬(wàn)物沒(méi)有從混沌中發(fā)現(xiàn)、彰顯和產(chǎn)生事物的能力，本體(本源)事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)是發(fā)現(xiàn)者、界定者、彰顯者和產(chǎn)生者，非本體(非本源)事物或天地萬(wàn)物是被發(fā)現(xiàn)者、被界定者、被彰顯者、被產(chǎn)生者。

第二，本體事物和非本體事物(人類(lèi)的思想認(rèn)識(shí)活動(dòng)和天地萬(wàn)物)都是具體形式的人類(lèi)思想認(rèn)識(shí)活動(dòng)產(chǎn)生的結(jié)果和對(duì)象，都是在人類(lèi)思想路線和生存發(fā)展意識(shí)的指揮下，運(yùn)用判斷和推理的思想認(rèn)識(shí)方式，從混沌自然中發(fā)現(xiàn)、界定、彰顯和產(chǎn)生出來(lái)的具體事物，都是人類(lèi)的思想認(rèn)識(shí)活動(dòng)這個(gè)母親孕育產(chǎn)生出來(lái)的子女。

本體(本源)事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)是人類(lèi)哲學(xué)思想認(rèn)識(shí)活動(dòng)的直接結(jié)果和對(duì)象，非本體(非本源)事物或天地萬(wàn)物是人類(lèi)科學(xué)思想認(rèn)識(shí)活動(dòng)的直接結(jié)果和對(duì)象。

本體(本源)事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)不是從來(lái)就有的，而是人類(lèi)通過(guò)哲學(xué)思想認(rèn)識(shí)活動(dòng)從天地萬(wàn)物中發(fā)現(xiàn)、界定、彰顯和產(chǎn)生出來(lái)的，沒(méi)有人類(lèi)的哲學(xué)思想認(rèn)識(shí)活動(dòng)就沒(méi)有本體(本源)事物，就沒(méi)有人類(lèi)思想認(rèn)識(shí)活動(dòng)這個(gè)事物從混沌中的彰顯和產(chǎn)生。人類(lèi)哲學(xué)史是一部人類(lèi)從天地萬(wàn)物中發(fā)現(xiàn)、界定、彰顯、抽取和產(chǎn)生本體(本源)事物，不斷獲得和積累本體(本源)事物或人類(lèi)思想認(rèn)識(shí)活動(dòng)這個(gè)事物知識(shí)的歷史。

哲學(xué)是以人類(lèi)的思想認(rèn)識(shí)活動(dòng)為直接對(duì)象的思想認(rèn)識(shí)活動(dòng)，是社會(huì)意識(shí)的具體存在和表現(xiàn)形式，是具有發(fā)現(xiàn)或生產(chǎn)能力，能夠從世界萬(wàn)物中發(fā)現(xiàn)、界定、彰顯和產(chǎn)生出人類(lèi)思想認(rèn)識(shí)活動(dòng)這個(gè)本體(本源)事物，獲得本體(本源)事物和非本體(非本源)事物的知識(shí)，確立事物一元論的世界觀和方法論，提高人類(lèi)的思想認(rèn)識(shí)活動(dòng)能力，滿足人類(lèi)生存發(fā)展需要的本體(本源)事物。

自然哲學(xué)、歷史哲學(xué)、宗教哲學(xué)、法律哲學(xué)、教育哲學(xué)、政治哲學(xué)、經(jīng)濟(jì)哲學(xué)之類(lèi)的各種哲學(xué)，西方哲學(xué)、中國(guó)哲學(xué)、印度哲學(xué)、伊斯蘭哲學(xué)之類(lèi)的各種哲學(xué)，它們都是具體形式的人類(lèi)哲學(xué)思想認(rèn)識(shí)活動(dòng)。數(shù)學(xué)、物理學(xué)、生物學(xué)、天文學(xué)、語(yǔ)言學(xué)、文學(xué)之類(lèi)的各種學(xué)是本體(本源)事物或人類(lèi)思想認(rèn)識(shí)活動(dòng)的具體存在和表現(xiàn)形式，各種學(xué)是各種具體哲學(xué)從混沌中發(fā)現(xiàn)、界定、彰顯和產(chǎn)生出來(lái)的。各種具體形式的哲學(xué)是各門(mén)具體科學(xué)的發(fā)現(xiàn)者、界定者、彰顯者和產(chǎn)生者，是各門(mén)具體科學(xué)的母親。

判斷和推理是哲學(xué)從天地萬(wàn)物中發(fā)現(xiàn)、界定、彰顯和產(chǎn)生本體(本源)事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)這個(gè)事物，獲得本體事物知識(shí)的具體思想認(rèn)識(shí)方式。本體(本源)事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)是通過(guò)哲學(xué)的命題判斷和邏輯推理的方式被人類(lèi)從天地萬(wàn)物中發(fā)現(xiàn)、界定、彰顯和產(chǎn)生出來(lái)的。具體地說(shuō)，本體(本源)事物是通過(guò)哲學(xué)本體論、哲學(xué)認(rèn)識(shí)論和哲學(xué)邏輯論的正確命題判斷和邏輯推理從天地萬(wàn)物中產(chǎn)生出來(lái)的。

哲學(xué)是以提出和回答"對(duì)象事物是什么?"、"對(duì)象事物的終極本體或本源是什么?"、"個(gè)別事物是如何從本體或本源產(chǎn)生出來(lái)的?"、"知識(shí)是如何產(chǎn)生的?"這類(lèi)哲學(xué)問(wèn)題發(fā)生和進(jìn)行的。人類(lèi)哲學(xué)史上提出的各種哲學(xué)問(wèn)題，都可以簡(jiǎn)化為或還原為關(guān)于人類(lèi)思想認(rèn)識(shí)活動(dòng)這個(gè)事物的問(wèn)題。或者說(shuō)，一切哲學(xué)問(wèn)題都是圍繞人類(lèi)思想認(rèn)識(shí)活動(dòng)這個(gè)事物(事情)提出或展開(kāi)的問(wèn)題。哲學(xué)本體論、哲學(xué)認(rèn)識(shí)論和哲學(xué)邏輯論都是關(guān)于人類(lèi)思想認(rèn)識(shí)活動(dòng)這同一個(gè)事物的知識(shí)或理論。

哲學(xué)的直接對(duì)象是人類(lèi)的思想認(rèn)識(shí)活動(dòng)。數(shù)學(xué)、物理學(xué)、生物學(xué)、語(yǔ)言學(xué)、倫理學(xué)之類(lèi)的各門(mén)科學(xué)是具體存在形式的人類(lèi)思想認(rèn)識(shí)活動(dòng)，是人類(lèi)哲學(xué)思想認(rèn)識(shí)活動(dòng)的具體直接對(duì)象，是自然哲學(xué)、語(yǔ)言哲學(xué)、邏輯哲學(xué)、歷史哲學(xué)之類(lèi)的具體哲學(xué)的具體直接對(duì)象。各門(mén)科學(xué)分別具有的對(duì)象不是哲學(xué)的直接對(duì)象，而是哲學(xué)的間接對(duì)象。哲學(xué)的唯一對(duì)象是一般的人類(lèi)思想認(rèn)識(shí)活動(dòng)，哲學(xué)的眾多對(duì)象是有具體形式規(guī)定的人類(lèi)思想認(rèn)識(shí)活動(dòng)，是能夠發(fā)現(xiàn)、彰顯和產(chǎn)生不同種類(lèi)事物的各門(mén)具體科學(xué)。哲學(xué)的全部對(duì)象是既包含直接對(duì)象也包含間接對(duì)象的世界萬(wàn)物。

在比較兩個(gè)、兩種、兩類(lèi)、兩屬個(gè)體事物的基礎(chǔ)上，或者在比較人類(lèi)全部經(jīng)驗(yàn)事物的基礎(chǔ)上進(jìn)行思維抽象，是哲學(xué)從天地萬(wàn)物中發(fā)現(xiàn)、界定、彰顯和產(chǎn)生本體(本源)事物(人類(lèi)的思想認(rèn)識(shí)活動(dòng))，獲得本體事物知識(shí)的思想認(rèn)識(shí)方法。本體(本源)事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)是人類(lèi)運(yùn)用思維抽象的認(rèn)識(shí)方法從天地萬(wàn)物中發(fā)現(xiàn)、界定、彰顯和產(chǎn)生出來(lái)的。

人類(lèi)的哲學(xué)思想認(rèn)識(shí)活動(dòng)是在人類(lèi)思維理性或人類(lèi)生產(chǎn)發(fā)展意識(shí)的統(tǒng)帥下，從尋找個(gè)別事物的本源或原因出發(fā)，從追求知識(shí)所以可能的根據(jù)開(kāi)始，通過(guò)從認(rèn)識(shí)到思維，再?gòu)乃季S到認(rèn)識(shí)，循環(huán)往復(fù)不斷深入的方式進(jìn)行的。

追求一般、尋找絕對(duì)是哲學(xué)最顯著的認(rèn)識(shí)特征。在人類(lèi)哲學(xué)的歷史中，人們總是根據(jù)大腦中先天具有的因果聯(lián)系事物觀和認(rèn)識(shí)方法論，在對(duì)眾多個(gè)別事物進(jìn)行觀察比較的基礎(chǔ)上，從個(gè)別事物中發(fā)現(xiàn)、界定、彰顯、抽取和產(chǎn)生出一般事物、普遍性事物或形而上事物，并把自己通過(guò)思維抽象所發(fā)發(fā)現(xiàn)、彰顯、抽象和產(chǎn)生出來(lái)的一般事物、普遍性事物或形而上事物看作是同個(gè)別事物具有關(guān)聯(lián)的事物，或者看作是個(gè)別事物的本體或本源。

有的人通過(guò)思維抽象從個(gè)別事物中發(fā)現(xiàn)了個(gè)別事物普遍包含或具有的自然元素，有的人通過(guò)思維抽象從個(gè)別事物中發(fā)現(xiàn)了同個(gè)別事物相對(duì)立的一般事物，發(fā)現(xiàn)了個(gè)別事物普遍包含或具有的理念、共相、物質(zhì)或普遍性規(guī)定，有的人通過(guò)思維抽象認(rèn)識(shí)活動(dòng)發(fā)現(xiàn)了同個(gè)別事物的彰顯和產(chǎn)生具有密切關(guān)聯(lián)的形而上者:"邏各斯"、"本體"、 "奴斯"、"道"、"有名"、"良知"、"我思"、"絕對(duì)精神"等。

那些運(yùn)用思維抽象方法從個(gè)別事物中發(fā)現(xiàn)、抽象和產(chǎn)生出水、共相、物質(zhì)之類(lèi)形而下事物的哲學(xué)家，由于沒(méi)有從個(gè)別事物中發(fā)現(xiàn)和抽象出人類(lèi)思想認(rèn)識(shí)活動(dòng)這個(gè)具有形而上容貌和創(chuàng)造萬(wàn)物能力的事物，沒(méi)有認(rèn)識(shí)到人類(lèi)的思想認(rèn)識(shí)活動(dòng)是天地萬(wàn)物的本體或本源。所以，他們提出的關(guān)于天地萬(wàn)物的本體(本源)理論都沒(méi)有彰顯出天地萬(wàn)物同人類(lèi)思想認(rèn)識(shí)活動(dòng)具有密切關(guān)聯(lián)的客觀實(shí)際，都是同人類(lèi)的思想認(rèn)識(shí)活動(dòng)相割裂的，都是沒(méi)有哲學(xué)認(rèn)識(shí)論作為基礎(chǔ)的無(wú)效的哲學(xué)本體論。所以他們?cè)诨卮?個(gè)別事物是如何從本體事物中產(chǎn)生出來(lái)的?"這個(gè)難題的時(shí)候全都交了白卷。

那些從個(gè)別事物中發(fā)現(xiàn)、抽象和產(chǎn)生出"邏各斯"、"奴斯"、"道"、"有名"、"良知"之類(lèi)本體事物的哲學(xué)家，發(fā)現(xiàn)了人類(lèi)的思想認(rèn)識(shí)活動(dòng)是天地萬(wàn)物的本體或本源，開(kāi)創(chuàng)和發(fā)展了哲學(xué)的思想認(rèn)識(shí)本體理論，作出了"人類(lèi)的思想認(rèn)識(shí)活動(dòng)是天地萬(wàn)物的本體或本源"的明確判斷，對(duì)本體事物從天地萬(wàn)物中的彰顯和產(chǎn)生做出了重大貢獻(xiàn)。但是由于他們對(duì)人類(lèi)思想認(rèn)識(shí)活動(dòng)的觀察還不夠深入，還缺少有關(guān)本體事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)是如何從混沌中彰顯和產(chǎn)生出各種事物的科學(xué)知識(shí)，不能詳細(xì)描繪出天地萬(wàn)物從本體(本源)事物中產(chǎn)生出來(lái)的具體過(guò)程和狀態(tài)，還沒(méi)有確立事物一元論的哲學(xué)世界觀，所以他們也沒(méi)有把本體事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)從天地萬(wàn)物中完全彰顯和產(chǎn)生出來(lái)。

自從人類(lèi)提出天地萬(wàn)物的本體或本源是什么的問(wèn)題以來(lái)，本體、本源、一般、共相問(wèn)題以各種不同的形式一直流傳到今天，從來(lái)也沒(méi)有得到過(guò)科學(xué)、系統(tǒng)和令人滿意的解答。本體(本源)事物亦真亦幻，就像傳說(shuō)中的天上神龍，迎之不見(jiàn)其首，隨之不見(jiàn)其尾。西方現(xiàn)代哲學(xué)對(duì)以本體為研究對(duì)象的傳統(tǒng)哲學(xué)進(jìn)行了責(zé)難和拒斥。甚至在哲學(xué)專(zhuān)業(yè)人士中，還流行著本體(本源)事物不可言說(shuō)、不可定義的看法和觀點(diǎn)。

第三，本體事物和非本體事物(人類(lèi)的思想認(rèn)識(shí)活動(dòng)和天地萬(wàn)物)都具有名稱(chēng)、時(shí)間、空間、價(jià)值的普遍性規(guī)定，名稱(chēng)、時(shí)間、空間、價(jià)值是人類(lèi)思想認(rèn)識(shí)活動(dòng)和天地萬(wàn)物(本體事物和非本體事物)共同具有的組成部分或組成元素，是人類(lèi)的思想認(rèn)識(shí)活動(dòng)和天地萬(wàn)物(本體事物和非本體事物)普遍具有的存在和表現(xiàn)形式。

本體事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)是以動(dòng)詞或形容詞作為名稱(chēng)的具體事物;非本體事物或天地萬(wàn)物是以名詞、形容名詞、數(shù)量詞、代詞作為名稱(chēng)的具體事物。

例如，"有名"、"有"、"是"、"存在"、"好"、"善"這些被大家用來(lái)表述和界定本體事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)詞，都包含著人的主觀思維或主觀判斷的含義，都同人類(lèi)的思想認(rèn)識(shí)活動(dòng)有密切的關(guān)聯(lián)。老子用來(lái)表述本源事物的"道"這個(gè)詞，既有言說(shuō)的含義，也有眾妙之門(mén)的含義，"道"這個(gè)詞具有動(dòng)詞的性質(zhì)。

海德格爾認(rèn)為:希臘人把語(yǔ)詞分為onoma和rhema 兩大類(lèi)，Onoma是人和物的名稱(chēng)，與此相對(duì)的rhema 是指言說(shuō)、傳說(shuō)。希臘人對(duì)詞語(yǔ)的這種分法與希臘人對(duì)"存在"或"本體"的解釋密切相關(guān)。這兩種詞類(lèi)的結(jié)合可以構(gòu)成最基本的言說(shuō)，可以構(gòu)成最基本的句子。

我認(rèn)為可以把onoma這個(gè)詞翻譯為"言說(shuō)或陳述的對(duì)象"，把rhema這個(gè)詞翻譯為"言說(shuō)或陳述"。把"言說(shuō)或陳述的對(duì)象"這類(lèi)詞，同"言說(shuō)或陳述"這類(lèi)詞類(lèi)結(jié)合在一起就構(gòu)成了包含主語(yǔ)和謂語(yǔ)兩大部分的最基本的句子，就構(gòu)成了最基本的言說(shuō)和陳述。

本體事物和非本體事物各自具有自己特殊的時(shí)間和空間規(guī)定。名詞表述和界定的天地萬(wàn)物或非本體事物是以空間作為自己的主要存在和表現(xiàn)形式，以時(shí)間作為自己的次要存在和表現(xiàn)形式。動(dòng)詞表述和界定的本體事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)是以時(shí)間作為自己的主要存在和表現(xiàn)形式，以空間作為自己的次要存在和表現(xiàn)形式。本體事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)作為同非本源事物或天地萬(wàn)物相對(duì)立的事物，具有現(xiàn)在進(jìn)行時(shí)的時(shí)間狀態(tài)規(guī)定，非本體事物或天地萬(wàn)物作為本體事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)的結(jié)果或產(chǎn)物，具有過(guò)去時(shí)的時(shí)間狀態(tài)規(guī)定。

天地萬(wàn)物或非本體事物具有作用和影響人類(lèi)生存發(fā)展的性質(zhì)和能力，是既包含正價(jià)值也包含負(fù)價(jià)值的事物。本體事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)具有促進(jìn)人類(lèi)社會(huì)生產(chǎn)發(fā)展的性質(zhì)和能力，是只包含有利于社會(huì)絕大多數(shù)人生存發(fā)展的正價(jià)值，不包含有害于人類(lèi)社會(huì)進(jìn)步發(fā)展的負(fù)面價(jià)值的事物。

人類(lèi)的思想認(rèn)識(shí)活動(dòng)是人類(lèi)獲得事物知識(shí)的重要手段，它對(duì)于人類(lèi)的生存發(fā)展具有正面的意義和正價(jià)值，它具有利于人類(lèi)生存發(fā)展的性質(zhì)和能力，它包含著真、包含著善、包含著美。個(gè)人的思想認(rèn)識(shí)活動(dòng)有正確和錯(cuò)誤之分，只有正確的個(gè)人思想認(rèn)識(shí)活動(dòng)才能獲得人類(lèi)生活需要的知識(shí)，才能從混沌自然中發(fā)現(xiàn)、彰顯和產(chǎn)生出來(lái)各種事物，才能對(duì)人類(lèi)的生產(chǎn)發(fā)展具有正面的意義和正價(jià)值。因此，本體事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)是指?jìng)€(gè)人的正確思想認(rèn)識(shí)活動(dòng)，而不是指對(duì)人類(lèi)生存發(fā)展沒(méi)有正價(jià)值的、錯(cuò)誤的個(gè)人思想認(rèn)識(shí)活動(dòng)。

第四，本體事物和非本體事物(人類(lèi)的思想認(rèn)識(shí)活動(dòng)和天地萬(wàn)物)都具有對(duì)立統(tǒng)一的結(jié)構(gòu)形式，都是由對(duì)立統(tǒng)一的雙方組成的對(duì)立統(tǒng)一體。

本體事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)是形式和內(nèi)容組成的對(duì)立統(tǒng)一體。人類(lèi)在語(yǔ)言概念基礎(chǔ)上進(jìn)行的命題判斷、邏輯推理、定義概念、分析比較、歸納抽象是本體(本源)事物或人類(lèi)思想認(rèn)識(shí)活動(dòng)的外在表現(xiàn)形式。指揮和統(tǒng)帥人們進(jìn)行命題判斷、邏輯推理、定義概念、分析比較、歸納抽象活動(dòng)的思維理性、認(rèn)識(shí)意識(shí)、邏輯規(guī)則和思想路線是本體事物或人類(lèi)的思想認(rèn)識(shí)活動(dòng)具有的內(nèi)容。

一切不符合邏輯規(guī)定、缺少思維理性的胡思亂想和沒(méi)有任何根據(jù)的、個(gè)人的胡說(shuō)八道和信口開(kāi)河，都不能從混沌中發(fā)現(xiàn)、彰顯和產(chǎn)生出任何事物，都不具有彰顯和產(chǎn)生事物的能力，都不是真正的本體(本源)事物，都不是真正意義上的人類(lèi)思想認(rèn)識(shí)活動(dòng)。

人類(lèi)的思想認(rèn)識(shí)活動(dòng)可分為思維和認(rèn)識(shí)兩個(gè)對(duì)立統(tǒng)一的組成部分

人類(lèi)的日?；顒?dòng)可以分為兩個(gè)不同的種類(lèi):一類(lèi)是人類(lèi)運(yùn)用肢體肌肉組織作用和影響外部事物，以獲取生活物質(zhì)、改善生活條件、滿足人類(lèi)生存發(fā)展需要的實(shí)踐活動(dòng)，另一論類(lèi)是人類(lèi)運(yùn)用感官或大腦思維組織，收集整理和分析處理來(lái)自外部事物的語(yǔ)言信息知識(shí)，以獲得事物知識(shí)和行為意識(shí)的思想認(rèn)識(shí)活動(dòng)。人類(lèi)的思想認(rèn)識(shí)活動(dòng)也可以分為兩個(gè)不同的類(lèi)別:一個(gè)是人體思維組織的思維活動(dòng)，另一個(gè)是人體認(rèn)知組織的認(rèn)識(shí)活動(dòng)。

思維的哲學(xué)定義:思維是生物主體發(fā)現(xiàn)自然環(huán)境或現(xiàn)象對(duì)自己有所作用和影響后，主體的思維組織在生存意識(shí)的主導(dǎo)和思維意識(shí)的指揮下，對(duì)所獲得的有關(guān)對(duì)象事物的知識(shí)材料進(jìn)行分析處理，形成、產(chǎn)生和發(fā)出指揮身體組織進(jìn)行合理活動(dòng)的行為意識(shí)或行為命令，以消除客體對(duì)主體生存不利影響的思想認(rèn)識(shí)活動(dòng)，是人類(lèi)人通過(guò)思想認(rèn)識(shí)活動(dòng)從自己的日常行為中發(fā)現(xiàn)、彰顯和產(chǎn)生出來(lái)的元實(shí)體事物。

認(rèn)識(shí)的哲學(xué)定義:認(rèn)識(shí)是主體發(fā)現(xiàn)環(huán)境或現(xiàn)象對(duì)自身生存有所作用和影響后，主體的感知認(rèn)識(shí)組織在思維組織發(fā)出的認(rèn)識(shí)意識(shí)或命令的統(tǒng)帥下，主動(dòng)收集整理對(duì)象事物的信息知識(shí)，從混沌中發(fā)現(xiàn)、界定、彰顯和產(chǎn)生出對(duì)自己生存具有意義和價(jià)值的對(duì)象事物，獲得對(duì)象事物知識(shí)的行為和活動(dòng)，是人類(lèi)人通過(guò)思想認(rèn)識(shí)活動(dòng)從主體的日常行為中發(fā)現(xiàn)、彰顯和產(chǎn)生出來(lái)的元實(shí)體事物。

人類(lèi)的行為是人腦產(chǎn)生和發(fā)出的行為意識(shí)的存在和表現(xiàn)形式。思維行為是思維意識(shí)的表現(xiàn)形式;認(rèn)識(shí)行為是認(rèn)識(shí)意識(shí)的表現(xiàn)形式;實(shí)踐行為是實(shí)踐意識(shí)的表現(xiàn)形式;思維、認(rèn)識(shí)和實(shí)踐都是主體意識(shí)的表現(xiàn)形式，是主體有目的、有計(jì)劃、有意識(shí)統(tǒng)帥和指揮的主動(dòng)行為。

思維的直接目的是獲得意識(shí);認(rèn)識(shí)的直接目的是獲得知識(shí);實(shí)踐的直接目的是改善主體的生活條件;思維、認(rèn)識(shí)和實(shí)踐的最終目的都是滿足主體生存和發(fā)展的需要，實(shí)現(xiàn)生存和發(fā)展的目標(biāo)。思維活動(dòng)的主要施行者是人體的思維組織;認(rèn)識(shí)活動(dòng)的主要施行者是人體的認(rèn)知組織;實(shí)踐活動(dòng)的主要施行者是人體的肢體肌肉組織;思維、認(rèn)識(shí)和實(shí)踐三中活動(dòng)都需要生物主體的每一個(gè)組織相互配合，是生物主體全部組織和器官的共同參加、相互協(xié)助進(jìn)行的行為。思維、認(rèn)識(shí)和實(shí)踐是主體和客體相互作用、相互影響、雙向互動(dòng)不可缺少的環(huán)節(jié)，它們?nèi)邔?duì)于認(rèn)識(shí)主體具有同樣重要的價(jià)值和意義。

如果我們?cè)敿?xì)地觀察人類(lèi)的思想認(rèn)識(shí)活動(dòng)的整個(gè)心理活動(dòng)過(guò)程，那么就會(huì)發(fā)現(xiàn)思維、認(rèn)識(shí)和實(shí)踐活動(dòng)是交替進(jìn)行的，思維、認(rèn)識(shí)和實(shí)踐互為發(fā)展的條件和基礎(chǔ)，認(rèn)識(shí)和實(shí)踐離不開(kāi)思維產(chǎn)生的認(rèn)識(shí)意識(shí)和實(shí)踐意識(shí)的指揮，思維離不開(kāi)認(rèn)識(shí)獲得的知識(shí)原材料，認(rèn)識(shí)也離不開(kāi)實(shí)踐給認(rèn)識(shí)組織和認(rèn)識(shí)器官提供的接近和接觸客體和認(rèn)識(shí)對(duì)象的有利條件。在我們常說(shuō)的在感性認(rèn)識(shí)和理性認(rèn)識(shí)之間，在認(rèn)知心理過(guò)程的不同階段之間，在實(shí)踐、認(rèn)識(shí)，再實(shí)踐再認(rèn)識(shí)不斷前進(jìn)的循環(huán)往復(fù)過(guò)程中，思維是不可缺少的橋梁或中間環(huán)節(jié)，沒(méi)有思維認(rèn)識(shí)的過(guò)程就不能完成，認(rèn)識(shí)的目的就不能實(shí)現(xiàn)。沒(méi)有思維和實(shí)踐就沒(méi)有認(rèn)識(shí)。元本體的哲學(xué)定義。

在人工智能界，最早給出Ontology定義的是Neches等人，他們將Ontology定義為"給出構(gòu)成相關(guān)領(lǐng)域詞匯的基本術(shù)語(yǔ)和關(guān)系，以及利用這些術(shù)語(yǔ)和關(guān)系構(gòu)成的規(guī)定這些詞匯外延的規(guī)則的定義"。Neches認(rèn)為:"本體定義了組成主題領(lǐng)域的詞匯表的基本術(shù)語(yǔ)及其關(guān)系，以及結(jié)合這些術(shù)語(yǔ)和關(guān)系來(lái)定義詞匯表外延的規(guī)則。"("An ontology defines the basic terms and relations comprising the vocabulary of a topic area, as well as the rules for combining terms and relations to define extensions to the vocabulary.")。后來(lái)在信息系統(tǒng)、知識(shí)系統(tǒng)等領(lǐng)域，越來(lái)越多的人研究Ontology，并給出了許多不同的定義。其中最著名并被引用得最為廣泛的定義是由Gruber提出的，"本體是概念化的明確的規(guī)范說(shuō)明"，原文參見(jiàn):

"An ontology is an explicit specification of a conceptualization. The term is borrowed from philosophy, where an Ontology is a systematic account of Existence. For AI systems, what "exists" is that which can be represented. When the knowledge of a domain is represented in a declarative formalism, the set of objects that can be represented is called the universe of discourse. This set of objects, and the describable relationships among them, are reflected in the representational vocabulary with which a knowledge-based program represents knowledge. Thus, in the context of AI, we can describe the ontology of a program by defining a set of representational terms. In such an ontology, definitions associate the names of entities in the universe of discourse (e.g., classes, relations, functions, or other objects) with human-readable text describing what the names mean, and formal axioms that constrain the interpretation and well-formed use of these terms. Formally, an ontology is the statement of a logical theory."。

和這個(gè)定義類(lèi)似的有N. Guarino and P. Giaretta (1995)"本體是概念化的明確的部分的說(shuō)明/一種邏輯語(yǔ)言的模型"("an ontology is an explicit, partial account of a conceptualization/ the intended models of a logical language.")。

W. N. Borst對(duì)該定義也進(jìn)行了引申"本體是共享的概念模型的形式化的規(guī)范說(shuō)明"("An ontology is a formal specification of a shared conceptualization")

Fensel對(duì)這個(gè)定義進(jìn)行分析后認(rèn)為Ontology的概念包括四個(gè)主要方面:

1. 概念化(conceptualization):客觀世界的現(xiàn)象的抽象模型;
2. 明確(explicit):概念及它們之間聯(lián)系都被精確定義;
3. 形式化(formal):精確的數(shù)學(xué)描述;
4. 共享(share):本體中反映的知識(shí)是其使用者共同認(rèn)可的。

原文:"an abstract model of a phenomenon termed 'conceptualization',a precise mathematical description hints the word 'formal', the precision of concepts and their relationships clearly defined are expressed by the term 'explicit' and the existence of an agreement between ontology users is hinted by the term 'shared'."

Swartout將本體定義為:"本體是一個(gè)為描述某個(gè)領(lǐng)域而按繼承關(guān)系組織起來(lái)作為一個(gè)知識(shí)庫(kù)的骨架的一系列術(shù)語(yǔ)"。("An ontology is a hierarchically structured set of terms for describing a domain that can be used as a skeletal foundation for a knowledge base.")。他的定義強(qiáng)調(diào)了本體中術(shù)語(yǔ)(terms)的重要性。

Fensel定義"本體是對(duì)一個(gè)特定領(lǐng)域中重要概念的共享的形式化的描述"。("An ontology is a common, shared and formal description of important concepts in an specific domain.")。

Noy F.N. 認(rèn)為"本體是對(duì)某個(gè)領(lǐng)域中的概念的形式化的明確的表示，每個(gè)概念的特性描述了概念的各個(gè)方面及其約束的特征和屬性。"("An ontology is a formal explicit representation of concepts in a domain, properties of each concept describes characteristics and attributes of the concept known as slots and constrains on these slots.")。

Fonseca定義"本體是以某一觀點(diǎn)用詳細(xì)明確的詞匯表描述實(shí)體、概念、特性和相關(guān)功能的理論"。("An ontology is a theory which uses a specific vocabulary to describe entities, classes, properties and related function with certain point of view.")。

Starla認(rèn)為"本體必需包括所使用術(shù)語(yǔ)的規(guī)范說(shuō)明、決定這些術(shù)語(yǔ)含義的協(xié)議、以及術(shù)語(yǔ)之間的聯(lián)系，來(lái)表達(dá)概念"。("An ontology necessarily includes a specification of the terms used (terminology) and agreements that allow to determine their meaning, along with the possible inter-relationships between these terms, standing for "concepts".")。

M. Uschold and M. Gruninger認(rèn)為""("Ontologyis an explicit account or representation of (some part of) a conceptualisation.")。他還推薦了一個(gè)來(lái)自SRKB(Shared Re-usable Knowledge Bases)電子郵件列表的定義"本體是關(guān)于共享的概念模型的協(xié)議。共享的概念模型包括進(jìn)行領(lǐng)域知識(shí)建模的概念框架、互操作的agent之間進(jìn)行交流的內(nèi)容明確協(xié)議、以及表達(dá)特定領(lǐng)域理論的協(xié)定。在知識(shí)共享的上下文環(huán)境中，本體特指表達(dá)性詞匯表的定義的形式。一個(gè)非常簡(jiǎn)單的例子就是分類(lèi)的層次結(jié)構(gòu)，指明了類(lèi)和它們之間的包含關(guān)系。關(guān)系數(shù)據(jù)庫(kù)模式的作用也和本體一樣，它指定了某些共享數(shù)據(jù)庫(kù)之間可以存在的關(guān)系以及必須保持的完整性約束"("Ontologies are agreements about shared conceptualization. Shared conceptualizations include conceptual frameworks for modeling domain knowledge; content-specific protocols for communication among inter-operating agents; and agreements about the representation of particular domain theories. In the knowledge sharing context, ontologies are specified in the form of definitions of representational vocabulary. A very simple case would be a type hierarchy, specifying classes and their subsumption relationships. Relational database shemata also serve as ontologies by specifying the relations that can exist in some shared database and the integrity constraints that must hold for them.")。

Studer認(rèn)為"本體是共享概念模型的明確的形式化規(guī)范說(shuō)明"。

這個(gè)定義的說(shuō)明體現(xiàn)了本體的4層含義:

1. 概念模型(conceptualization)通過(guò)抽象出客觀世界中一些現(xiàn)象的相關(guān)概念而得到的模型，其表示的含義獨(dú)立于具體的環(huán)境狀態(tài)。
2. 明確(explicit)所使用的概念及使用這些概念的約束都有明確的定義。
3. 形式化(formal)本體是計(jì)算機(jī)可讀的，即能被計(jì)算機(jī)處理。
4. 共享(share)本體中體現(xiàn)的是共同認(rèn)可的知識(shí)，反映的是相關(guān)領(lǐng)域中公認(rèn)的概念集，它所針對(duì)的是團(tuán)體而不是個(gè)體。

本體的目標(biāo)是捕獲相關(guān)領(lǐng)域的知識(shí)，提供對(duì)該領(lǐng)域知識(shí)的共同理解，確定該領(lǐng)域內(nèi)共同認(rèn)可的詞匯，并從不同層次的形式化模式上給出這些詞匯(術(shù)語(yǔ))和詞匯間相互關(guān)系的明確定義。總的來(lái)說(shuō)，構(gòu)造本體可以實(shí)現(xiàn)某種程度的知識(shí)共享和重用，以及提高系統(tǒng)通訊、互操作、可靠性的能力。

• 普通 (一般或常識(shí)) 本體
• 高層本體(或頂層本體)
• 領(lǐng)域本體 Domain Ontology
• 術(shù)語(yǔ)本體Terminology Ontologies
• 形式本體Formal Ontology
• 混合本體Mixed ontology
• 表現(xiàn)本體Representational ontologies
• 任務(wù)/方法本體Task and Method Ontologies
• 局部本體Regional ontology

出于對(duì)各自問(wèn)題域和具體工程的考慮，構(gòu)造本體的過(guò)程各不相同。目前沒(méi)有一個(gè)標(biāo)準(zhǔn)的本體的構(gòu)造方法。不過(guò)在構(gòu)造特定領(lǐng)域本體的過(guò)程中,有一點(diǎn)是得到大家公認(rèn)的,那就是需要該領(lǐng)域?qū)＜业膮⑴c。最有影響的是Gruber(Toward Principles for the Design of Ontologies Used for Knowledge Sharing)在1995年提出的5條規(guī)則

1. 清晰(Clarity)

本體必須有效的說(shuō)明所定義術(shù)語(yǔ)的意思。定義應(yīng)該是客觀的，與背景獨(dú)立的。當(dāng)定義可以用邏輯公理表達(dá)時(shí)，它應(yīng)該是形式化的。定義應(yīng)該盡可能的完整。所有定義應(yīng)該用自然語(yǔ)言加以說(shuō)明。

2. 一致(Coherence)

本體應(yīng)該是一致的，也就是說(shuō)，它應(yīng)該支持與其定義相一致的推理。它所定義的公理以及用自然語(yǔ)言進(jìn)行說(shuō)明的文檔都應(yīng)該具有一致性。

3. 可擴(kuò)展性(Extendibility)

本體應(yīng)該為可預(yù)料到的任務(wù)提供概念基礎(chǔ)。它應(yīng)該可以支持在已有的概念基礎(chǔ)上定義新的術(shù)語(yǔ)，以滿足特殊的需求，而無(wú)須修改已有的概念定義。

4. 編碼偏好程度最小(Minimal encoding bias)

概念的描述不應(yīng)該依賴(lài)于某一種特殊的符號(hào)層的表示方法。因?yàn)閷?shí)際的系統(tǒng)可能采用不同的知識(shí)表示方法。

5. 本體約定最小(Minimal ontological Commitment)

本體約定應(yīng)該最小，只要能夠滿足特定的知識(shí)共享需求即可。這可以通過(guò)定義約束最弱的公理以及只定義通訊所需的詞匯來(lái)保證。目前大家公認(rèn)在構(gòu)造特定領(lǐng)域的本體的過(guò)程中需要領(lǐng)域?qū)＜业膮⑴c。

本體工程，又稱(chēng)為本體論工程、本體論設(shè)計(jì)或本體設(shè)計(jì)，是計(jì)算機(jī)科學(xué)與信息科學(xué)當(dāng)中的一個(gè)新興領(lǐng)域，旨在研究用于構(gòu)建本體的方法和方法學(xué)。本體工程乃是一個(gè)新興的研究和應(yīng)用領(lǐng)域，關(guān)注的是本體開(kāi)發(fā)過(guò)程、本體生命周期、用于構(gòu)建本體的方法和方法學(xué)以及那些用于支持這些方面的工具套裝和語(yǔ)言。

本體提供的是某一領(lǐng)域的公共詞表，并采用不同水平的形式化程度，對(duì)術(shù)語(yǔ)的含義以及術(shù)語(yǔ)之間的關(guān)系加以界定。在過(guò)去的十年時(shí)間里，人們對(duì)于各種本體的關(guān)注日益增強(qiáng)。如今，本體已廣泛應(yīng)用于知識(shí)工程、人工智能以及計(jì)算機(jī)科學(xué)領(lǐng)域;同時(shí)，本體還廣泛應(yīng)用于知識(shí)管理、自然語(yǔ)言處理、電子商務(wù)、智能信息集成、生物信息學(xué)和教育等方面以及語(yǔ)義網(wǎng)之類(lèi)的新興領(lǐng)域。本體工程旨在明確特定領(lǐng)域的那些隱含在軟件應(yīng)用程序以及企業(yè)機(jī)構(gòu)和業(yè)務(wù)過(guò)程當(dāng)中的知識(shí)。本體工程為解決各種語(yǔ)義障礙所造成的互操作性問(wèn)題提供了一個(gè)前進(jìn)的方向。其中，語(yǔ)義障礙指的也就是那些與業(yè)務(wù)術(shù)語(yǔ)和軟件類(lèi)的定義相關(guān)的障礙和問(wèn)題。本體工程是一套與特定領(lǐng)域之本體開(kāi)發(fā)工作相關(guān)的任務(wù)。

1、本體

本體就是由若干概念及其在某種邏輯理論(如一階謂詞演算)支持下的定義所構(gòu)成的一種分類(lèi)法。有人已經(jīng)為本體提出的定義就是，本體是一種對(duì)于某種概念體系(概念表達(dá)、概念化、概念化體系或者說(shuō)概念化過(guò)程)的明確而又詳細(xì)的說(shuō)明。對(duì)于特定一個(gè)領(lǐng)域而言，本體表達(dá)的是其那套術(shù)語(yǔ)、實(shí)體、對(duì)象、類(lèi)、屬性及其之間的關(guān)系，提供的是形式化的定義和公理，用來(lái)約束對(duì)于這些術(shù)語(yǔ)的解釋。本體允許使用一系列豐富的結(jié)構(gòu)關(guān)系和非結(jié)構(gòu)關(guān)系，如泛化、繼承、聚合和實(shí)例化，并且可以為軟件應(yīng)用程序提供精確的領(lǐng)域模型。例如，本體可以為傳統(tǒng)軟件提供面向?qū)ο?/a>型系統(tǒng)的對(duì)象模式(object schema)，以及類(lèi)的定義。

2、語(yǔ)義多重性

在整個(gè)生產(chǎn)制造生命周期里面，過(guò)程規(guī)劃、過(guò)程建模、排程調(diào)度、工作流程以及模擬之類(lèi)的軟件應(yīng)用程序，都會(huì)利用過(guò)程信息來(lái)描述生產(chǎn)活動(dòng)當(dāng)中所涉及到的活動(dòng)、資源需求、訂單關(guān)系以及時(shí)間約束。盡管一個(gè)應(yīng)用程序的輸出數(shù)據(jù)和過(guò)程可能會(huì)參與構(gòu)成另一應(yīng)用程序的輸入，但這些應(yīng)用程序通常情況下彼此之間并不進(jìn)行互操作。對(duì)于每個(gè)應(yīng)用程序和廠商來(lái)說(shuō)，若要想實(shí)現(xiàn)數(shù)據(jù)和過(guò)程的共享，就必須編寫(xiě)某種轉(zhuǎn)換程序 。

然而，這些過(guò)程的定義并不明確清晰，其間必然會(huì)碰到因?yàn)橥x詞問(wèn)題所造成的不兼容性以及語(yǔ)義多重性(Semantic plurality)所引起的不一致問(wèn)題。當(dāng)采用不同的名稱(chēng)或字符串來(lái)命名兩個(gè)功能相同的對(duì)象或類(lèi)的時(shí)候，就會(huì)出現(xiàn)同義詞問(wèn)題。對(duì)于機(jī)器之間的通訊來(lái)說(shuō)，汽車(chē)(應(yīng)用程序甲)=機(jī)動(dòng)車(chē)輛(應(yīng)用程序乙)，并非顯而易見(jiàn)的問(wèn)題。當(dāng)同樣的名稱(chēng)在兩個(gè)應(yīng)用程序之中具有兩種不同含義的時(shí)候，就會(huì)發(fā)生語(yǔ)義多重性問(wèn)題。例如，資源(應(yīng)用程序甲)=耗材類(lèi)資源，而資源(應(yīng)用程序乙)=機(jī)械工具。從傳統(tǒng)上來(lái)說(shuō)，點(diǎn)對(duì)點(diǎn)轉(zhuǎn)換程序一直就是為解決此類(lèi)問(wèn)題而設(shè)計(jì)的。但是，當(dāng)需要參與互操作的應(yīng)用程序有很多的時(shí)候，所需編寫(xiě)的轉(zhuǎn)換程序的數(shù)量就會(huì)呈指數(shù)方式增長(zhǎng)，從而實(shí)現(xiàn)互操作性的成本與代價(jià)也會(huì)出現(xiàn)同樣方式的提高。

3、過(guò)程規(guī)范語(yǔ)言

PSL是一種穩(wěn)健的交換技術(shù)，用于成就不同的生產(chǎn)制造應(yīng)用程序之間的分布式協(xié)作。上述施萊諾夫等人的這篇論文闡述了，當(dāng)PSL應(yīng)用于生產(chǎn)制造過(guò)程的時(shí)候，PSL究竟是如何來(lái)解決那些與語(yǔ)義問(wèn)題相關(guān)的問(wèn)題。同時(shí)，作者在此文之中還針對(duì)如何對(duì)PSL加以改編，以便將其用于生產(chǎn)制造企業(yè)集成方面的基于智能體的系統(tǒng)(agent-based systems)，提出了一些初步的想法。

4、語(yǔ)義建模

PSL之中對(duì)于概念的定義是采用知識(shí)交換格式(Knowledge Interchange Format，KIF)來(lái)表達(dá)的，并且采用形式邏輯來(lái)定義它們的語(yǔ)義。采用KIF的好處就是能夠證明定義和公理的一致性和完整性。PSL本體具有可擴(kuò)展性，且建立在一種由公理和擴(kuò)展所構(gòu)成的核心(即PSL核心本體)的基礎(chǔ)之上。

PSL本體之中存在著三種基本實(shí)體(活動(dòng)、對(duì)象和時(shí)間點(diǎn))以及四種基本關(guān)系(參與"participates_in"、之前于"before",、是……的開(kāi)始"begin_of"和是……的結(jié)束"end_of")。關(guān)于PSL核心本體和擴(kuò)展的詳細(xì)論述，可參見(jiàn)其他資料。

當(dāng)前，PSL之中收錄有大約300個(gè)分散于31個(gè)模塊之中的概念。現(xiàn)在，其中已經(jīng)表達(dá)有過(guò)程建模、排程調(diào)度以及模擬方面的固有概念。為了對(duì)作為一種交換語(yǔ)言的PSL加以驗(yàn)證，目前已經(jīng)成功實(shí)現(xiàn)了首個(gè)過(guò)程信息交換試點(diǎn)實(shí)施項(xiàng)目;該試點(diǎn)項(xiàng)目是在基于IDEF3的業(yè)務(wù)過(guò)程建模工具與一種C++調(diào)度程序之間進(jìn)行的。

本體一般都是采用本體語(yǔ)言來(lái)編制的。本體語(yǔ)言，又稱(chēng)為"本體論語(yǔ)言"，是一種用于編制本體的形式化語(yǔ)言。目前，存在著許許多多此類(lèi)的本體語(yǔ)言，既包括專(zhuān)有的，也包括基于標(biāo)準(zhǔn)的:

普通邏輯(Common logic)就是ISO標(biāo)準(zhǔn)24707;這是關(guān)于一種本體語(yǔ)言家族的技術(shù)規(guī)范，其中的本體語(yǔ)言彼此之間可以準(zhǔn)確地相互轉(zhuǎn)換。

Cyc項(xiàng)目有其自己的，基于一階謂詞演算，且具有某些高階擴(kuò)展的本體語(yǔ)言(即CycL)。

Gellish語(yǔ)言之中包括了關(guān)于自身擴(kuò)展的規(guī)則，因而集成了一部本體和一種本體語(yǔ)言。

IDEF5是一種用于編制和維護(hù)準(zhǔn)確的，具有可復(fù)用性的領(lǐng)域本體的軟件工程方法。

知識(shí)交換格式(Knowledge Interchange Format，KIF)是基于S-表達(dá)式的一種一階邏輯語(yǔ)法。

規(guī)則交換格式(Rule Interchange Format，RIF)與F-邏輯(F-Logic)可將各種本體和規(guī)則結(jié)合起來(lái)。

OWL(Web Ontology Language)是一種用于編寫(xiě)本體聲明(ontological statements)的語(yǔ)言。OWL的發(fā)展繼承了RDF和RDFS以及一些早期的本體語(yǔ)言項(xiàng)目，包括本體推理層(Ontology Inference Layer，OIL)、DARPA智能體標(biāo)記語(yǔ)言(DARPA Agent Markup Language，DAML)以及DAMLplusOIL。OWL旨在應(yīng)用于萬(wàn)維網(wǎng)之上;而且，其構(gòu)成要素(類(lèi)、屬性和個(gè)體)均被定義為RDF資源，并采用URI加以標(biāo)識(shí)。

• DOGMA
• DogmaModeler
• KAON
• OntoClean
• OnToContent