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

р а з р а б о т а н а т е х н о л о г и я п р о в е д е н и я а п р и о р н о й и н д е к с а ц и и б а з ы д а н н ы х , ч т о о б е с п е ч и в а е т у с к о р е н и е о т к л и к а с и с т е м ы н а з а п р о с ы п о л ь з о в а т е л я . П р и р е а л и з а ц и и и н ф о р м а ц и о н н о й с и с т е м ы н а о с н о в е O B D A п о д х о д а д л я к а ж д о г о и з в к л ю ч е н н ы х в о н т о л о г и ю п а т т е р н о в о п р е д е л я е т с я ф р а г м е н т с х е м ы б а з ы д а н н ы х . П р и н ц и п с о о т н е с е н и я э л е м е н т о в о н т о л о г и и и с х е м ы д а н н ы х с о о т в е т с т в у е т р е к о м е н д а ц и я м к о н с о р ц и у м а W 3 C [ 1 6 ] . В к а ч е с т в е п р о г р а м м н о й с р п е д ы д л я р е а л и з а ц и и п о д х о д а O B D A б ы л и с п о л ь з о в а н O n t o p [ 1 7 ] . Д а н н о е п р о г р а м м н о е с р е д с т в о р е а л и з у е т т р а н с л я ц и ю о н т о л о г и ч е с к о г о з а п р о с а ( S P A R Q L - з а п р о с а ) в S Q L - з а п р о с н а д б а з о й д а н н ы х , а т а к ж е п р е д с т а в л е н и е р е з у л ь т а т о в в ы п о л н е н и я S Q L - з а п р о с а в в и д е н а б о р а с в я з а н н ы х э к з е м п л я р о в о н т о л о г и и п о л ь з о в а т е л ю [ 1 8 ] . Р а з р а б о т а н н а я т е х н о л о г и я п р и м е н е н и я п а т т е р н о в о н т о л о г и ч е с к о г о п р о е к т и р о в а н и я д л я о п т и м и з а ц и и з а п р о с о в д о с т у п а к б а з е д а н н ы х б о л е е п о д р о б н о п р е д с т а в л е н а и с п о л н и т е л я м и п р о е к т а в р а б о т е [ 1 9 ] . Д л я к а ж д о г о п а т т е р н а ф о р м и р у е м о й о н т о л о г и и р а з р а б а т ы в а е т с я н а б о р п р а в и л м э п п и н г а в ф о р м а т е O n t o p д л я п е р е п и с ы в а н и я и с х о д н о г о з а п р о с а S P A R Q L - з а п р о с а в S Q L - з а п р о с . К а ж д о е п р а в и л о с о о т в е т с т в у е т о д н о й т а б л и ц е р е л я ц и о н н о й б а з ы д а н н ы х и в к л ю ч а е т к о м п о н е н т ы : s o u r c e - S Q L - з а п р о с и t a r g e t - м н о ж е с т в о ш а б л о н о в д л я г е н е р а ц и и в ы р а ж е н и й А Ь о х , п р е д с т а в л я ю щ и е с о б о й к о н к р е т н ы е э к з е м п л я р ы к л а с с о в о н т о л о г и и , и з р е з у л ь т а т о в в ы п о л н е н и я S Q L - з а п р о с а . В к а ч е с т в е п р и м е р а в р а б о т е [ 1 9 ] р а с с м о т р е н п а т т е р н « С п е ц и ф и к а ц и я и с с л е д о в а н и я » ( I n v e s t i g a t i o n s p e c i f i c a t i o n ) , к о т о р ы й п о з в о л я е т о п р е д е л и т ь т а к и е « ч а с т и » с п е ц и ф и к а ц и и и с с л е д о в а н и я , к а к : о б ъ е к т ; п р е д м е т ; ц е л ь ; д е й с т в и я / м е т о д ы . П р и в е д е н н а б о р к в а л и ф и к а ц и о н н ы х в о п р о с о в д а н н о г о п а т т е р н а , с о о т в е т с т в у ю щ и й п а т т е р н у ф р а г м е н т с х е м ы р е л я ц и о н н о й б а з ы д а н н ы х , в к л ю ч а ю щ и й 9 т а б л и ц , и п р и м е р п р а в и л а м э п п и н г а . Д а л е е в [ 1 9 ] р а с с м о т р е н о ф о р м и р о в а н и е и н д е к с о в б а з ы д а н н ы х н а о с н о в е к в а л и ф и к а ц и о н н о г о в о п р о с а : « К а к о й м е т о д п л а н и р о в а л о с ь п р и м е н я т ь д л я и с с л е д о в а н и я д а н н о г о о б ъ е к т а ? » д л я п а т т е р н а « С п е ц и ф и к а ц и я и с с л е д о в а н и я » . Э к с п е р и м е н т а л ь н а я о ц е н к а п р и м е н е н и я т е х н о л о г и и а п р и о р н о й и н д е к с а ц и и б а з ы д а н н ы х н а о с н о в е к в а л и ф и к а ц и о н н ы х в о п р о с о в о н т о л о г и ч е с к и х п а т т е р н о в с о д е р ж а н и я п р о в о д и л а с ь н а т е с т о в о м н а б о р е д а н н ы х ( о к о л о 1 0 0 0 0 0 0 0 с в я з а н н ы х э к з е м п л я р о в о н т о л о г и и , п р е д с т а в л е н н ы х в 9 т а б л и ц а х р е л я ц и о н н о й б а з ы д а н н ы х п о 1 0 0 0 0 0 0 с т р о к в к а ж д о й ) . Э к с п е р и м е н т ы , з а к л ю ч а в ш и е с я в в ы п о л н е н и и с е р и й S P A R Q L - з а п р о с о в с п о м о щ ь ю с и с т е м ы O n t o p , п о к а з а л и , ч т о с р е д н е е в р е м я в ы п о л н е н и я з а п р о с а п о с л е и н д е к с а ц и и у м е н ь ш а е т с я в 7 - 8 р а з . Обработка SPARQL-запросов к онтологии с использованием программирования в ограничениях П р е д с т а в л е н и е R D F - т р и п л е т о в о н т о л о г и и в в и д е с п е ц и а л и з и р о в а н н ы х м а т р и ц е п о д о б н ы х с т р у к т у р ( С - с и с т е м ) д а е т в о з м о ж н о с т ь р а с с м а т р и в а т ь з а д а ч и в ы в о д а н а о н т о л о г и и к а к з а д а ч и у д о в л е т в о р е н и я н е ч и с л о в ы х о г р а н и ч е н и й ( C S P ) . С р е д и р а з р а б о т а н н ы х а л г о р и т м о в у д о в л е т в о р е н и я н е ч и с л о в ы х о г р а н и ч е н и й о с о б ы й и н т е р е с п р е д с т а в л я ю т а л г о р и т м ы р а с п р о с т р а н е н и я о г р а н и ч е н и й , к о т о р ы е п о з в о л я ю т п р е о б р а з о в а т ь з а п о л и н о м и а л ь н о е в р е м я о п и с а н и е з а д а ч и C S P к б о л е е п р о с т о м у в и д у с с о х р а н е н и е м в с е х р е ш е н и й , т о е с т ь с о к р а т и т ь п р о с т р а н с т в о п о и с к а . Д л я с л у ч а я , к о г д а з а д а ч а C S P в ы р а ж е н а в в и д е с о в о к у п н о с т и С - с и с т е м , 139