]]>[杞琞Drools欏圭洰綆浠?/title><link>http://www.tkk7.com/ericwang/archive/2006/03/11/34784.html</link><dc:creator>Dion</dc:creator><author>Dion</author><pubDate>Sat, 11 Mar 2006 02:00:00 GMT</pubDate><guid>http://www.tkk7.com/ericwang/archive/2006/03/11/34784.html</guid><wfw:comment>http://www.tkk7.com/ericwang/comments/34784.html</wfw:comment><comments>http://www.tkk7.com/ericwang/archive/2006/03/11/34784.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.tkk7.com/ericwang/comments/commentRss/34784.html</wfw:commentRss><trackback:ping>http://www.tkk7.com/ericwang/services/trackbacks/34784.html</trackback:ping><description><![CDATA[<strong>鍐呭鎻愯</strong><br>
鍦ㄦ湰鏂囩殑絎竴閮ㄥ垎錛屾垜灝嗚璁鴻鍒欏紩鎿庡浣曞府鍔╀綘浠庤蔣浠剁殑搴旂敤閫昏緫涓垎紱誨嚭鍟嗕笟瑙勫垯閫昏緫錛屼互瀹炵幇鍟嗕笟搴旂敤鐨勭伒媧繪с傚彟澶栵紝鎴戣繕灝嗕粙緇岼SR錛?4瑙勫垯寮曟搸
API錛屽強(qiáng)鍏跺紑婧愬疄鐜癉rools欏圭洰錛屽畠鏄繖涓鏂版妧鏈殑鍏堥┍銆傚湪絎簩閮ㄥ垎錛屾垜浠皢浠嬬粛涓涓鍒欏紩鎿庝緥瀛愶紝騫舵繁鍏ュ湴鐮旂┒Drools寮曟搸鍙?qiáng)鍏禞SR錛?4
鎵╁睍鐨勫鏉傛с?
<div><br><strong>涓轟粈涔堜嬌鐢ㄨ鍒欏紩鎿?/strong><br>
鍟嗕笟涓栫晫鍏呮弧浜?jiǎn)鍏充簬鍙樺寲鐨勯檲璇嶆互璋冨Q屽浠諱綍浜嬬墿閮戒細(xì)鏀瑰彉錛屽敮涓涓嶅彉鐨勬槸鍙樺寲絳夌瓑銆傝屽湪鎶鏈鍩熼噷錛屾儏鍐墊濂界浉鍙嶃傛垜浠粛鐒跺湪璇曞浘瑙ｅ喅30騫村墠杞歡涓氫腑鍚屾牱
鐨勪竴鍫嗛棶棰橈紞錛嶄篃璁告瘮30騫村墠榪樿澶氱殑闂銆傚湪榪囧幓鐨勫崄騫達(dá)紝IT浠庝笟浜哄憳娣規(guī)病鍦ㄨ蔣浠舵柟娉曞鐨勫ぇ閲忔枃鐚腑錛屽蹇熻蔣浠跺紑鍙戯紝鏋侀檺緙栫▼錛屾晱鎹瘋蔣浠跺紑鍙戠瓑錛屽畠浠?
鏃犱竴渚嬪鍦板己璋冪伒媧誨拰鍙樺寲鐨勯噸瑕佹с?br> 浣嗗晢涓氶氬父姣斿紑鍙戝洟闃熸墍渚濊禆鐨勮蔣浠惰繃紼嬪拰鎶鏈敼鍙樺緱鏇村姞榪呴熴傚綋鍟嗕笟絳栧垝浜哄憳璇曞浘閲嶆暣IT閮ㄩ棬錛屼互鏀寔鏂扮殑涓氬姟杞瀷鏃訛紝浠嶇劧瑙夊緱寰堣垂鍔層?/div>
<div><br><strong>Lost in Translation</strong><br>
铏界劧IT鍥㈤槦鍙嶅簲榪呴燂紝浣嗕粬浠氬父甯︽潵"鐢?shù)璇濇晥搴?鈥曗旾T緇欏晢涓氳鍒掔殑鎵ц甯︽潵鐨勯樆鍔涘拰瀹冨甫鏉ョ殑鍒╃泭涓鏍峰銆備笉騫哥殑鏄紝鍦ㄥ紑鍙戝洟闃熷畬鍏ㄧ悊瑙ｅ晢涓氬喅絳栬鍒?
騫跺疄鐜頒箣鍓嶏紝瑙勫垯宸茬粡鏀瑰彉浜?jiǎn)銆傚湪杞歡榪涘叆甯?jìng)鍦哄墠锛屽畠宸簿l忚繃鏃朵簡(jiǎn)錛岄渶瑕佽繘琛岄噸鏋勪互婊¤凍鏂扮殑涓氬姟闇姹傘傚鏋滀綘鏄竴涓紑鍙戜漢鍛橈紝浣犱細(xì)鐭ラ亾鎴戝湪璇翠粈涔堛傚啀涔熸病鏈夋瘮
鍦ㄩ渶姹傚彉鍔ㄧ殑鎯呭喌涓嬫瀯閫犺蔣浠惰寮鍙戜漢鍛樻洿娌撫鐨勪簨鎯呬簡(jiǎn)銆備綔涓鴻蔣浠跺紑鍙戜漢鍛橈紝浣犲繀欏繪瘮涓氬姟浜哄憳鏇翠簡(jiǎn)瑙ｄ笟鍔★紝鏈夋椂榪樿浜?jiǎn)瑙ｆ洿澶氥?br>
璇曟兂涓涓嬩綘鏄竴浣嶅晢涓氬喅絳栬呫傚亣濡傚叕鍙哥殑鎴愬姛渚濊禆浜庝綘瀵逛簬甯?jìng)鍦涵憢鍔挎晱閿愮殑娲炲療鍔涘Q屽畠甯稿父甯姪浣犻鍏堜簬绔炰簤鑰呭埄鐢ㄥ彉鍖栫殑甯?jìng)鍦虹幆澧冭幏鍒┿傛瘡澶╀綘閮戒細(xì)寰楀埌鏇村鏇?
濂界殑甯?jìng)鍦轰俊鎭Q屼絾騫朵笉瑕佺揣銆傚畬鎴愭柊浜у搧寮鍙戝彲鑳介渶瑕?錛?涓湀錛屽湪姝ゆ湡闂達(dá)紝瀵逛簬甯?jìng)鍦哄ぇ鑳嗗拰鏁忛攼鐨剫z炲療鍜屼俊鎭紭鍔垮彲鑳藉凡緇忔氮璐逛簡(jiǎn)銆傝屼笖錛屽綋浜у搧鍙戝竷鏃訛紝鏈夎繖
鏍峰嚑縐嶅彲鑳斤細(xì)浜у搧娌℃湁浠涔堝惛寮曚漢鐨勭壒鎬э紝棰勭畻瓚呮敮錛岃繃浜?jiǎn)漶斿搧鐨勬渶浣?jīng)_彂甯冩湡闄愶紝鎴栦笁鑰呭吋鑰屾湁涔嬨?br>
鎯呭喌鍙兘榪樹細(xì)鏇寸碂錛屽湪瀹屾垚浜у搧寮鍙戞椂錛屽競(jìng)鍦虹幆澧冨拰瑙勫垝浜у搧寮鍙戞椂鐩告瘮錛屽凡緇忓彂鐢熶簡(jiǎn)鏍規(guī)湰鍙樺寲銆傜幇鍦ㄤ綘蹇呴』瑕侀伒瀹堟柊鐨勮鍒欙紝浣犲凡緇忎撫澶變簡(jiǎn)浣犵殑杈歸檯浼樺娍錛岃屼笖璁?
璁¤蔣浠剁殑浜斾漢涓殑涓変漢宸茬粡紱誨紑浜?jiǎn)鍏徃銆備綘蹇呴』緇欐帴鎵嬬殑鏂頒漢閲嶆柊璁茶В澶嶆潅鐨勪笟鍔°傚鏋滀簨鎯呬笉欏哄埄錛屼綘鍙兘鍙戠幇鑷繁瑕佸浠樹竴涓己灝戞枃妗ｏ紝騫朵笖浣犲畬鍏ㄤ笉浜?jiǎn)瑙ｇ殑閬?
鐣欏簲鐢ㄣ?br>
浣犵殑鎴樼暐鍦ㄥ摢鍑虹幇浜?jiǎn)闂锛熶綘鍦ㄥ摢閲屽簲璇ュ彲浠ュ仛鍒版洿濂藉Q熸渶榪戠殑杞婚噺綰ц蔣浠惰繃紼嬶紝濡傛瀬闄愮紪紼嬶紝鏁忔嵎杞歡寮鍙戠瓑閮藉湪寮鴻皟鑷姩鍗曞厓嫻嬭瘯鍜岃蔣浠跺姛鑳戒紭鍏堢駭鐨勯噸瑕佹с?
闄ゆ涔嬪錛岃繕鏈夊叾浠栫殑鍘熷垯錛屼綘鐨勫紑鍙戝洟闃熷彲鑳戒篃寰堢啛鎮(zhèn)夛紝榪欎簺鍘熷垯鍙互甯姪浠栦滑瀵歸渶姹傜殑鍙樺姩浣滃嚭榪呴熷弽搴斿茍緙╃煭欏圭洰鐨勫紑鍙戝懆鏈熴傝繖浜涘師鍒欑殑澶у鏁幫紝濡傜郴緇熷垎
瑙ｏ紝澶氬勾鍓嶅氨宸茬粡鍑虹幇錛屽茍寰楀埌浜?jiǎn)Java騫沖彴鐨勬敮鎸侊紙濡侸MX絳夛級(jí)錛岃繕鏈夊闈㈠悜瀵硅薄鍜岃鑹插緩妯★紝宸茬粡鍐呭緩鍦↗ava璇█涓?br>
浣咼ava浠嶇劧鏄竴闂ㄧ浉褰撳勾杞葷殑璇█錛岃屼笖Java騫沖彴榪滆繙榪樻病鏈夊畬澶囥傚綋鍓嶅湪Java紺懼尯錛屼竴涓紩浜烘敞鐩殑鏂版妧鏈槸錛屽垎紱誨晢涓氬喅絳栬呯殑鍟嗕笟鍐崇瓥閫昏緫鍜屽簲
鐢ㄥ紑鍙戣呯殑鎶鏈喅絳栵紝騫舵妸榪欎簺鍟嗕笟鍐崇瓥鏀懼湪涓績(jī)鏁版嵁搴擄紝璁╁畠浠兘鍦ㄨ繍琛屾椂錛堝嵆鍟嗗姟鏃墮棿錛夊彲浠ュ姩鎬佸湴綆＄悊鍜屼慨鏀廣傝繖鏄竴涓綘鍊煎緱鑰冭檻鐨勭瓥鐣ャ?br>
涓轟粈涔堜綘鐨勫紑鍙戝洟闃熶笉寰椾笉璞″晢涓氱粡鐞嗕漢涓鏍鳳紝鍦ㄤ唬鐮佷腑鍖呭惈澶嶆潅寰鐨勫晢涓氬喅絳栭昏緫鍛紵浣犳庢牱鎵嶈兘鍚戜粬浠В閲婂喅絳栨帹鐞嗙殑寰涔嬪鍛紵浣犺繖鏍峰仛鏄惁璋ㄦ厧鍛紵鍙?
鑳戒笉鏄傝薄bottom
line涓鏍鳳紝鏌愪簺涓滆タ鍦ㄨВ閲婄殑榪囩▼涓涪澶變簡(jiǎn)銆備負(fù)浠涔堣鍐掕繖鏍風(fēng)殑椋庨櫓錛岃搴旂敤浠ｇ爜鎴栨祴璇曚唬鐮侀敊璇湴琛ㄨ揪浣犵殑鍟嗕笟鍐崇瓥閫昏緫鍛紵濡傛灉榪欐牱鍋氱殑璇濓紝浣犳庢牱媯(gè)鏌ュ畠
浠殑姝ｇ‘鎬у憿鈥曗曢毦閬撲綘鑷繁鎯沖涔?fàn)濡備綍缂柦E嬪拰緙栧啓嫻嬭瘯浠ｇ爜錛屾垨鑰呬綘鐨勫鎴蜂細(xì)涓轟綘嫻嬭瘯杞歡錛熶綘涓鏂歸潰瑕佸簲浠樺競(jìng)鍦猴紝涓鏂歸潰瑕佸簲浠樿蔣浠朵唬鐮侊紝榪欏疄鍦ㄥお鍥伴毦浜?jiǎn)銆?br>
濡傛灉鑳藉皢榪欎簺鍟嗕笟鍐崇瓥瑙勫垯闆嗕腑鍦版斁鍦ㄤ竴涓湴鏂癸紝浠ヤ竴縐嶄綘鍙互鐞嗚В鐨勬牸寮忓畾涔夛紝璁╀綘鍙互鐩存帴綆＄悊錛岃屼笉鏄暎钀藉湪浠ｇ爜鐨勫悇涓钀斤紝閭ｈ鏈夊濂姐傚鏋滀綘鑳芥妸鍟嗕笟
鍐崇瓥瑙勫垯鐙珛浜庝綘鐨勮蔣浠朵唬鐮侊紝璁╁紑鍙戝洟闃熶綔鍑烘妧鏈喅絳栵紝浣犲皢浼?xì)鑾峰緱鏇村濂藉銆備綘鐨勯」鐩紑鍙戝懆鏈熶細(xì)鏇寸煭錛岃蔣浠跺浜庡彉鍔ㄧ殑闇姹傛洿鐏墊椿銆?/div>
<div><br><strong>瑙勫垯寮曟搸鏍囧噯Java API</strong><br>
2003騫?1鏈堬紝Java紺懼尯閫氳繃浜?jiǎn)Java Rule Engine
API瑙勮寖錛圝SR錛?4錛夌殑鏈鍚庤崏妗堛傝繖涓柊鐨凙PI璁╁紑鍙戜漢鍛樺湪榪愯鏃惰闂拰鎵ц瑙勫垯鏈変簡(jiǎn)緇熶竴鐨勬爣鍑嗘柟寮忋傞殢鐫鏂拌鑼冧駭鍝佸疄鐜扮殑鎴愮啛鍜屾帹鍚戝競(jìng)鍦猴紝寮鍙?
鍥㈤槦灝嗗彲浠ヤ粠搴旂敤浠ｇ爜涓娊鍙栧嚭鍟嗕笟鍐崇瓥閫昏緫銆?br> 榪欏氨闇瑕佹柊涓浠ｇ殑綆＄悊宸ュ叿錛屽府鍔╁晢鍔＄粡鐞嗕漢鍙互瀹氫箟鍜岀粏鍖栬蔣浠剁郴緇熺殑琛屼負(fù)銆備笉蹇呴氳繃寮鍙戣繃紼嬫潵淇敼搴旂敤錛屽茍鍋囧畾鍙互寰楀埌姝ｇ‘鐨勭粨鏋滐紝緇忕悊浜哄皢鍙互闅忔椂鏍規(guī)嵁闇瑕佷慨鏀瑰喅絳栬鍒欙紝騫惰繘琛屾祴璇曘?br> 浣嗚繖灝嗛渶瑕佸紑鍙戜漢鍛樺湪璁捐緋葷粺鏃朵綔鍑烘煇浜涙敼鍙橈紝騫跺彲浠ュ緱鍒板悎閫傜殑寮鍙戝伐鍏楓?/div>
<div><br><strong>鍒嗙鍟嗗姟鍜屾妧鏈殑鍏蟲敞鐐?/strong><br> 榪欐槸涓涓潪甯哥畝鍗曠殑渚嬪瓙錛屼粠緇忕悊浜虹殑瑙掑害錛岃鏄庡浣曞垎紱誨晢鍔″拰鎶鏈殑鍏蟲敞鐐廣?br> 浣犵鐞嗙潃涓涓弽鍚戞姇璧勫熀閲戙備綘鍏徃璁＄畻鏈虹郴緇熺殑涓閮ㄥ垎鐢ㄤ簬鍒嗘瀽鑲＄エ浠鋒牸錛屾敹鐩婂拰姣忚偂鍑璧勪駭錛屽茍鍦ㄩ渶瑕佹椂鍚戜綘鎻愬嚭棰勮銆傝繖涓綆楁満緋葷粺鐨勫伐浣滄槸錛岃瘑鍒嚭PE姣旂巼姣斿競(jìng)鍦哄鉤鍧囧間綆鐨勮偂紲紝騫舵爣璁板嚭鏉ヤ互渚胯繘涓姝ョ殑媯(gè)鏌ャ?br> 浣犵殑IT閮ㄩ棬鎷ユ湁涓澶у爢鏁版嵁錛屽茍寮鍙戜簡(jiǎn)涓緋誨垪浣犲彲浠ュ湪瑙勫垯涓紩鐢ㄧ殑綆鍗曟暟鎹璞°傜幇鍦紝涓虹畝鍗曡搗瑙侊紝鍋囪浣犳槸涓鍚嶅彈榪囪壇濂芥暀鑲茬殑錛屼簡(jiǎn)瑙ｆ妧鏈殑綆＄悊浜猴紝浣犱簡(jiǎn)瑙ML鐨勫熀鏈煡璇嗭紝鍙互璁╀綘緙栧啓鍜屼慨鏀圭畝鍗曠殑XML瑙勫垯鏂囦歡銆?br> 浣犵殑絎竴涓鍒欐槸錛岀粰閬撶惣鏂墍鏈夌殑鑲＄エ浼板鹼紝騫跺墧闄/E姣旂巼澶т簬10鐨勮偂紲紙榪欐湁鐐硅繃鍒嗙畝鍖栵紝浣嗚繖閲屽彧浣滀負(fù)涓涓緥瀛愶級(jí)銆備繚鐣欎笅鏉ョ殑鑲＄エ鐢ㄦ潵鐢熶駭涓緋誨垪鎶ヨ〃銆傚浜庤繖涓畝鍗曠殑渚嬪瓙錛屼綘鐨勮鍒欐枃浠剁湅璧鋒潵濡備笅錛堟垜浠皢浼?xì)杩囧ご鏉ヨ璁簶q欎釜鏂囦歡鐨勭粨鏋勶級(jí)錛?/div>
<div><br><stock:overvalued><br> <stock:index> DJIA </stock:index><br> <stock:pe> over 10.0 </stock:pe><br></stock:overvalued></div>
<div><br>
涓涓湀鍚庯紝浣犳帴鍒頒竴瀹跺反瑗垮垎鏋愬笀鍏徃鐨勭數(shù)璇濓紝闆囦劍浣犵殑鍏徃鐢熸垚涓緋誨垪宸磋タ鑲″競(jìng)鐨勬姤琛紝浣嗕粬浠湁鏇翠弗鏍肩殑鏍囧噯銆傝岀洰鍓嶅湪宸磋タ錛孭/E姣旂巼甯?jìng)鍦候q沖潎鍊兼槸涓綅
鏁幫紝鍥犳浣犵敤鏉ヨ瘎浼拌甯?jìng)鍦轰綆鑲〖湪鐨勯槇鍊奸渶瑕佹敼鍙樸傞櫎浜?jiǎn)杈冧綆鐨凱/E姣旂巼錛屼綘鐨勬柊瀹㈡埛榪樿姹備互Price-to-Book姣旂巼浣滀負(fù)鍙傝冩爣鍑嗐?br> 浣犲惎鍔ㄨ鍒欑紪杈戝櫒錛屽茍淇敼瑙勫垯浠ュ尮閰嶆柊鐨勮瘎浼版潯浠躲傜幇鍦紝瑙勫垯寮曟搸鍓旈櫎宸磋タ鑲″競(jìng)涓璓/E姣旂巼澶т簬6.5錛屼互鍙?qiáng)Price to Book 姣旂巼灝忎簬絳変簬1鐨勮偂紲ㄣ傚畬鎴愯鍒欐枃浠朵慨鏀瑰悗錛岀湅璧鋒潵濡備笅錛?/div>
<div><br><stock:overvalued><br> <stock:index> Brazil </stock:index><br> <stock:pe> over 6.5 </stock:pe><br> <stock:pb> over 1.0 </stock:pb><br></stock:overvalued></div>
<div><br> 浣犳棤闇涓烘鍚戝紑鍙戝洟闃熶綔浠諱綍瑙ｉ噴銆備綘鏃犻渶絳夊緟浠栦滑寮鍙戞垨嫻嬭瘯紼嬪簭銆傚鏋滀綘鐨勮鍒欏紩鎿庣殑璇箟瓚沖寮哄ぇ錛岃浣犳弿榪板伐浣滄暟鎹紝浣犲彲浠ラ殢鏃舵寜闇淇敼鍟嗕笟瑙勫垯銆?br> 濡傛灉闄愬埗鍥犵礌鏄鍒欑殑瀹氫箟璇█鍜屾暟鎹ā鍨嬶紝浣犲彲浠ョ‘淇¤繖涓よ呭皢浼?xì)鏍囧噯鍖栧Q屽茍鍑虹幇鍏堣繘鐨勭紪杈戝櫒鍜屽伐鍏鳳紝浠ョ畝鍖栬鍒欑殑瀹氫箟錛屼繚瀛樺拰緇存姢銆?br>
鐜板湪錛屾垜甯屾湜浣犲凡緇忔竻妤氫互涓嬬殑鍘熷垯錛氬湪榪欎釜渚嬪瓙涓紝鍝彧鑲＄エ鏄惁琚夋嫨鏄竴涓晢鍔″喅絳栵紝鑰屼笉鏄妧鏈喅絳栥傚喅瀹氬皢鍝彧鑲＄エ浜ょ粰浣犵殑鍒嗘瀽甯堟槸緇忕悊浜虹殑閫昏緫
鈥曗?logic of the bottom
line"銆傜粡鐞嗕漢浣滃嚭榪欎簺鍐崇瓥錛屽茍鍙互鎸夐渶瀹氬埗搴旂敤銆傝繖浜涜鍒欏洜姝ゅ彉鎴愪簡(jiǎn)涓縐嶆帶鍒剁晫闈紝涓縐嶆柊鐨勫晢涓氱郴緇熺敤鎴風(fēng)晫闈€?/div>
<div><br><strong>浣跨敤Rule寮鍙?/strong><br> 濡傛灉鍦ㄨ繖涓簲鐢ㄥ満鏅腑錛屼綘鏄竴涓紑鍙戜漢鍛橈紝浣犵殑宸ヤ綔浼?xì)绋嶅井杞绘澗涓浜涖備竴鏃︿綘鎷ユ湁浜?jiǎn)涓縐嶇敤浜庡垎鏋愯偂紲ㄧ殑瑙勫垯璇█錛屼綘鍙互鍙栧嚭鏁版嵁瀵硅薄騫朵氦緇欒鍒欏紩鎿庢墽琛屻傛垜浠皢浼?xì)鍒拌鍒欒瑷鐨勮璁猴紝浣嗙幇鍦ㄦ垜浠戶緇垰鎵嶇殑渚嬪瓙銆?br>
浣犵殑緋葷粺灝嗕竴緋誨垪鐨剆tock
bean杈撳叆瑙勫垯寮曟搸銆傚綋瑙勫垯鎵ц鍚庯紝浣犲彲浠ラ夊嚭絎﹀悎鏉′歡鐨勮偂紲ㄥ茍鍙互瀵瑰畠浠綔榪涗竴姝ュ鐞嗐備篃璁告槸鎶婂畠浠緭鍏ユ姤琛ㄧ敓鎴愮郴緇熴傚垎鏋愬笀浣跨敤榪欎簺鎶ヨ〃甯姪浠栦滑鍒?
鏋愯偂甯?jìng)銆傚悓鏃訛紝鑰佹澘涔熷彲鑳借浣犱嬌鐢ㄦ柊鐨勬妧鏈垎鏋愬伐鍏鳳紝騫剁敤Dow鐞嗚棰勬祴鑲″競(jìng)鐨勫簳閮ㄥ拰欏墮儴銆?br> 瑙勫垯寮曟搸鍙互璁╀綘鐨勭郴緇熷彉寰楁洿綆鍗曪紝鍥犱負(fù)浣犳棤闇鍦ㄤ唬鐮佷腑緙栧啓鍟嗗姟閫昏緫錛屽鎬庢牱閫夋嫨鑲＄エ錛岄夋嫨鑲＄エ榪囩▼涓鎬殑鏉′歡緇勫悎絳夈傝繖浜涢昏緫涓嶅啀榪涘叆浣犵殑浠ｇ爜銆備綘灝嗗彲浠ヤ笓娉ㄤ簬鏁版嵁妯″瀷銆?br> 鐜板湪鍙互榪欎箞璁や負(fù)錛岄氳繃浠庡簲鐢ㄤ唬鐮佷腑鍓ョ鍑烘槗鍙樼殑鍟嗕笟閫昏緫錛屼綘鐨勬晥鐜囦細(xì)鏇撮珮銆備絾鍑℃槸鎬繪湁渚嬪鈥曗曠畝鍗曞簲鐢ㄥ彲鑳藉茍涓嶈兘浠庤鍒欑郴緇熶腑鑾風(fēng)泭銆備絾濡傛灉浣犲紑鍙戜竴涓ぇ鍨嬬郴緇燂紝鏈夊緢澶氭槗鍙樼殑鍟嗕笟閫昏緫錛屼綘鍙互鑰冭檻鍦ㄥ簲鐢ㄤ腑闆嗘垚瑙勫垯寮曟搸銆?br>
闄や簡(jiǎn)浠庡簲鐢ㄤ唬鐮佷腑鍓ョ鍑哄晢涓氬喅絳栭昏緫澶栵紝瑙勫垯寮曟搸榪樻湁鍏朵粬鐢ㄥ銆傛湁鏃跺欎綘闇瑕佸簲鐢ㄦ垚鐧句笂鍗冪殑瑙勫垯榪涜鍐崇瓥錛屽茍涓旀湁涓婂崈涓璞″拰榪欎簺瑙勫垯涓璧蜂嬌鐢ㄣ傚緢闅炬兂璞?
鏈変粈涔堝厛榪涚殑浜哄伐鏅鴻兘寮曟搸鍙互澶勭悊榪欑鎯呭喌銆傞亣鍒拌繖縐嶆儏鍐碉紝浣犻渶瑕佷竴涓瀬蹇殑鍐崇瓥綆楁硶鎴栨槸澶у瀷鏈恒傚ぇ鍨嬫満騫朵笉渚垮疁錛屼絾浣犲彲浠ラ潪甯鎬究瀹滅殑寰楀埌鏁堢巼鍜屽彲浼哥緝鎬?
鏈濂界殑綆楁硶銆?/div>
<div><br><strong>Bob McWhirter鐨凞rools欏圭洰</strong><br>
鐜板湪錛屾垜瑕佷粙緇岲rools欏圭洰錛孋harles Forgy Rete綆楁硶鐨勪竴涓寮虹殑Java璇█瀹炵幇銆侱rools鏄竴涓狟ob
McWhirter寮鍙戠殑寮婧愰」鐩紝鏀懼湪The
Codehaus涓娿傚湪鎴戝啓榪欑瘒鏂囩珷鏃訛紝Drools鍙戣〃浜?.0-beata-14鐗堛傚湪CVS涓紝宸插畬鏁村湴瀹炵幇浜?jiǎn)JSR94 Rule
Engine API騫舵彁渚涗簡(jiǎn)鍗曞厓嫻嬭瘯浠ｇ爜銆?br> Rete綆楁硶鏄疌harles
Forgy鍦?979騫村彂鏄庣殑錛屾槸鐩墠鐢ㄤ簬鐢熶駭緋葷粺鐨勬晥鐜囨渶楂樼殑綆楁硶錛堥櫎浜?jiǎn)绉佹湁鐨凴ete
II錛夈俁ete鏄敮涓鐨勶紝鏁堢巼涓庢墽琛岃鍒欐暟鐩棤鍏崇殑鍐崇瓥鏀寔綆楁硶銆侳or the uninitiated, that means it can
scale to incorporate and execute hundreds of thousands of rules in a
manner which is an order of magnitude more efficient then the next best
algorithm銆俁ete搴旂敤浜庣敓浜х郴緇熷凡緇忔湁寰堝騫翠簡(jiǎn)錛屼絾鍦↗ava寮婧愯蔣浠朵腑騫舵病鏈夊緱鍒板箍娉涘簲鐢紙璁ㄨRete綆楁硶鐨勬枃妗ｅ弬瑙?a ><font color="#0d5d91">http://herzberg.ca.sandia.gov/jess/docs/61/rete.html</font></a>銆傦級(jí)銆?br>
闄や簡(jiǎn)搴旂敤浜?jiǎn)Rete鏍稿績(jī)綆楁硶錛屽紑婧愯蔣浠禠icense鍜?00錛呯殑Java瀹炵幇涔嬪錛孌rools榪樻彁渚涗簡(jiǎn)寰堝鏈夌敤鐨勭壒鎬с傚叾涓寘鎷疄鐜頒簡(jiǎn)JSR94
API鍜屽垱鏂扮殑瑙勫垯璇箟緋葷粺錛岃繖涓涔夌郴緇熷彲鐢ㄦ潵緙栧啓鎻忚堪瑙勫垯鐨勮璦銆傜洰鍓嶏紝Drools鎻愪緵浜?jiǎn)涓壙U嶈涔夋ā鍧椻曗昉ython妯″潡錛孞ava妯″潡鍜?
Groovy妯″潡銆傛湰鏂囦綑涓嬮儴鍒嗛泦涓璁篔SR94 API錛屾垜灝嗗湪絎簩綃囨枃绔犱腑璁ㄨ璇箟緋葷粺銆?br> 浣滀負(fù)浣跨敤javax.rules
API鐨勫紑鍙戜漢鍛橈紝浣犵殑鐩爣鏄瀯閫犱竴涓猂uleExecutionSet瀵硅薄錛屽茍鍦ㄨ繍琛屾椂閫氳繃瀹冭幏寰椾竴涓猂uleSession瀵硅薄銆備負(fù)浜?jiǎn)绠鍖栬繖涓繃紼嬶紝
鎴戠紪鍐欎簡(jiǎn)涓涓鍒欏紩鎿嶢PI鐨刦a?ade錛屽彲浠ョ敤鏉ヨВ閲婁唬琛―rools鐨凞RL鏂囦歡鐨処nputStream錛屽茍鏋勯犱竴涓?
RuleExecutionSet瀵硅薄銆?br> 鍦ㄤ笂闈㈡彁鍒頒簡(jiǎn)Drools鐨勪笁縐嶈涔夋ā鍧楋紝鎴戞帴涓嬫潵浣跨敤瀹冧滑閲嶆柊緙栧啓涓婇潰鐨勪緥瀛怷ML瑙勫垯鏂囦歡銆傝繖涓緥瀛愪腑鎴戦夋嫨Java妯″潡銆備嬌鐢↗ava妯″潡閲嶆柊緙栧啓鐨勮鍒欐枃浠跺涓嬶細(xì)</div>
<div><br><rule-set name="StockFlagger"<br> xmlns="<a ><font color="#0d5d91">http://drools.org/rules</font></a>"<br> xmlns:java="<a ><font color="#0d5d91">http://drools.org/semantics/java</font></a>"></div>
<div> <rule name="FlagAsUndervalued"><br> <parameter identifier="stock"><br> <java:class>org.codehaus.drools.example.Stock</java:class><br> </parameter><br> <java:condition>stock.getIndexName().equals("DJIA");</java:condition><br> <java:condition>stock.getPE() > 10 </java:condition><br> <java:consequence><br> removeObject(stock); ( 璇戞敞錛氬簲璇ユ槸retractObject(stock) )<br> </java:consequence><br> </rule><br></rule-set></div>
<div><br>
鐜板湪鐨勮鍒欐枃浠跺茍娌℃湁涓婇潰鐨勭畝媧佹槑浜?jiǎn)銆傚埆鎷呭績(jī)錛屾垜浠皢鍦ㄤ笅涓綃囨枃绔犺璁鴻涔夋ā鍧椼傜幇鍦紝璇鋒敞鎰忚瀵焁ML鏂囦歡鐨勭粨鏋勩傚叾涓竴涓猺ule-set鍏冪礌鍖呭惈浜?
涓涓垨澶氫釜rule鍏冪礌錛宺ule鍏冪礌鍙堝寘鍚簡(jiǎn)parameter錛宑ondition鍜宑onsequence鍏冪礌銆侰ondition鍜?
consequence鍏冪礌鍖呭惈鐨勫唴瀹瑰拰Java寰堣薄銆傛敞鎰忥紝鍦ㄨ繖浜涘厓绱犱腑錛屾湁浜涗簨浣犲彲浠ュ仛錛屾湁浜涗簨浣犱笉鑳藉仛銆傜洰鍓嶏紝Drools浣跨敤
BeanShell2.0b1浣滀負(fù)瀹冪殑Java瑙ｉ噴鍣ㄣ傛垜鍦ㄨ繖閲屽茍涓嶆兂璇︾粏鐨勮璁篋RL鏂囦歡鍜孞ava璇箟妯″潡鐨勮娉曘傛垜浠殑鐩爣鏄В閲婂浣曚嬌鐢?
Drools鐨凧SR94 API銆?br>
鍦―rools欏圭洰CVS鐨刣rools-jsr94妯″潡涓紝鍗曞厓嫻嬭瘯浠ｇ爜鍖呭惈浜?jiǎn)涓涓狤xampleRuleEngineFacade瀵硅薄錛屽畠鍩轟簬
Brian Topping鐨凞entaku欏圭洰銆傝繖涓猣a?ade瀵硅薄閫氳繃javax.rules
API錛屽垱寤轟簡(jiǎn)渚汻uleExecutionSet鍜孯uleSession浣跨敤鐨勪竴緋誨垪瀵硅薄銆傚畠騫舵病鏈夊畬鍏ㄥ寘鎷簡(jiǎn)Drools寮曟搸API鐨勬墍鏈夌壒鎬у拰緇?
寰樊鍒紝浣嗗彲浠ヤ綔涓烘柊鎵嬩嬌鐢ˋPI鐨勪竴涓畝鍗曚緥瀛愩?br> 涓嬮潰鐨勪唬鐮佺墖鏂樉紺哄浣曚嬌鐢ㄨ鍒欏紩鎿庣殑facade鏋勯犱竴涓猂uleExecutionSet瀵硅薄錛屽茍閫氳繃瀹冭幏寰椾竴涓猂uleSession瀵硅薄銆?/div>
<div> </div>
<div>import java.io.InputStream;<br>import javax.rules.*;<br>import org.drools.jsr94.rules.ExampleRuleEngineFacade;</div>
<div>public class Example {<br> private ExampleRuleEngineFacade engine;<br> private StatelessRuleSession statelessSession;</div>
<div> /* place the rule file in the same package as this class */<br> private String bindUri = "myRuleFile.drl"</div>
<div> public Example() {<br> /* get your engine facade */<br> engine = new ExampleRuleEngineFacade();</div>
<div> /* get your input stream */<br> InputStream inputStream =<br> Example.class.getResourceAsStream(bindUri);</div>
<div> /* build a RuleExecutionSet to the engine */<br> engine.addRuleExecutionSet(bindUri, inputStream);</div>
<div> /* don't forget to close your InputStream! */<br> inputStream.close();</div>
<div> /* get your runtime session */<br> this.statelessSession = engine.getStatelessRuleSession(bindUri);<br> }<br> ...<br>}</div>
<div><br>
鍦ㄤ互涓婄殑渚嬪瓙浠ｇ爜涓紝浣犻渶瑕佸鐞咺nputStream鐨処OException渚嬪錛岃繖閲屼負(fù)浜?jiǎn)绠鍗曡搗瑙佺渷鐣ヤ簡(jiǎn)銆備綘瑕佸仛鐨勫彧鏄瀯寤篒nputStream
瀵硅薄錛屽茍鎶婂畠杈撳叆ExampleRuleEngineFacade錛岀敤鏉ュ垱寤轟竴涓猂uleExecutionSet瀵硅薄銆傜劧鍚庯紝浣犲彲浠ュ緱鍒頒竴涓?
StatelessRuleSession錛屽茍鐢ㄥ畠鏉ユ墽琛屾墍鏈夌殑瑙勫垯銆備嬌鐢⊿tatelessRuleSession鐩稿綆鍗曘傛垜浠彲浠ョ粰涓婇潰鐨勭被娣誨姞涓
涓柟娉曪紝鐢ㄦ潵瀵逛竴涓璞″垪琛ㄦ墽琛岃鍒欙細(xì)</div>
<div><br>public List getUndervalued(List stocks) {<br> return statelessSession.executeRules(stocks);<br>}</div>
<div><br> 璇ユ柟娉曡緭鍏ヤ竴涓猻tock瀵硅薄鍒楄〃緇欒鍒欏紩鎿庯紝鐒跺悗浣跨敤瑙勫垯璇勪及杈撳叆鐨勮偂紲ㄥ璞★紝騫跺墧闄ら偅浜涗笉絎﹀悎浠峰間綆浼版爣鍑嗙殑鑲＄エ銆傚畠鏄釜綆鍗曠殑渚嬪瓙錛屼絾瓚充互璇存槑闂銆?br>
鍦‥xampleRuleEngineFacade綾諱腑錛屼唬鐮佷細(xì)紼嶅井鏈変簺澶嶆潅銆侲xampleRuleEngineFacade綾誨垱寤轟簡(jiǎn)涓涓?
RuleServiceProvider瀵硅薄錛屽茍鐢ㄥ畠鍒涘緩RuleAdministrator錛孯uleExecutionSetProvider鍜?
RuleRuntime瀵硅薄銆俁uleExecutionSetProvider璐熻矗瑙ｉ噴InputStream錛屽茍鍒涘緩涓涓?
RuleExecutionSet瀵硅薄銆俁uleRuntime瀵硅薄鐢ㄦ潵寰楀埌涓涓猻ession錛孯uleAdministrator鐢ㄦ潵綆＄悊鎵鏈夌殑瀵?
璞°傚湪寰涓嬫槸Drools鏍稿績(jī)API錛屽畠鐨勬牳蹇?jī)鏄疪ete綆楁硶瀹炵幇銆傛垜鍦ㄨ繖閲屼笉鎵撶畻璇︾粏璁ㄨ錛屼絾浣犲彲浠ョ湅鐪?
ExampleRuleEngineFacade鐨勪唬鐮併?br>
鐜板湪浣犲凡緇忕湅鍒頒簡(jiǎn)鍦ㄥ晢涓氬拰縐戠爺鏂歸潰浣跨敤瑙勫垯寮曟搸鐨勪竴浜涗緥瀛愶紝騫跺Drools欏圭洰鏈変簡(jiǎn)鍩烘湰鐨勪簡(jiǎn)瑙ｃ傚湪涓嬩竴綃囨枃绔犻噷錛屾垜灝嗚璁篋RL鏂囦歡鐨勭粨鏋勫拰Java璇?
涔夋ā鍧楋紝璁╀綘鍙互緙栧啓鑷繁鐨凞RL鏂囦歡銆傝繕灝嗗悜浣犺В閲婂浣曠紪鍐欎綘鑷繁鐨勮涔夋ā鍧楋紝璁ㄨsalience鍜寃orking memory鐨勬蹇點(diǎn)?/div>
<div><br><strong>璧勬簮</strong><br>路 <a target="_blank"><font color="#0d5d91">Drools Project</font></a> <br>路 <a target="_blank"><font color="#0d5d91">JSR-94 Specification</font></a></div>
<div> </div>
<div><strong>浣滆?/strong></div>
<div> N. Alex Rupp is a freelance software architect and developer
from Minneapolis, and the current JSR94 Lead for the Drools project.</div><img src ="http://www.tkk7.com/ericwang/aggbug/34784.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.tkk7.com/ericwang/" target="_blank">Dion</a> 2006-03-11 10:00 <a href="http://www.tkk7.com/ericwang/archive/2006/03/11/34784.html#Feedback" target="_blank" style="text-decoration:none;">鍙戣〃璇勮</a></div>]]></description></item><item><title>[杞琞Drools鐨勯厤緗枃浠?/title><link>http://www.tkk7.com/ericwang/archive/2006/03/11/34785.html</link><dc:creator>Dion</dc:creator><author>Dion</author><pubDate>Sat, 11 Mar 2006 02:00:00 GMT</pubDate><guid>http://www.tkk7.com/ericwang/archive/2006/03/11/34785.html</guid><wfw:comment>http://www.tkk7.com/ericwang/comments/34785.html</wfw:comment><comments>http://www.tkk7.com/ericwang/archive/2006/03/11/34785.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.tkk7.com/ericwang/comments/commentRss/34785.html</wfw:commentRss><trackback:ping>http://www.tkk7.com/ericwang/services/trackbacks/34785.html</trackback:ping><description><![CDATA[<p>鍓嶅嚑澶╄窡鐫鍐欎簡(jiǎn)涓涓畝鍗曠殑渚嬪瓙.<br>瑙夊緱Drools鐨勯厤緗篃娌℃湁浠涔?<br>浠婂ぉ鍦ㄨ繍琛宧ouse鐨勪緥瀛愮殑鏃跺? 鏃犺鎬庝箞鏍? 鎬繪槸寮傚父: 娌℃湁瀹氫箟鐨凷MF.<br>鏄劇劧娌℃湁鎵懼埌鎴戝畾涔夌殑drools.config鏂囦歡.<br>瀹樻柟緗戠珯涓婃槸榪欐牱鍐欏湴:<br>String droolsConfigProp = System.getProperty( "drools.conf" );<br><br>if ( droolsConfigProp != null )<br>{<br> loadConfig( droolsConfigProp );<br>}<br><br>ClassLoader cl = Thread.currentThread( ).getContextClassLoader( ); if ( cl == null )<br>{<br> cl = getClass( ).getClassLoader( );<br>}<br><br>Enumeration configUrls = cl.getResources( "META-INF/drools.conf" );<br><br>if ( !configUrls.hasMoreElements( ) )<br>{<br> cl = getClass( ).getClassLoader( );<br> configUrls = cl.getResources( "META-INF/drools.conf" );<br>}<br><br>if ( !configUrls.hasMoreElements( ) )<br>{<br> cl = ClassLoader.getSystemClassLoader( );<br> configUrls = cl.getResources( "META-INF/drools.conf" );<br>}<br><br>this.classLoader = cl;<br>while ( configUrls.hasMoreElements( ) )<br>{<br> URL configUrl = (URL) configUrls.nextElement( );<br> loadConfig( configUrl );<br>}</p>
濂藉儚姣忎竴涓棶鏃噷闈㈤兘鎵句簡(jiǎn), 涓轟粈涔堟病鏈夋壘鍒版垜鐨勫憿?<br>System.getProperty鎸囧悜鐨勪綅緗茍涓嶄竴瀹氬拰loadFromUrl浣嶇疆涓鏍?鍛靛懙.<img src ="http://www.tkk7.com/ericwang/aggbug/34785.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.tkk7.com/ericwang/" target="_blank">Dion</a> 2006-03-11 10:00 <a href="http://www.tkk7.com/ericwang/archive/2006/03/11/34785.html#Feedback" target="_blank" style="text-decoration:none;">鍙戣〃璇勮</a></div>]]></description></item><item><title>[杞琞浣跨敤Drools 鐨勯」鐩紩鐢?/title><link>http://www.tkk7.com/ericwang/archive/2006/03/11/34783.html</link><dc:creator>Dion</dc:creator><author>Dion</author><pubDate>Sat, 11 Mar 2006 01:59:00 GMT</pubDate><guid>http://www.tkk7.com/ericwang/archive/2006/03/11/34783.html</guid><wfw:comment>http://www.tkk7.com/ericwang/comments/34783.html</wfw:comment><comments>http://www.tkk7.com/ericwang/archive/2006/03/11/34783.html#Feedback</comments><slash:comments>0</slash:comments><wfw:commentRss>http://www.tkk7.com/ericwang/comments/commentRss/34783.html</wfw:commentRss><trackback:ping>http://www.tkk7.com/ericwang/services/trackbacks/34783.html</trackback:ping><description><![CDATA[<p>涓鑸儏鍐典笅, 鍙樉寮忓紩鐢?</p>
<ul><li>drools-all-2.0.jar</li><li>antlr-2.7.5.jar</li><li>xercesImpl-2.6.2.jar</li></ul>
<p>灝卞彲浠ヤ簡(jiǎn).褰撶劧ClassPath涓嬩篃瑕佺敤涓浜涘叾浠栫殑jar.<br>涓嬭澆浣嶇疆: <a ><font color="#0d5d91">http://dist.codehaus.org/drools/distributions/drools-2.0-bin-withdeps.zip</font></a></p>
<p>濡傛灉, 鍦―RL鏂囦歡涓畾涔変簡(jiǎn)Java Function, 榪欐椂鍊欏氨瑕佹樉寮忕殑寮曠敤:</p>
<ul><li>janino-2.3.2.jar</li></ul>
<p>榪欐椂鍊? 寮曟搸鏄渶瑕乯anino鎶奃RL涓殑java function鎻忚堪杞崲鎴愬彲鎵ц鐨勪簩榪涘埗浠ｇ爜(?)鐨?</p><img src ="http://www.tkk7.com/ericwang/aggbug/34783.html" width = "1" height = "1" /><br><br><div align=right><a style="text-decoration:none;" href="http://www.tkk7.com/ericwang/" target="_blank">Dion</a> 2006-03-11 09:59 <a href="http://www.tkk7.com/ericwang/archive/2006/03/11/34783.html#Feedback" target="_blank" style="text-decoration:none;">鍙戣〃璇勮</a></div>]]></description></item><item><title>[杞琞Open Source Rule Engines Written In Javahttp://www.tkk7.com/ericwang/archive/2006/03/11/34780.htmlDionDionSat, 11 Mar 2006 01:58:00 GMThttp://www.tkk7.com/ericwang/archive/2006/03/11/34780.htmlhttp://www.tkk7.com/ericwang/comments/34780.htmlhttp://www.tkk7.com/ericwang/archive/2006/03/11/34780.html#Feedback0http://www.tkk7.com/ericwang/comments/commentRss/34780.htmlhttp://www.tkk7.com/ericwang/services/trackbacks/34780.htmlOpen Source Rule Engines Written In Java
Drools
The drools engine uses a modified form of the Rete algorithm called the
Rete-OO algorithm. Internally it operates using the same concepts and
methods as Forgy's original but adds some node types required for
seemless integration with an object-oriented language.
OFBiz Rule Engine Backward chaining is supported. Original code base from "Building Parsers in Java" by Steven John Metsker.
Mandarax
Based on backward reasoning. The easy integration of all kinds of data
sources. E.g., database records can be easily integrated as sets of
facts and reflection is used in order to integrate functionality
available in the object model.
Algernon
Efficient and concise KB traversal and retrieval. Straightforward
access to ontology classes and instances. Supports both forward and
backward chaining.
TyRuBa
TyRuBa supports higher order logic programming: variables and compound
terms are allowed everywhere in queries and rules, also in the position
of a functor- or predicate-name. TyRuBa speeds up execution by making
specialized copies of the rule-base for each query in the program. It
does so incrementally while executing a logic program and builds an
index for fast access to rules and facts in the rule base, tuned to the
program that is running. The indexing techniques works also for
higher-order logic. TyRuBa does 'tabling' of query results.
JTP
Java Theorem Prover is based on a very simple and general reasoning
architecture. The modular character of the architecture makes it easy
to extend the system by adding new reasoning modules (reasoners), or by
customizing or rearranging existing ones.
JEOPS
JEOPS adds forward chaining, first-order production rules to Java
through a set of classes designed to provide this language with some
kind of declarative programming.
InfoSapient Semantics of business rules expressed using fuzzy logic.
JShop Simple Hierarchical Ordered Planner (SHOP) written in Java.
RDFExpert
RDF-driven expert system shell. The RDFExpert software uses Brian
McBride's JENA API and parser. A simple expert system shell that uses
RDF for all of its input: knowledge base, inference rules and elements
of the resolution strategy employed. It supports forward and backward
chaining.
Jena 2
- Jena is a Java framework for writing Semantic Web applications. Jena2
has a reasoner subsystem which includes a generic rule based inference
engine together with configured rule sets for RDFS and for the OWL/Lite
subset of OWL Full. These reasoners can be used to construct inference
models which show the RDF statements entailed by the data being
reasoned over. The subsystem is designed to be extensible so that it
should be possible to plug a range of external reasoners into Jena,
though worked examples of doing so are left to a future release.
JLisa
- JLisa is a powerful framework for building business rules accessible
to Java and it is compatible with JSR-94. JLisa is more powerful than
Clips because it has the expanded benefit of having all the features
from common lisp available. These features are essential for
multi-paradigm software development
Euler
- Euler is a backward-chaining reasoner enhanced with Euler path
detection and will tell you whether a given set of facts and rules
supports a given conclusion. Things are described in N3.
JLog
- JLog is an implementation of a Prolog interpreter, written in Java.
It includes built-in source editor, query panels, online help,
animation primitives, and a GUI debugger.
Pellet OWL Reasoner
- Pellet is an open-source Java based OWL DL reasoner. It can be used
in conjunction with either Jena or OWL API libraries. Pellet API
provides functionalities to see the species validation, check
consistency of ontologies, classify the taxonomy, check entailments and
answer a subset of RDQL queries (known as ABox queries in DL
terminology). Pellet is an OWL DL reasoner based on the tableaux
algorithms developed for expressive Description Logics.
Prova
- Prova is derived from Mandarax Java-based inference system developed
by Jens Dietrich. Prova extends Mandarax by providing a proper language
syntax, native syntax integration with Java, and agent messaging and
reaction rules. The development of this language was supported by the
grant provided within the EU project GeneStream. In the project, the
language is used as a rules-based backbone for distributed web
applications in biomedical data integration.