Ontologies在語義Web中起著舉足輕重的作用,它不僅能為人類用戶而且能為軟件Agent提供從語法層次到語義層次上的互操作性.DAML+OIL是專門為語義Web設(shè)計(jì)的一種Ontology描述語言,它將框架系統(tǒng)、描述邏輯和Web標(biāo)準(zhǔn)這三個(gè)不同領(lǐng)域的優(yōu)點(diǎn)結(jié)合了起來,采用面向?qū)ο蟮姆椒ㄓ妙惡蛯傩詠砻枋鲱I(lǐng)域的結(jié)構(gòu).但是DAML+OIL也有不足之處,其一是約束表達(dá)能力較弱,只能表示屬性值的基數(shù)約束,不能表示屬性值的區(qū)間約束;其二是不能表示任何規(guī)則,而無論是約束表示還是規(guī)則表示對(duì)Ontology都是非常重要的.該文提出一種對(duì)DAML+OIL的擴(kuò)充方案,使得擴(kuò)充后的DAML+OIL可以表示簡(jiǎn)單的規(guī)則和屬性值的區(qū)間約束.