Труды КНЦ вып.9 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 10/2018(9))

з а п р о с о в к о н т о л о г и и , в к л ю ч а ю щ и х к о н ъ ю н к ц и ю н е с к о л ь к и х ш а б л о н о в , т а к к а к д л я о т в е т а н а з а п р о с п е р е б и р а е т с я б о л ь ш о е ч и с л о с в я з о к т р и п л е т о в . И с п о л ь з о в а н и е б о л е е с л о ж н ы х с п о с о б о в г р у п п и р о в к и т р и п л е т о в в т а б л и ц ы ( c l u s t e r - p r o p e r t y t a b l e ) [ 1 4 ] д а л е к о н е в с е г д а о б е с п е ч и в а е т у с т р а н е н и е п р о б л е м ы с н и ж е н и я п р о и з в о д и т е л ь н о с т и п р и о б р а б о т к е з а п р о с о в . В к а ч е с т в е в а р и а н т а р е ш е н и я у к а з а н н о й п р о б л е м ы в п р о е к т е п р е д л о ж е н о с т р у к т у р и р о в а т ь п р е д с т а в л е н и е R D F - х р а н и л и щ а в в и д е с п е ц и а л и з и р о в а н н ы х м а т р и ц е п о д о б н ы х с т р у к т у р . Т а к о е п р е д с т а в л е н и е R D F - х р а н и л и щ а п о з в о л и т с о к р а т и т ь р а с х о д п а м я т и к о м п ь ю т е р а д л я х р а н е н и я R D F - т р и п л е т о в , а т а к ж е п о в ы с и т ь э ф ф е к т и в н о с т ь о б р а б о т к и S P A R Q L - з а п р о с о в . Д л я р е а л и з а ц и и п р е д л а г а е м о г о п р е д с т а в л е н и я и с п о л ь з у е т с я ф о р м а л ь н ы й а п п а р а т о п и с а н и я з а д а ч у д о в л е т в о р е н и я о г р а н и ч е н и й с п о м о щ ь ю м а т р и ц е п о д о б н ы х с т р у к т у р . П р и м е н е н и е д а н н о г о а п п а р а т а п о з в о л я е т б о л е е э ф ф е к т и в н о , п о с р а в н е н и ю с т а б л и ч н ы м п р е д с т а в л е н и е м , о п и с ы в а т ь , х р а н и т ь и о б р а б а т ы в а т ь н е ч и с л о в ы е о г р а н и ч е н и я п р е д м е т н о й о б л а с т и . Н е ч и с л о в ы е и л и к а ч е с т в е н н ы е о г р а н и ч е н и я ( п р а в и л а , л о г и ч е с к и е ф о р м у л ы , м н о г о м е с т н ы е о т н о ш е н и я ) и г р а ю т в а ж н у ю р о л ь п р и м о д е л и р о в а н и и м н о г и х п р е д м е т н ы х о б л а с т е й . Д л я п р е д с т а в л е н и я и о б р а б о т к и т а к и х о г р а н и ч е н и й п р е д л о ж е н о и с п о л ь з о в а т ь д в а т и п а м а т р и ц е п о д о б н ы х с т р у к т у р : C — с и с т е м ы и D — с и с т е м ы . Э т и с т р у к т у р ы п р е д л а г а е т с я р а с с м а т р и в а т ь к а к о г р а н и ч е н и я н а д к о н е ч н ы м и д о м е н а м и , а р а с с у ж д е н и я н а д а н н ы х с т р у к т у р а х р е а л и з о в ы в а т ь в ф о р м е п р о ц е д у р р е ш е н и я з а д а ч и у д о в л е т в о р е н и я о г р а н и ч е н и й ( C o n s t r a i n t s a t i s f a c t i o n p r o b l e m s , C S P ) [ 1 5 ] . С п о м о щ ь ю С — с и с т е м м о д е л и р у ю т с я д и з ъ ю н к т и в н ы е н о р м а л ь н ы е ф о р м ы ( Д Н Ф ) к о н е ч н ы х п р е д и к а т о в , а с п о м о щ ь ю D - с и с т е м — к о н ъ ю н к т и в н ы е н о р м а л ь н ы е ф о р м ы ( К Н Ф ) . Ф о р м и р о в а н и е м а т р и ц е п о д о б н ы х с т р у к т у р , с о о т в е т с т в у ю щ и х ф р а г м е н т а м ( п а т т е р н а м ) о н т о л о г и и , о с у щ е с т в л я е т с я н а о с н о в е с и с т е м ы п р а в и л о т о б р а ж е н и я . К а ж д о м у к л а с с у ф р а г м е н т а о н т о л о г и и с о п о с т а в л я е т с я о п р е д е л е н н а я п е р е м е н н а я ( а т р и б у т ) , а к а ж д о м у э к з е м п л я р у к л а с с а о п р е д е л е н н о е з н а ч е н и е д а н н о й п е р е м е н н о й ( а т р и б у т а ) . К а ж д о м у т и п у с в я з и о н т о л о г и и с о п о с т а в и м б и н а р н о е о г р а н и ч е н и е ( м а т р и ц у о г р а н и ч е н и й ) . К а ж д а я с т р о к а м а т р и ц ы о г р а н и ч е н и й о п и с ы в а е т н е к о т о р о е м н о ж е с т в о д у г м е ж д у э к з е м п л я р а м и с о о т в е т с т в у ю щ и х к л а с с о в о н т о л о г и и . П р е д с т а в л е н и е о н т о л о г и и C - и . D - с и с т е м а м и п о з в о л я е т р е ш а т ь з а д а ч и у с к о р е н и я л о г и ч е с к о г о в ы в о д а и о б е с п е ч е н и я с е м а н т и ч е с к о й к о р р е к т н о с т и о н т о л о г и и в р а м к а х п а р а д и г м ы п р о г р а м м и р о в а н и я в о г р а н и ч е н и я х , и с п о л ь з у я н а к о п л е н н ы й в э т о й о б л а с т и о п ы т р е ш е н и я з а д а ч к о м б и н а т о р н о г о п о и с к а . У ч е т д о п о л н и т е л ь н ы х ( н е л о г и ч е с к и х ) о г р а н и ч е н и й п р е д л а г а е т с я в ы п о л н я т ь в в и д е , т а к н а з ы в а е м ы х , г л о б а л ь н ы х о г р а н и ч е н и й , д л я к о т о р ы х в т е о р и и у д о в л е т в о р е н и я о г р а н и ч е н и й и м е ю т с я с п е ц и а л и з и р о в а н н ы е э ф ф е к т и в н ы е а л г о р и т м ы о б р а б о т к и [ 1 5 ] . Х р а н е н и е и с х о д н ы х д а н н ы х и р е з у л ь т а т о в в ы ч и с л е н и й н а д м а т р и ц е п о д о б н ы м и с т р у к т у р а м и о с у щ е с т в л я е т с я в ф о р м а т е X M L ( E x t e n s i b l e M a r k u p L a n g u a g e ) . Д л я к о р р е к т н о г о п р е д с т а в л е н и я м а т р и ц е п о д о б н ы х с т р у к т у р р а з р а б о т а н а с п е ц и а л ь н а я с т р у к т у р а X M L - ф а й л о в . К о р н е в о й э л е м е н т X M L - д о к у м е н т а - n t D o c - с о д е р ж и т э л е м е н т ы д л я х р а н е н и я д о м е н о в , а т р и б у т о в , с х е м о т н о ш е н и й и с и с т е м . 135