'/ZRUNEHQFKDPHWDPRGHOLQJDSSURDFKWRRQWRORJ\
PDQLSXODWLRQ
0LNKDLO.$=$.29+DELE$%'8/5$%
5HVHDUFKGLYLVLRQ2SHQ&DVFDGH6$6DFOD\)UDQFH PLNKDLOND]DNRY#RSHQFDVFDGHFRP
36,ODERUDWRLUH,16$GH5RXHQ%30RQW6DLQW$LJQDQ)UDQFH DEGXOUDE#LQVDURXHQIU
1RZDGD\V PDQ\ RQWRORJLFDO HGLWRUV DUH DYDLODEOH +RZHYHU VHYHUDO VSHFLILF UHTXLUHPHQWVIRUFHGXVWRGHYHORSDQHZRQWRORJ\HGLWLRQSODWIRUPZKLFKZH FDOO'/ZRUNEHQFK'/ZRUNEHQFKFRQWDLQVWKUHHPDLQPRGXOHV)LUVWPRGXOH GHILQHVDPHWDPRGHOIRUGHVFULSWLRQRIRQWRORJLFDOIRUPDOLVPV,WSURYLGHVDQ
$3,WKDWDOORZVPDQDJHPHQWRIRQWRORJLFDOHQWLWLHVFRQWDLQHUVRIHQWLWLHVDQG PDQ\RWKHUIHDWXUHVWKDWDUHXVHIXOZKHQRQHQHHGVWRXVHDQRQWRORJLFDOPRGHO ZLWKLQ LWV SURMHFW $ VHFRQG PRGXOH RI '/ZRUNEHQFK LV D IRUPDOLVP LQGHSHQGHQW SURFHVVLQJ PRGXOH ZLWK LQWHJUDWHG *8, IRU HGLWLRQ RI HOHPHQWV EDVHGRQWKHPHWDPRGHO7KLVPRGXOHXVHVWKHPHWDPRGHODQGLVLPSOHPHQWHG DV D SOXJLQ WR WKH ,%0 (FOLSVH SODWIRUP $ WKLUG PRGXOH GHILQHV WKH 6+,4 GHVFULSWLRQORJLFIRUPDOLVPXVLQJWKHPHWDPRGHO7KHWKLUGPRGXOHFXVWRPL]HV DOVRWKHXVHULQWHUIDFHLPDJHVHWF'$0/2,/LVXVHGZLWKLQWKLVPRGXOHDV D SHUVLVWHQW IRUPDW '/ZRUNEHQFK SD\V PXFK DWWHQWLRQ WR HGLWLRQ RI ORJLFDO HTXDWLRQV DQG WR PDQDJHPHQW RI D JURXS RI RQWRORJLHV ZLWKLQ D SURMHFW '/
ZRUNEHQFKDOORZVHDV\LQWHJUDWLRQRIRQWRORJLFDOPRGHOZLWKRWKHUGDWDLQVLGH RQHVWDQGDORQHRUGLVWULEXWHGDSSOLFDWLRQ'/ZRUNEHQFKFDQEHXVHGERWKDV WKHRQWRORJLFDOHGLWRUDQGDVDQRQWRORJ\PDQLSXODWLRQSODWIRUPLQWHJUDWHGZLWK RWKHUWRROVDQGHQYLURQPHQWV7KLVSDSHUGHVFULEHVRXUPRWLYDWLRQIRUFUHDWLRQ RI '/ZRUNEHQFK LPSOHPHQWHG IHDWXUHV DQG OHVVRQV OHDUQHG IURP LPSOHPHQWDWLRQRIRQWRORJLFDOHGLWRU
,QWURGXFWLRQ
2QWRORJLHVKDYHEHFRPHDQLQFUHDVLQJO\LPSRUWDQWUHVHDUFKWRSLF7KLVLVDUHVXOWRI WKHLU XVHIXOQHVV LQ PDQ\ DSSOLFDWLRQ GRPDLQV VRIWZDUH HQJLQHHULQJ GDWDEDVHV PHGLFDO GRPDLQ FRQFHSWXDO PRGHOLQJ HWF DQG WKH UROH WKH\ ZLOO SOD\ LQ WKH GHYHORSPHQW RI HPHUJLQJ 6HPDQWLF :HE DFWLYLW\ ,W LV FOHDU WKDW GHYHORSPHQW DQG PDQLSXODWLRQ RI RQWRORJLHV KDYH WR EH VXSSRUWHG E\ FRUUHVSRQGLQJ VRIWZDUH WRROV DQQRWDWLRQWRROVHGLWRUVUHDVRQHUVHWFDQGVWDQGDUGV2:/>@HWF
1RZDGD\V PDQ\ DSSOLFDWLRQ GRPDLQV DUH ORRNLQJ IRU XVH RI RQWRORJLHV (DFK GRPDLQ WKDW XVHV RQWRORJLHV VHWV LWV RZQ UHTXLUHPHQWV IRU WRROV 2QH RI VXFK GRPDLQVLVVRIWZDUHLQWHJUDWLRQ7KHPDLQFKDOOHQJHRIVRIWZDUHLQWHJUDWLRQLVKRZWR PDNHZRUNLQJWRJHWKHUVRIWZDUHHQWLWLHVWKDWZHUHQRWLQLWLDOO\FUHDWHGWRZRUNZLWK HDFKRWKHU:HDUHFXUUHQWO\ZRUNLQJRQWKHWRSLFRIVHPLDXWRPDWHGLQWHJUDWLRQRI
YDULRXVQXPHULFDOVLPXODWLRQPXOWLSK\VLFVVROYHUV>@+HUHWKHXVHRIRQWRORJLHVDV IRUPDOGHVFULSWLRQPRGHOVKHOSVWRVKDUHDFRPPRQYLHZRQVSHFLILFDWLRQRIVROYHUV WKDWFRPHIURPGLIIHUHQWYHQGRUV,QWHJUDWLRQWRSLFLVRXWRIWKHVFRSHRIWKLVDUWLFOH DQGZLOOEHSXEOLVKHGLQDVHSDUDWHSDSHU6RPHSUHOLPLQDU\UHVXOWVDUHJLYHQLQ>@
6LQFHZHXVHORJLFDOPRGHOVLQRXUVSHFLILFGRPDLQZHQHHGDIRUPDOLVPWKDWZLOO EHXVHGIRUFUHDWLRQRIWKHVHPRGHOVDQGWRROVWKDWVXSSRUWWKHIRUPDOLVPFUHDWLRQRI RQWRORJLHVDQGUHDVRQLQJ$OVRZHQHHGDQ$3,WKDWDOORZVXVWRLQWHJUDWHDOOWKHVH WRROV ZLWK VRIWZDUH VSHFLILF WR WKH LQWHJUDWLRQ GRPDLQ 7DNLQJ LQWR DFFRXQW WKH UHVHDUFK RULJLQ RI RXU ZRUN ZH KDYH IRUPXODWHG D VHW RI UHTXLUHPHQWV IRU DQ RQWRORJLFDOWRROWKDWZRXOGEHFRQYHQLHQWIRUXVWKHVDPHUHTXLUHPHQWVDULVHRIWHQ ZLWKLQWKHYDULHW\RIRWKHUGRPDLQV
• )XOOVXSSRUWRIDWOHDVWRQHRIRQWRORJLFDOIRUPDOLVPV6HYHUDOIRUPDOLVPVDUH SUHIHUUHG IRU UHVHDUFK SXUSRVH 'XULQJ WKH ZRUN RQ RXU UHVHDUFK SURMHFW GHGLFDWHG WR VHPLDXWRPDWHG LQWHJUDWLRQ ZH H[SHULPHQWHG ZLWK VHYHUDO RQWRORJLFDOIRUPDOLVPDQGDWWKHPRPHQWRI'/ZRUNEHQFKFUHDWLRQZHZHUH QRWVXUHZKHWKHUGHVFULSWLRQORJLFVDUHDSSURSULDWHRUQRWIRURXUUHVHDUFK
• &RQYHQLHQW XVHU LQWHUIDFH WR ZRUN ZLWK FRPSOH[ ORJLFDO H[SUHVVLRQV ZLWK DELOLW\WRPRGLI\WKHVWUXFWXUHRIH[SUHVVLRQVYLDWKHJUDSKLFDOXVHULQWHUIDFH :KLOHWU\LQJVHYHUDORQWRORJLFDOHGLWRUVZHIRXQGWKDWPRVWRIWKHRQWRORJLFDO editors don’t implement expression editors. Those who implement them were QRWFRQYHQLHQWIURPRXUSRLQWRIYLHZ
• 3UHVHQFH RI UHDVRQHU FRQQHFWLRQ IRU LPSOHPHQWHG IRUPDOLVPV :LWKLQ RXU UHVHDUFK ZH KDYH WR ZRUN ZLWK FRPSOH[ ORJLFDO D[LRPV DQG RQWRORJLFDO PRGHOV 7KHVH UHTXLUH WKH SUHVHQFH RI UHDVRQHU ERWK IRU YDOLGDWLRQ RI RQWRORJLHVDQGIRUSHUIRUPLQJRIDGGLWLRQDOUHDVRQLQJWDVNVWKDWDUHGHGLFDWHG WRVHPLDXWRPDWHGLQWHJUDWLRQRIVRIWZDUHFRPSRQHQWV
• $ELOLW\WRLQWHJUDWHWKDWWRROLQWRDVSHFLILFGRPDLQHQYLURQPHQW2XUUHVHDUFK LVGHGLFDWHGWRLQWHJUDWLRQHQYLURQPHQWVWKDWDOUHDG\H[LVWDVSUHUHTXLVLWH7KH QH[WUHTXLUHPHQWLVFRPLQJIURPWKHVDPHRULJLQ
• $ELOLW\ WR PDQLSXODWH RQWRORJLHV DQG WKHLU HOHPHQWV IURP VSHFLILF GRPDLQ HQYLURQPHQW:HQHHGWKDWLQRUGHUWRPHUJHVHYHUDORQWRORJLFDOIRUPDOLVPV ZLWKLQWKHVDPHHQYLURQPHQW)RUH[DPSOHWKHRQWRORJLFDOGDWDLVPHUJHGZLWK VSHFLILFDWLRQVRI-DYDLQWHUIDFHV
• Ability to work with structured “ontological projects” but not with “files”.
)ROORZLQJ RXU PHWKRGRORJ\ RI VHPLDXWRPDWHG LQWHJUDWLRQ ZH QHHG WR ZRUN ZLWKVHYHUDOVHSDUDWHGRQWRORJLFDO ILOHVDWWKHVDPHWLPH 0DQDJLQJRIWKHVH files within the “project”OLNHHQYLURQPHQWVHHPVWREHDQDFFHSWDEOHVROXWLRQ 0RVW RI WKH SHRSOH LQ VRIWZDUH HQJLQHHULQJ ZKR ZLOO XVH RXU SURGXFWV DUH IDPLOLDUZLWKWKLVFRQFHSW
• )DVWDQGSRUWDEOHXVHULQWHUIDFHDQGSUHVHQFHRIH[WHQVLRQSRLQWV
6WXG\LQJWKHVWDWHRIWKHDUWZHGLGQRWILQGDQ\WRROWKDWFRXOGFRPSO\ZLWKRXU UHTXLUHPHQWV7KXVWKHGHFLVLRQWRFUHDWHRZQSODWIRUPZDVWDNHQ7KHQDPHRIWKH SODWIRUP LV '/ZRUNEHQFK VKRUW RI 'HVFULSWLRQ /RJLF :RUNEHQFK VLQFH 6+,4 GHVFULSWLRQORJLF>@LVWKHPDLQIRUPDOLVPWKDWLVXVHG'/ZRUNEHQFKLVSXEOLVKHG QRZXQGHURSHQVRXUFHOLFHQVHKWWSZZZRSHQFDVFDGHRUJGOZRUNEHQFK
6HPDQWLF :HE DFWLYLW\ LV DQ LPSRUWDQW ZRUOGZLGH HIIRUW WKDW FRPELQHV PDQ\
WHFKQLTXHV DQG WRXFKHV PDQ\ DSSOLFDWLRQ GRPDLQV :H KRSH WKDW RXU H[SHULHQFH LQ FUHDWLQJRIVRIWZDUHWRROVIRUPDQLSXODWLRQRIRQWRORJLHVDQG'/ZRUNEHQFKLWVHOI ZLOOEHXVHIXOIRUWKHVHPDQWLFZHEFRPPXQLW\7KLVSDSHUGHVFULEHVDPHWDPRGHO DSSURDFKWKDW ZDV XVHG IRUFUHDWLRQRI'OZRUNEHQFK )LUVW ZHJLYHWKHFRQFHSWRI '/ZRUNEHQFKDQGRXUPRWLYDWLRQV)XUWKHUZHGHVFULEHWKHPHWDPRGHONHUQHODQG RWKHUPRGXOHV$WWKHHQGZHVKDUHVRPHRIOHVVRQVOHDUQHGGXULQJFUHDWLRQRIWKLV WRRO
'/ZRUNEHQFKFRQFHSWLRQ
7KHQH[WOLVWRISULQFLSOHVDQGLWFRQVWLWXWHVWKHPDLQFRQFHSWRI'/ZRUNEHQFK • '/ZRUNEHQFKLVEDVHGRQDPHWDPRGHOWKDWLVFDSDEOHWRGHVFULEHWKHVWUXFWXUH
RIRQWRORJLFDOIRUPDOLVPVDQGGDWDWKDWLVXVHGZLWKLQDVSHFLILFGRPDLQ
• '/ZRUNEHQFKKDVDPRGXODUSOXJLQEDVHGDUFKLWHFWXUHZLWKFOHDUO\VSHFLILHG GHSHQGHQFLHVDPRQJPRGXOHV
• 0DLQSURFHVVLQJPRGXOHRI'/ZRUNEHQFKLVEDVHGRQO\RQWKHPHWDPRGHODQG GRHVQRWGHSHQGRQDQ\RIVSHFLILFIRUPDOLVPV7KLVPRGXOHLPSOHPHQWVIHDWXUHV VXFK DV SHUVLVWHQFH VNHOHWRQ WUDFNLQJ RI FKDQJHV WUDQVDFWLRQV OLIHF\FOH RI LQVWDQFHVDQGPDQ\RWKHUV
• (DFKJHQHULFPRGXOHSURYLGHVDVHWRIGRFXPHQWHGH[WHQVLRQSRLQWVWKDWFDQEH XVHGE\RWKHUPRGXOHVVRIWZDUHWRFXVWRPL]HWKHSODWIRUP
• 7KHZRUNZLWKRQWRORJLHVLVSHUIRUPHGXVLQJDQRWLRQRIDSURMHFW$SURMHFWKHUH LVDVWUXFWXUHGVHWRIRQWRORJLFDOILOHVRQWRORJLFDOUHVRXUFHVDQGRWKHUGRPDLQ VSHFLILFGDWDLIQHHGHG
• '/ZRUNEHQFKGHILQHVDQLQWHUQDOGDWDPRGHO and “UIready” data model. That DOORZV RUJDQL]DWLRQ RI GLIIHUHQW YLHZV RQ WKH VDPH GDWD L H SURMHFW YLHZ QDPHVSDFHYLHZWD[RQRP\YLHZ
• '/ZRUNEHQFK VXSSRUWV PDQLSXODWLRQHGLWLRQ RI FRPSOH[ H[SUHVVLRQV DQG D[LRPV ,Q PDQ\ DSSOLFDWLRQ GRPDLQV WKH FRPSOete and “reasoningable”
RQWRORJLHVUHTXLUHWKHXVHRIORJLFDOH[SUHVVLRQVDQGD[LRPV
• '/ZRUNEHQFKSURYLGHVWKHXVHULQWHUIDFHRIDQRQWRORJLFDOHGLWRU
:HVWURQJO\EHOLHYHWKDWDQ RQWRORJLFDO PDQLSXODWLRQSODWIRUP VKDOOEHEDVHGRQ WKHVHSULQFLSOHVWREHLQWHURSHUDEOHDQGXVHIXOIRUUHVHDUFKHUVVRIWZDUHDUFKLWHFWVDQG HQG XVHUV '/ZRUNEHQFK VRXUFH FRGH LV SXEOLF DQG ZH KRSH LW ZLOO EH XVHIXO IRU YHQGRUVRIRQWRORJ\HGLWLRQWRROV
'/ZRUNEHQFK FDQ EH YLHZHG ERWK DV D PHWDPRGHO EDVHG SODWIRUP IRU FUHDWLQJ RQWRORJ\PDQLSXODWLRQ WRROV DQG DV DQ RQWRORJLFDO HGLWRU WKDW VXSSRUWV 6+,4 GHVFULSWLRQORJLFLHWKHPHWDPRGHOLVXVHGWRGHILQH6+,4PRGHO'/ZRUNEHQFK
7UDQVDFWLRQVXSSRUWLVQRWLPSOHPHQWHGLQWKHFXUUHQWYHUVLRQRI'/ZRUNEHQFK
XVHV '$0/2,/ >@ DV SHUVLVWHQW IRUPDW DQG 5DFHU >@ DV '/ UHDVRQHU '/
ZRUNEHQFKLVLPSOHPHQWHGDVDVHWRISOXJLQVWR,%0(FOLSVHSODWIRUP>@(FOLSVH LVDQHPHUJLQJRSHQVRXUFHHQYLURQPHQWIRUFUHDWLRQRISURMHFWEDVHGWRROV
'/ZRUNEHQFKVWUXFWXUH
0HWDPRGHO
7KHPDMRUDGYDQWDJHRIWKH'/ZRUNEHQFKLVLWVPHWDPRGHOEDVHGDUFKLWHFWXUH,W DOORZVHDV\WRXVHGHILQLWLRQRIHQWLWLHVDQGUHODWLRQVRIDQRQWRORJLFDOIRUPDOLVPWKDW KDVWREHXVHGZLWKLQWKHZRUNEHQFK7KHPHWDPRGHOLVLPSOHPHQWHGDVDVHWRI-DYD LQWHUIDFHV IRU WKH FRQYHQLHQFH RI XVH IURP SURJUDPPLQJ HQYLURQPHQWV -DYD SURJUDPPLQJ LV LQYROYHG IRU LQVWDQWLDWLRQ RI WKH PHWDPRGHO 7KLV LV DQ H[SOLFLW GHVLJQFKRLFH:HEHQHILWRIH[LVWLQJW\SHFKHFNLQJV\VWHPDQGDEVHQFHRIDQRWKHU FRPSLOHU 7KDW PDNHV WKH REMHFWV LQVWDQWLDWHG IURP PHWDREMHFWV ZRUNLQJ YHU\ IDVW 7KHSRZHURI-DYDODQJXDJHFDQEHXVHGIRUGHILQLWLRQRIEHKDYLRUDOSDUWVRIWKHPHWD PRGHO 0RUHRYHU PRVW RI WKH SHRSOH ZRUNLQJ LQ LQWHJUDWLRQ DUHD DUH IDPLOLDU ZLWK -DYD$PHWDPRGHOLVDODQJXDJHWKDWLVXVHGIRUGHVFULSWLRQRIRQWRORJLFDOIRUPDOLVPV E\VSHFLI\LQJWKHLUHOHPHQWVVWUXFWXUHDQGLQYDULDQWVLQYDULDQWVKDYHWREHVDWLVILHG ZKHQLQVWDQFHVRIWKHVHHOHPHQWVDUHFUHDWHGRUPRGLILHG)RUH[DPSOHRQHQHHGVWR ZRUNZLWKDVLPSOHSURSRVLWLRQDOORJLFWKDWLQFOXGHVQRWLRQVRI“DWRPLFSURSRVLWLRQ” DQG “composite SURSRVLWLRQ” H[SUHVVHG YLD ORJLFDO H[SUHVVLRQ ZLWK FRQMXQFWLRQ GLVMXQFWLRQDQGQHJDWLRQRSHUDQGV
2XUPHWDPRGHOLVLPSOHPHQWHGDVDOLJKWPRGXOHDQGLVLQGHSHQGHQWIURP(FOLSVH RU DQ\ RWKHU WRRO 7KH PDLQ JRDO RI WKH PRGXOH LV WR DFKLHYH WKH PD[LPDO OHYHO RI LQGHSHQGHQFHIURPVSHFLILFIRUPDOLVPDQGWRHQDEOHLPSOHPHQWLQJJHQHULFVRIWZDUH IHDWXUHV REMHFW OLIHF\FOH WUDQVDFWLRQV HWF 7KH PRGXOH DOVR KHOSV DFKLHYLQJ WKH LQWHURSHUDELOLW\DPRQJGLIIHUHQWWRROVE\VKDULQJWKHVDPHPHWDPRGHO
7KHPHWDPRGHOLVEDVLFDOO\LQWHQGHGIRUVSHFLI\LQJVWUXFWXUDOPRGHOV6HPDQWLFV RIWKHPHWDPRGHOZHUHLQVSLUHGE\'HVFULSWLRQ/RJLFV>@:HWULHGWRNHHSWKHPHWD PRGHODVVLPSOHDVSRVVLEOHEXWSRZHUIXOHQRXJKIRUPDQ\SRVVLEOHQHHGV
7KH PDLQ HOHPHQW RI PHWDPRGHO LV D PHWDFRQFHSW ,0HWD&RQFHSW -DYD LQWHUIDFH ,W UHSUHVHQWV DQ\ W\SHG HOHPHQW ZLWK D VHW RI SURSHUWLHV )RU H[DPSOH
“Expression”, “proposition”, “atomic proposition”, “logical operand” are the LQVWDQFHVRIPHWDFRQFHSW(DFKPHWDFRQFHSWKDVDPHWDQDPHWKDWLVUHSUHVHQWHGLQ DIRUPRIMDYDLQWHUIDFH7KHWD[RQRP\RIWKHVH-DYDLQWHUIDFHVGHILQHVWKHWD[RQRP\
LH VXEVXPSWLRQ UHODWLRQVKLSV RI FRUUHVSRQGHG PHWDFRQFHSW LQVWDQFHV )RU example: an “atomic proposition” is a “proposition” and an “expression”ZLWKDWRPLF propositions is also a “proposition”.
:HFRQVLGHUXVLQJWKH2:/ODQJXDJH>@LQVWHDGRI'$0/2,/DVVRRQDV2:/SDUVHUV ZLOODSSHDURQWKHPDUNHW
$QRWKHULPSRUWDQWHOHPHQWRIDPHWDPRGHOLVDPHWDSURSHUW\,0HWD3URSHUW\
-DYDLQWHUIDFH $ PHWDSURSHUW\UHSUHVHQWVDSURSHUW\WKDWFDQSRWHQWLDOO\UHVWULFWD PHWDFRQFHSWVLPLODUWRGHVFULSWLRQORJLc semantics of “property”)RUH[DPSOHWKH
“atomic proposition” concept has “name” SURSHUW\ DQ“expression” concept has
“operand”, “left part” and “right part” properties.0HWDSURSHUW\DOVRKDVDPHWDQDPH WKDW LV UHSUHVHQWHG LQ WKH VDPH ZD\ DV IRU PHWDFRQFHSWV LH LQ WKH IRUP RI -DYD LQWHUIDFHV(DFKPHWDFRQFHSWLQVWDQFHPD\KDYHDVHWRIPHWDSURSHUW\LQVWDQFHVDV LWVGHILQLWLRQ$QLQVWDQFHRIPHWDFRQFHSWWKDWLQKHULWVRWKHUPHWDFRQFHSWVDOVRWDNHV DOO WKHLU SURSHUWLHV *HQHUDOO\ WKH PRVW VSHFLILF PHWDFRQFHSW LV UHVWULFWHG E\ WKH WUDQVLWLYHFORVXUHRIDOOWKHSURSHUWLHV
$Q\PHWDSURSHUW\KDVWKHQRWLRQRIGRPDLQUHVWULFWLRQUDQJHUHVWULFWLRQLQYHUVH SURSHUW\ UHVWULFWLRQ DQG WUDQVLWLYLW\ 6HPDQWLFV RI DOO WKHVH QRWLRQV PHWDFRQFHSW PHWDSURSHUW\ GRPDLQ UDQJH HWF DUH YHU\ FORVH WR VHPDQWLFV RI FRUUHVSRQGHG HOHPHQWVIURPGHVFULSWLRQORJLFV>@
,QDGGLWLRQWRWKHVHVHPDQWLFVHDFKPHWDSURSHUW\FDQEHDXJPHQWHGZLWKDSUH SRVW SURFHVVLQJ KDQGOHU IRU FKHFNLQJ WKH LQYDULDQW FRQGLWLRQV RI JLYHQ SURSHUW\
YDOXHV)RUH[DPSOHthe “name” propertyRIWKH“proposition”FRQFHSWKDVD“String”
W\SH,WPXVWEHFRPSODLQWZLWKWKH85,VSHFLILFDWLRQLHQRVSDFHVTXRWHVHWF$Q LQYDULDQWKDQGOHUWKDWGRHVVXFKFKHFNFDQEHZULWWHQIRUthe “name”SURSHUW\
7KH PHWDPRGHO LQFOXGHV D VLPSOH W\SH V\VWHP 7\SHV DUH XVHG WR GHILQH PHWD SURSHUW\ UDQJH UHVWULFWLRQV DQG WR W\SH LQVWDQFHV RI PHWDPRGHO HOHPHQWV 7\SH V\VWHPLQFOXGHVVLQJXODUW\SHVDQGFROOHFWLRQW\SHV$VLQJXODUW\SHFDQEHSULPLWLYH 6WULQJ %RROHDQ ,QWHJHU )ORDW DQG (QXPHUDWLRQ RU D PHWDFRQFHSW LQVWDQFH
&ROOHFWLRQW\SHLVGHILQHGE\WKHW\SHRILWVHOHPHQWVDQ\RWKHUW\SH
,Q RUGHU WR VSHFLI\ VRPH ORJLFDO PRGHO IRUPDOLVP PHWDFRQFHSW DQG PHWD SURSHUW\FODVVHV PXVWEHLQVWDQWLDWHG$ VSHFLDO PHWDPRGHOIDFWRU\LVLPSOHPHQWHG ZLWKLQ '/ZRUNEHQFK WR IDFLOLWDWH WKLV WDVN ,W LV ZRUWK WR PHQWLRQ WKDW PDQ\
IRUPDOLVPVFDQH[LVWDWWKHVDPHWLPHFDQVKDUHWKHLUGHILQLWLRQVDQGFDQEHVHDUFKHG IRUVSHFLILFPHWDFRQFHSWVDQGPHWDSURSHUWLHV
Here it’s necessary to mention, WKDW WKUHH PHWDPRGHOLQJ OHYHOV H[LVW ,0HWD&RQFHSWLQWHUIDFHFDUULHVWKHQRWLRQof “metaconcept”, its Java instance is a VSHFLILF LQVWDQFH RIthe “PHWDFRQFHSW” PRGHO FRQFHSW DQG,0RGHO,QVWDQFH LQWHUIDFHVSHFLI\DQLQVWDQFHRIWKHPRGHOFRQFHSWLHPRGHOLQVWDQFH,QRUGHUWR LQVWDQWLDWH WKH IRUPDOLVP WKH QRWLRQ RI YDOXH LV GHILQHG ,9DOXH LQWHUIDFH (YHU\
SULPLWLYH W\SH DQG FROOHFWLRQ KDV LWV YDOXH REMHFW ,3ULPLWLYH9DOXH ,0RGHO&ROOHFWLRQ (YHU\ LQVWDQFH RI PHWDFRQFHSW ZLWKLQ VRPH IRUPDOLVP FDQ KDYHPDQ\PRGHOLQVWDQFHVUHSUHVHQWHGE\LQVWDQFHVRI,0RGHO,QVWDQFHLQWHUIDFH
(DFKPRGHOLQVWDQFHKDVLWVW\SHUHSUHVHQWHGE\DPHWDFRQFHSWLQVWDQFHDQGDVHW RIYDOXHVDFFRUGLQJWRSURSHUWLHVRIWKHPRGHOFRQFHSW)RUH[DPSOHDPRGHOLQVWDQFH of “expression” metaFRQFHSWFDQEHFUHDWHGZLWKWKUHHYDOXHVRIWKHLUSURSHUWLHV
• “left part”: PRGHOLQVWDQFH of type : “atomic SURS”“name” = “MARY”6WULQJ
• “operand”PRGHOLnstance of type : “conjunction”
• “right part”PRGHOLQVWDQFHW\SH“DWRPLFSURS”“QDPH” = “PETER”6WULQJ
$V ZH FDQ VHH WKH LQVWDQFHV RI WKH DERYH PHQWLRQHG VLPSOH SURSRVLWLRQDO IRUPDOLVP DUH H[SUHVVHG LQ WHUPV RI PHWDPRGHO 7KH VWUXFWXUH RI WKH RQWRORJLFDO IRUPDOLVP FDQ EH HDVLO\ WUDYHUVHG E\ DQ\ DSSOLFDWLRQ &RQVHTXHQWO\ DQ RQWRORJLFDO HGLWRUWKDWVXSSRUWVRQO\WKHQRWLRQRIFRQFHSW–SURSHUW\–YDOXHWULSOHFDQEHHDVLO\
LPSOHPHQWHG7KDWLVH[WUHPHO\LPSRUWDQWIRUVSHFLILFDSSOLFDWLRQGRPDLQVZKHUHWKH RQWRORJLFDOLQIRUPDWLRQPXVWEHLQFOXGHGZLWKLQVRPHRWKHUDSSOLFDWLRQ
7KH ODVW HOHPHQW RI PHWDmodel is a “&RQWDLQHU”. Container LV D FROOHFWLRQ RI PRGHO LQVWDQFHV RU RWKHU FRQWDLQHUV WKDW VXSSRUWV EDVLF RSHUDWLRQV RI DGGLWLRQ UHPRYDO LWHUDWLRQ FKHFNLQJ RI FRQWDLQPHQW DQG VL]H UHTXHVW &UHDWLRQ RI G\QDPLF JURXSV RI HOHPHQWV LV XVHIXO ZKHQ VHQGLQJ LQIRUPDWLRQ WR UHDVRQHU VDYLQJ VXE RQWRORJ\FODVVLI\LQJHOHPHQWVHWF
:HXVHWKHVDPHPHWDPRGHOIRUGHVFULSWLRQRI-DYDLQWHUIDFHVZLWKLQWKHVRIWZDUH LQWHJUDWLRQGRPDLQ7KHPHWDPRGHOLVJHQHULFHQRXJKZKLOHKDYLQJULFKVHPDQWLFV 0DQ\VWUXFWXUDOGDWDIRUPDOLVPVFDQEHHDVLO\H[SUHVVHGLQWKHSUHVHQWHGPHWDPRGHO 7KHPHWDPRGHONHUQHOKDVDVPDOODEVWUDFW PRGHOH[SUHVVHGE\ PHDQVRI PHWD PRGHO,WFRQWDLQVWKHPRVWXVHIXOVHPDQWLFVXFKDVQDPHGREMHFWQDPHVSDFHJHQHULF H[SUHVVLRQ DQG PDQ\ RWKHUV :H EHOLHYH WKDW WKLV PRGHO LV XVHIXO IRU H[SUHVVLQJ GLIIHUHQW IRUPDOLVPV 7KH '/ZRUNEHQFK PHWDPRGHO GRFXPHQWDWLRQ >@ PD\ EH FRQVXOWHGIRUIXUWKHULQIRUPDWLRQ
7KHPHWDPRGHONHUQHOSXEOLVKHVDQ$3,WKDWDOORZVGHILQLQJDQGPDQLSXODWLQJWKH PHWDPRGHO LQVWDQFHV PRGHOV LQVWDQWLDWLRQ RI WKHVH PRGHOV PDQLSXODWLRQ RI LQVWDQFHVRIPRGHOVIRUH[DPSOHRQWRORJLFDOHOHPHQWVDQGPDQ\RWKHUIHDWXUHV
3URFHVVLQJPRGXOH
$ JHQHULF PRGHO SURFHVVLQJ PRGXOH LPSOHPHQWV PDQLSXODWLRQ DQG HGLWLRQ RI RQWRORJLHV7KLVPRGXOHLVLQWHJUDWHGZLWK(FOLSVHZRUNVSDFHDQGGHSHQGVRQO\RQWKH PHWDPRGHO PRGXOH (FOLSVH IUDPHZRUN SURYLGHV XV ZLWK WKH SURMHFWRULHQWHG ZRUNVSDFH7KHIUDPHZRUNHQDEOHVWUDQVSDUHQWFRQQHFWLRQWRPDQ\HQYLURQPHQWVRI VRIWZDUHLQWHJUDWLRQGRPDLQ,%0:HE6SKHUHVRPH80/WRROVHWF
7KH SURFHVVLQJ PRGXOH LPSOHPHQWV the “view” and “controller” FRQFHSWV DFFRUGLQJ WR WKH 0RGHO9LHZController paradigm. Here the “model” concept is UHSUHVHQWHGE\DIRUPDOLVPWKDWLVDQLQVWDQFHRIWKHPHWDmodel. “Controller” can be YLHZHUDVWKH 8,RSHUDWLRQV“View” GDWD PRGHOLVEXLOWRQWRSRI PHWDPRGHODQG HQDEOHVPDQ\UHSUHVHQWDWLRQVIRUVSHFLILHGIRUPDOLVP$QRQWRORJLFDOSURMHFWFDQEH YLHZHGE\GHIDXOWDV
• DVWUXFWXUHGVHWRISHUVLVWHGRQWRORJLHVILOHV
• DVHWRIQDPHVSDFHVLQFDVHLIIRUPDOLVPVXSSRUWVQDPHVSDFH
• HDFK HOHPHQW RI VRPH IRUPDOLVP LV SUHVHQWHG E\ D WUHH LQFOXGLQJ SURSHUWLHV RI FRUUHVSRQGHGPHWDHOHPHQWVDQGWKHLUW\SHGYDOXHV
7KH SURFHVVLQJ PRGXOH GHILQHV DOO WKH JHQHULF 8, RSHUDWLRQV IRU OLIHF\FOH RI PRGHOLQVWDQFHVLQGHSHQGHQWO\RIWKH IRUPDOLVP XVHG3URFHVVLQJ PRGXOH JHQHUDWHV XVHULQWHUIDFHFRQWUROVIROORZLQJWKHVWUXFWXUHRIDJLYHQPRGHOLQVWDQFH)RUH[DPSOH WKH“expression”PHWDFRQFHSWinstance has two properties of type “proposition” and RQH SURSHUW\ RI W\SH HQXPHUDWLRQ ,Q WKLV FDVH ZKHQ D XVHU DVNV IRU HGLWLRQ RI DQ LQVWDQFHRI“expression”WKUHHJURXSVRIFRQWUROVZLOOEHJHQHUDWHGLQGHSHQGHQWO\RQ WKHHQGXVHUVHPDQWics of “expression”7KLVSULQFLSOHZRUNVIRUDQ\RSHUDWLRQZLWKLQ WKHPRGXOH8VHULQWHUIDFHHOHPHQWVDUHFUHDWHGRQO\RQFHIRUHDFKW\SHRIHOHPHQWV
DQGFDVKHGWRUHGXFH XQQHFHVVDU\26LQWHUDFWLRQV(DFK PRGXOHGHSHQGHQWRQWKLV RQHPXVWVSHFLI\WKHIRUPDOLVPLWVHOIDQGLWV8,UHVRXUFHVLFRQVQDPHVRUGHUHWF 6HYHUDOFRQFXUUHQWMRLQWIRUPDOLVPVFDQEHDOVRVXSSRUWHG
7KHSURFHVVLQJPRGXOHSXEOLVKHVDQ$3,IRUPDQLSXODWLRQDQGFRQILJXUDWLRQRI WKH XVHU LQWHUIDFH ,W KDV DQ 8, UHDG\ $3, WKDW HQFDSVXODWHV LQVWDQFHV FRPLQJ IURP PHWDPRGHOLQJ NHUQHO DOORZLQJ WKHLU YLVXDO SUHVHQWDWLRQ )XUWKHU GHWDLOV RI LPSOHPHQWDWLRQH[WHQVLRQSRLQWVDQG$3,FDQEHIRXQGLQ>@
6+,4PRGXOH
6+,4PRGXOHLPSOHPHQWVDPRGHORI6+,4'QBGHVFULSWLRQORJLFIRUPDOLVP>@WKDW LVEDVHGRQWKHPHWDPRGHOLPSOHPHQWV'$0/2,/UHDGHUDQGZULWHUDQGGHILQHV ',*LQWHUIDFH>@FRQQHFWLRQIRUWKHVROYHU7KHLPSOHPHQWDWLRQRI6+,4IRUPDOLVP FDQ EH IRXQG LQ >@ DQG LV QRW UHSHDWHG LQ WKLV SDSHU 7KH PRGXOH LPSOHPHQWV DQ DGGLWLRQDO YLHZ– WD[RQRPLFDO YLHZ 6HOHFWLQJ RI DQ\ 6+,4“FRQFHSW” RU“object SURSHUW\”FRQFHSWVZLWKLQWKH(FOLSVHZRUNVSDFHFDXVHVWKHG\QDPLFEXLOGLQJRIWKH WD[RQRP\WUHHIRUWKLVFRQFHSWSURSHUW\7KHYLHZLV VKRZQE\GHIDXOWRQWKHULJKW HGJHRIWKH(FOLSVHZLQGRZZLWKLQWKH'/ZRUNEHQFKSHUVSHFWLYH7KHWD[RQRP\LV G\QDPLFDOO\rebuilt using “subClassOf” and “sameAs” properties of the 6+,4
“FRQFHSW””SURSHUWLHV” 6+,4 PRGXOH DV DQ\ IRUPDOLVP VSHFLILF PRGXOH DOVR VSHFLILHV D VHW RI (FOLSVH H[WHQVLRQV DVVRFLDWLRQ RI GDPO ILOHV ZLWK WKH SOXJLQ DVVRFLDWLRQRIVSHFLILFLFRQVZLWKPHQXLWHPVDQGRWKHUV8,IHDWXUHV,QWHJUDWLRQZLWK (FOLSVHLVGHVFULEHGLQ'/ZRUNEHQFKGRFXPHQWDWLRQ>@
$VRQHFDQREVHUYHWKHLQFOXVLRQRIVSHFLILFIRUPDOLVPDQGFXVWRPL]DWLRQRIWKH XVHULQWHUIDFHUHSUHVHQWDYHU\VPDOOSDUWRIWKHRQWRORJLFDOHGLWRUFRGH6+,4ORJLF IRUPDOLVP ZDV GHVFULEHG YLD WKH PHWDPRGHO ZLWKLQ RQH ZRUNLQJ GD\ *8, FXVWRPL]DWLRQZDVGRQHZLWKLQRQHZHHN7KH)ORJLFIRUPDOLVPZDVSURWRW\SHGDV DQ H[DPSOH GXULQJ VHYHUDO KRXUV XVLQJ WKH VDPH PHWDPRGHO DQG EHQHILWV DOO WKH HGLWRU IHDWXUHV )ORJLF PRGXOH LV QRW SXEOLVKHG ZLWK '/ZRUNEHQFK GXH WR LQFRPSOHWHQHVVRI*8,FXVWRPL]DWLRQDQGDEVHQFHRISHUVLVWHQWIRUPDWFRQQHFWLRQ
5DFHUUHDVRQHU>@LVXVHGYLD',*LQWHUIDFH:HFKRRVH5DFHUGXHWRLWVVXSSRUW RI $%R[ UHDVRQLQJ +RZHYHU WKH '/ZRUNEHQFK LWVHOI XVHV D UHDVRQHU RQO\ IRU VDWLVIDELOLW\ DQG VXEVXPSWLRQ FKHFNV WKXV )D&7 >@ RU DQ\ RWKHU ',*FRPSODLQW UHDVRQHU FDQ EH XVHG '$0/2,/ UHDGLQJ VXSSRUW LV GRQH ZLWK WKH KHOS RI -HQD '$0/ SDUVHU >@ '$0/2,/ ZULWLQJ ZDV GRQH YLD ;HUFHV ;0/ SDUVHU 6LQFH '$0/2,/LVDVXSHUVHWRI5')65')6ILOHVFDQEHDOVRUHDGE\'/ZRUNEHQFK
0RUHGHWDLOVRQWKHXVHULQWHUIDFHDQGXVHRI'/ZRUNEHQFKDVRQWRORJLFDOHGLWRU FDQ EH WDNHQ IURP >@ 7KH SURGXFW LWVHOI DQG LWV VRXUFH FRGH FDQ EH GRZQORDGHG IROORZLQJOLQNLQ>@
/HVVRQVOHDUQHG
,QWKLVVHFWLRQ we’d like to indicate some positive experience and REVHUYDWLRQVWKDW ZHUH UHFHLYHG GXULQJ WKH FUHDWLRQ RI '/ZRUNEHQFK DQG XVH RI RQWRORJLHV IRU D VSHFLILFDSSOLFDWLRQGRPDLQ
$[LRPV DQG ORJLFDO H[SUHVVLRQ DUH H[WUHPHO\ LPSRUWDQW IRU FUHDWLQJ RI FRPSOHWH DQG UHDVRQLQJready ontologies. However, it’s H[WUHPHO\ GLIILFXOW WR KDYH D FRQYHQLHQWXVHULQWHUIDFH*8,IRUWKHLUHGLWion. We’ve implemented our own *8,RI H[SUHVVLRQ HGLWRU KRZHYHU ZH VWURQJO\ EHOLHYH WKDW VRPH GHHS UHVHDUFK PXVW EH FRQGXFWHGRQHUJRQRPLFVRIH[SUHVVLRQHGLWRU,WFDQEHVRPHWKLQJEHWZHHQWH[WLQSXW ZLWK G\QDPLF FRPSLODWLRQ DQG *8,EDVHG HGLWRU WKDW FKRRVHV HOHPHQWV IURP OLVWV
&XUUHQW LPSOHPHQWDWLRQ RI WKH H[SUHVVLRQ HGLWRU LV EDVHG RQ WKH VDPH SULQFLSOH DV RWKHUHGLWRUVRI'/workbench: editor of “Expression” entity with a set of properties such as “left part”, “right part” and “operand”. Expression enWLWLHVFDQEHQHVWHGLH
“left part” can be also an expression)7KHUXOHVRIH[SUHVVLRQEXLOGLQJDUHGHILQHGLQ WKHIRUPRILQYDULDQWVDQGSUHSRVWFRQGLWLRQVLQDJHQHULFPRGHOIURPPHWDPRGHOLQJ PRGXOH :H FDPH IURP FRQVLGHUDWLRQV WKDW WKH JLYHQ VWUXFWXUH RI H[SUHVVLRQV LV FRPPRQ IRU PRVW RI WKH SRVVLEOH RQWRORJLFDO IRUPDOLVPV (QG XVHU KDV DOZD\V WKH SRVVLELOLW\ QRW WR XVH WKH SUHVHQWHG PRGHO RU UHSODFH LW DFFRUGLQJ WR LWV QHHGV 7KH FRUUHFWQHVV RI H[SUHVVLRQV LV DOVR VXSSRUWHG E\ LQYDULDQWV DQG DOO VWUXFWXUDOO\
LQFRQVLVWHQWHTXDWLRQVDUHKLJKOLJKWHGIRUWKHXVHU7KHSURFHVVLQJPRGXOHUHFRJQL]H
“equation” as a special type and provide light edition mechanism using drag and drop DQG G\QDPLF PDQDJHPHQW RI OLVWV RI SRVVLEOH HOHPHQWV 6DPH PHFKDQLVP WULHV WR DVVXUHWKDWQHVWHGHTXDWLRQVDUHQRWORVWZKHQFRQWDLQLQJVWUXFWXUHLVPRGLILHGZLWKLQ WKHWRSOHYHOHGLWRUORVVKDSSHQVVRPHWLPHVLQ2LO(GHTXDWLRQHGLWRU
)URPRXUSRLQWRIYLHZZRUNLQJZLWKRQWRORJLHVPXVWIROORZWKHSURMHFWRULHQWHG SDUDGLJP,t’s hard to imagine a UHDOLQGXVWULDORQWRORJ\WKDWLVVDYHGLQRQHILOHDQG KDV QRUHIHUHQFHV WRRWKHU ILOHV7KHXVHRI 85,DVDSK\VLFDOORFDWLRQRILPSRUWHG RQWRORJ\LVQRWDOZD\VVXLWHGIRULQGXVWULDOXVHGXHWRSRVVLEOHXQDYDLODELOLW\RIVRPH 85,DWVRPHWLPH+HUHWKHQRWLRQRISURMHFWDVDFRPSOHWHVHWRIQHHGHGRQWRORJLFDO UHVRXUFHVFDQIDFLOLWDWHPDQLSXODWLRQRIRQWRORJLHV,WFDQFOHDUO\VHSDUDWHDSK\VLFDO VWUXFWXUHRIILOHVIURPORJLFDOVWUXFWXUHRIRQWRORJLHVLHQDPHVSDFHVWD[RQRPLHV +RZHYHULWLVZRUWKWRPHQWLRQWKDWQHHGVRI6HPDQWLF:HEFDQEHGLIIHUHQW
3UHVHQFH RI PHWDPRGHO IRU LPSOHPHQWDWLRQ RI RQWRORJLFDO IRUPDOLVP DQG FRQQHFWLRQZLWKRWKHUGDWDVWUXFWXUHVLVYHU\LPSRUWDQW$ERYHZHVDLGPDQ\WKLQJV DERXWWKHVHEHQHILWV
7KHDELOLW\WRKDYHPDQ\GLIIHUHQWYLHZVE\QDPHVSDFHVE\WD[RQRPLHVE\ILOHV JUDSKLFDO YLHZ DQG PDQ\ RWKHUV RQ WKH VDPH RQWRORJLFDO VWUXFWXUH KHOSV D ORW LQ PDQ\UHDOFDVHV
6XSSRUWRIVHYHUDOIRUPDOLVPVDQGVHYHUDO*8,YLHZVLVH[WUHPHO\LPSRUWDQWVLQFH LWDOORZVFUHDWLRQRIGLIIHUHQWYLHZVIRUGLIIHUHQWJURXSVRIXVHUVRQWKHVDPHGRPDLQ GDWDDQGLWVRQWRORJLFDOVHPDQWLFV)RUH[DPSOHWKHVDPHRQWRORJ\PD\EHSUHVHQWHG E\WZRIRUPDOLVPVZLWKGLIIHUHQWH[SUHVVLYLW\WRGLIIHUHQWJURXSVRISHRSOH
:HIRXQGLWXVHIXOWRLQWURGXFHVHYHUDOPDFURVHPDQWLFVLQWRWKH6+,4HGLWRUWKDW DUHFRPSXWHGIURPEDVLF6+,4VHPDQWLFV
• ;25,03/,(6DQG(48$/6ORJLFDORSHUDWRUVFDQEHHDVLO\LQWURGXFHGLQWRDQ\
H[SUHVVLRQ7KHVHRSHUDQGVDUHHDVLO\FRQYHUWLEOHLQWR$1'25127VHTXHQFHV DQGYLFHYHUVD7KDWDGGVPRUHKLJKOHYHOVHPDQWLFVWRWKHXVHU
*UDSKLFDOYLHZLVQRWSURYLGHGLQFXUUHQWYHUVLRQRIWKH'/ZRUNEHQFK
7KHVHPDFURFRPPDQGVDUHH[FOXGHGIURPWKHILUVWRSHQVRXUFHYHUVLRQRI'/ZRUNEHQFK
• ,QWKHVDPHZD\“classRUHTXLYDOHQWV”RU“classRIGLVMRLQWV”HOHPHQWVFDQEH GHILQHG RQ WRS RI EDVLF 6+,4 D[LRPV :KHQ ZULWLQJUHDGLQJ WR '$0/2,/
FRUUHVSRQGHGWUDQVIRUPDWLRQVDUHSHUIRUPHG
(DVLQHVVRILQWHJUDWLRQRIRQWRORJLFDOPRGHORQWRORJLFDOHGLWLRQXVHULQWHUIDFHLV FUXFLDO ZKHQ RQWRORJLHV DUH XVHG ZLWKLQ VRPH DSSOLFDWLRQ GRPDLQV 7KHUH LV DQ HYLGHQW KHOS IURP PRGHUQ IUDPHZRUNV VXFK DV (FOLSVH DQG XVH RI FRPSRQHQW WHFKQRORJLHV (VSHFLDOO\ WKLV LV LPSRUWDQW ZKHQ UHVHDUFK SURMHFWV ZLWK VKDUS WLPH IUDPHVDUHFRQGXFWHG
%\ GHYHORSLQJ '/ZRUNEHQFK ZH KDYH DFKLHYHG DOO WKH UHTXLUHPHQWV WKDW ZHUH GHVFULEHGDWWKHEHJLQQLQJRIWKLVSDSHU2XUFXUUHQWUHVHDUFKIRUVRIWZDUHLQWHJUDWLRQ LVEDVHGRQ'/ZRUNEHQFK:HXVHGHVFULEHGFRQFHSWVIRUFUHDWLRQRIH[WHQVLRQVRI '/ZRUNEHQFK WKDW IDFLOLWDWH RXU H[SHULPHQWV ZLWK LQWHJUDWLRQ RI QXPHULFDO VROYHUV and creation of “good enough” ontologies verified by reasoner.
2WKHUHGLWRUVDQG$3,V
0DQ\LGHDVRIXVHULQWHUIDFHZHUHLQVSLUHGE\2LO(G>@RQWRORJLFDOHGLWRU2LO(GLV WKH ILUVW HGLWRU WKDW LPSOHPHQWV PRVW RI WKH IHDWXUHV RI 6+,4 GHVFULSWLRQ ORJLF UHDVRQHUFRQQHFWLRQDQGH[SUHVVLRQHGLWLRQ7KDWZDVDQRQWRORJLFDOHGLWRUZHXVHG EHIRUHFUHDWLQJ'/ZRUNEHQFK+RZHYHUGHVSLWHRIDOOLWVEHQHILWVVRPHHOHPHQWVRI user interface, such as choice among “subClassOf” and “sameClassAs”, semantic of VRPHD[LRPVDQGVRPHRWKHUVHOHPHQWVDUHQRWDOZD\VFOHDUIRUWKHHQGXVHU:HWULHG WRUHVROYHWKHVHLVVXHVLQ'/ZRUNEHQFK2LO(GLVDQRSHQVRXUFHSURMHFWEXW2LO(G
$3,VHHPHGWRXVGLIILFXOWWRLQWHJUDWHZLWKRWKHUWRROV3UHVHQFHRIPHWDPRGHOOHYHO ZLWKLQWKH'/ZRUNEHQFKJLYHVPRUHIOH[LELOLW\DQGHDVHRIXVHWRJHWKHUZLWKRWKHU WRROV
:HE2'(SURMHFW>@LVDQRQWRORJLFDOZRUNEHQFKWKDWSURYLGHVYDULRXVRQWRORJLFDO VHUYLFHV7KHSURMHFWKDVDKLJKO\IOH[LEOHDUFKLWHFWXUHDQGSURYLGHVPDQ\YLHZSRLQWV RQ GDWD 7KH PHWDPRGHOLQJ DSSURDFK FKRVHQ E\ '/ZRUNEHQFK DOORZV RQIO\
FKDQJLQJ RI RQWRORJLFDO IRUPDOLVP DQG HDV\ LQWHJUDWLRQ ZLWK QRQRQWRORJLFDO GDWD VWUXFWXUHV,QDGGLWLRQ'/ZRUNEHQFKLVDQRSHQVRXUFHSURMHFW
3URWHJH >@ RQWRORJLFDO HGLWRU KDV D FRQYHQLHQW SOXJLQV $3, IRU LWV H[WHQVLRQ +RZHYHURXULQWHQWLRQZDVWRLQWHJUDWHDQRQWRORJLFDOHGLWRUDVDSOXJLQLQWRVRIWZDUH GHYHORSPHQWWRROVEXWQRWYLFHYHUVD
.$21 $3, DQG D VHW RI UHODWHG .$21 WRROV >@ GHILQH D GLVWULEXWHG RQWRORJ\
PDQLSXODWLRQ LQIUDVWUXFWXUH WKDW LV EDVHG RQ FOLHQWVHUYHU DUFKLWHFWXUH DQG SURYLGHV PDQ\XVHIXOIHDWXUHV.$21KDVDKDUGFRGHG$3,IRULWVRQWRORJLFDOIRUPDOLVPWKDW is mostly RDFS based and doesn’t support H[WHQGHGVHPDQWLFVRIHTXDWLRQVQRUYHU\
H[SUHVVLYHGHVFULSWLRQORJLFVVXFKDV6+,4:HIRXQGWKH2,PRGHOHURQWRORJLFDO HGLWRURI.$21WREHGLIILFXOWIRUWKHHQGXVHU
0DQ\RWKHURQWRORJLFDOHGLWRUVDUHSUHVHQWQRZDGD\V'XHWRWKHDEVHQFHRIVSDFH LQWKHSDSHUwe can’t FRPSDUHPDQ\WRROV>@LVDJRRGVXUYH\RIRQWRORJLFDOWRROV 7KHGHOLYHUDEOH>@RI2QWR:HESURMHFWJLYHVDFRPSUHKHQVLYHFRPSDULVRQRI WRROV
&RQFOXVLRQVDQGIXWXUHSODQV
:HKDYHSUHVHQWHG'/ZRUNEHQFKERWKDQ(FOLSVHEDVHGRQWRORJLFDOHGLWRUIRU6+,4 ORJLFDQGDPHWDPRGHOEDVHGSODWIRUPIRUPDQLSXODWLRQRIRQWRORJLHVLQFRQMXQFWLRQ ZLWK RWKHU WRROV We’ve shown the beneILWV WR XVH PHWDPRGHO IRU FUHDWLQJ RI RQWRORJ\EDVHG SURGXFWV HVSHFLDOO\ ZKHQ ZRUNLQJ ZLWKLQ VSHFLILF DSSOLFDWLRQ GRPDLQV
7RGD\WKH'/ZRUNEHQFKLVDUHVHDUFKSURWRW\SHDQGLWODFNVWKHVWDELOLW\WKDWLV QHHGHGIRULQGXVWULDOGHYHORSPHQWRIRQWRORJLHV,WODFNVWKHIXQFWLRQDOLW\RIPHUJLQJ DQG DOLJQLQJ RI RQWRORJLHV DQG PRUH H[WHQVLYH VXSSRUW RI UHDVRQHUV IHDWXUHV RQ WKH XVHU LQWHUIDFH OHYHO $OO RI WKDW LV SODQQHG WR EH LPSURYHG VRRQ 7KH XVHU LQWHUIDFH HUJRQRPLFVDQGXVDELOLW\VWXG\LVUHTXLUHG
:H XVH '/ZRUNEHQFK IRU GHYHORSPHQW RI RXU GRPDLQ VSHFLILF H[WHQVLRQV DQG LQWHJUDWLRQ ZLWK RWKHU WRROV 7KDW DVVXUHV WKH FRQVWDQW HYROXWLRQ DQG VXSSRUW RI WKH '/ZRUNEHQFK ,Q WKH IXWXUH ZH SODQ WR LQWURGXFH D WUDQVDFWLRQ PHFKDQLVP ZLWK XQGRUHGR RSHUDWLRQV PHUJLQJDOLJQPHQW RI RQWRORJLHV JUDSKLFDO UHSUHVHQWDWLRQ RI RQWRORJLFDOLQIRUPDWLRQDQGPDNHPDQ\RWKHULPSURYHPHQWV
5HIHUHQFHV
) %DDGHU HW DOO “7KH 'HVFULSWLRQ /RJLF +DQGERRN WKHRU\ LPSOHPHQWDWLRQ DQG DSSOLFDWLRQV”, Cambridge University Press, 20,6%1
7KH6$/20(SURMHFW2QOLQHKWWSZZZRSHQFDVFDGHRUJVDORPH :HE2'(SURMHFW2QOLQHKWWSGHOLFLDVGLDILXSPHVZHE2'(
6 %HFKKRIHr, “The ',* GHVFULSWLRQ ORJLF LQWHUIDFH: DIG/1.0” 2QOLQH KWWSZZZIKZHGHOGHaPRUDFHULQWHUIDFHSGI
'/ZRUNEHQFKSURMHFWZHEVLWH2QOLQHKWWSZZZRSHQFDVFDGHRUJGOZRUNEHQFK 6 %echhofer et all, “2LO(G D 5HDVRQDEOH 2QWRORJ\ (GLWRU IRU WKH 6HPDQWLF :HE”
6SULQJILHG9HUODJ/1&6
I. Horrocks, lU. Sattler, and S. Tobies. “5HDVRQLQJ ZLWK LQGLYLGXDOV IRU WKH GHVFULSWLRQ ORJLF6+,4´/1$,QXPEHUSS6SULQJHU9HUODJ
'$0/2,/ODQJXDJH2QOLQHKWWSZZZZRUJ75GDPORLOUHIHUHQFH 2:/ODQJXDJH2QOLQHKWWSZZZZRUJ75RZODEV\Q
,%0(FOLSVHSODWIRUPSURMHFWSDJH2QOLQHKWWSZZZHFOLSVHRUJ 5DFHUUHDVRQHUKWWSZZZIKZHGHOGHaPRUDFHU
)D&7UHDVRQHUKWWSZZZFVPDQDFXNaKRUURFNV)D&7
M. Denny, “7DEOH 2QWRORJ\ HGLWRU VXUYH\ UHVXOWV”, 2002, Online:
KWWSZZZ[POFRP2QWRORJ\B(GLWRUB6XUYH\KWPO
.$21$3,2QOLQHKWWSNPDLIEXQLNDUOVUXKHGHNDRQ0HPEHUVUYRNDRQBDSL 20*02)UHSRVLWRU\VSHFLILFDWLRQ2QOLQH
KWWSZZZRPJRUJWHFKQRORJ\GRFXPHQWVIRUPDOPRIKWP
M. Kazakov, H. Abdulrab, E. Babkin, “,QWHOOLJHQWLQWHJUDWLRQRIGLVWULEXWHGFRPSRQHQWV 2QWRORJ\)XVLRQDSSURDFK”, In proceedings of CIMCA 2003 conference, 2003, ISBN -HQD'$0/DQG5')SDUVHU2QOLQHKWWSZZZKSOKSFRPVHPZHELQGH[KWPO Prot•g•HQYLURQPHQW2QOLQHKWWSSURWHJHVWDQGRUGHGX
OntoWeb project, “Deliverable 1.3 report”, OnOLQHKWWSZZZRQWRZHERUJ
