12 Сағат, 130 жұмыс орны іске қосылды және астам 3.8b үштіктің алынған.

Жасанды деректер қойылымдарға

Біз шағын және жасанды деректер бойынша reasoner сыналды. Біз bench- өтті

белгісі құралы LUBM және біз шамамен 6 миллион үштіктің шағын деректер жинақталатын.

reasoner 2h58m50s кейін есептеу аяқтады және шамамен 5 алынған

жаңа есептілікті млн.

Біз OWL іске асыру біз бар деп қорытынды Осы нәтижелерге қарап

ұсынылған қазірдің өзінде қолда бар ережесін салыстырғанда, сондай-ақ, өте баяу және тиімсіз болып табылады

soners.

Түсіндіру, біз пайдаланылған онтология жасауға деректерді қамтитын болуы мүмкін

стандартқа сәйкес және біз «соқырлар» біз ғана алатын ережелерді қолданады, егер

тым көп үштіктің. Алайда, бұл тұжырым кедей түсіндіру үшін жеткіліксіз

біз эталондық құралмен reasoner, сондай-ақ сынақтан өйткені қойылымдар

ол «таза» онтология жасайды. Негізгі проблема фактісі сүйенеді

біз бәрін шығарып мақсатында жұмыс орындарын астам бір рет қайта іске қосу қажет.

біз RDFS reasoner үшін енгізілді оңтайландыру қолданылады емес

OWL ережелер мен қойылымдар кейбір қарағанда әлдеқайда нашар болып табылады

алдыңғы оқиға.

Page 83

8-тарау

Болашақ кеңейту және

қорытындылар

Диссертациялық біз үлкен астам ауқымды ақылын істеу мәселесін шешу

деректердің көлемі. Мәселе семантикалық веб пайдалану үшін өзекті болып табылады

веб-ауқымды.

Біздің гипотеза біз ауқымды және тиімді пайымдау жобалау алады algo-

MapReduce пайдалана отырып, нақтырақ, бөлінген тәсілді пайдалана отырып, және реттеумен БНА

бағдарламалау үлгісі.

Бұл жұмыста біз гипотезаны тексеру үшін бірнеше алгоритмдер ұсынған және

Біз әр түрлі деректер жиынымен және конфигурациясымен қойылымдар сыналған. Бізде бар

Сондай-ақ, кіріс деректерді қысу үшін сөздік кодтау тәртібін жүзеге асырылуда

мен есептеуін жеделдету.

Бастапқыда біз ықтимал бос орындалуына талқылады

RDFS пайымдау және біз онымен тым көп проблемалар бар екенін түсіндірді.

Біз болуы анықталған алгоритм үш оңтайландыру енгізілді

шешуші. Бұл оңтайландыру болып табылады:

• тиеу жадында схема үштіктің және деривацияларды жүзеге асыратын пиязды

-Ұшып;

• Біз қандай да бір цикл болдырмау, сондықтан арнайы ережелер орындау тәртібін пайдалану;

Біз төркіні кезінде телнұсқаларын жою, сондықтан • үштіктің топтау.

нәтижелері есептеу RDFS іске асыру өнімді екенін көрсетті

1B астам RDFS жабу 2008 миллиард бөлмелі шақыру үштік жылғы

бір сағаттан кем. Біз де бұл кез келген басқа іске асыру туралы хабардар емес,

Бұл өлшеміне масштабтау мүмкін, не осы салыстырмалы уақыт ұзарту есептеу болады

біздің.

Біз OWL пайымдау, бірақ нәтиже жасайды алгоритм, сондай-ақ жасап

разочаровывающими. Біз өшіру керек еді, өйткені алгоритм баяу және сынғыш болып табылады

83

Page 84

84

8-тарау БОЛАШАҚ кеңейту және ҚОРЫТЫНДЫЛАР

нақты әлемдік деректер жиынымен оны орындау мақсатында кейбір ережелер. Алайда алгоритмі

қарабайыр сатысында болып табылады және сынау үшін көптеген оңтайландыру әлі де бар.

Біз бұл жасасуға алгоритмдер қойылымдар талданады кейін

Біздің бастапқы гипотеза RDFS пайымдау қатысты расталады. қойылымдар

біз RDFS алгоритмі тиімді және ауқымды екенін көрсетеміз өлшенеді болды. Үтікті желіден ажыратқаннан

Бақытымызға орай, біз OWL пайымдау туралы бірдей жасасуға мүмкін емес. Біздің көзқарас

баяу және нәзік болуы көрсетті. Алайда, тым көп оңтайландыру әлі де бар

сынау және ол үшін белгілі бір жауап беруге әлі ерте.

біз OWL пайымдау жасауға болады оңтайландыру болашақ жұмыс ретінде қалды.

Біз қазір олардың кейбіреулері еске.

Бірінші болсақ, біз ереже орындау тәртібін оңтайландыруға болады. Өкінішке орай, OWL жылы

бұл ережелер арасында ілмектер болдырмау мүмкін емес, бірақ, мүмкін, ол мүмкін

қажетті жұмыс орындарының саны аз болып табылатын тапсырыс табу.

Кедей OWL қойылымдар жақсарту үшін тағы бір тәсілі табуға болуы мүмкін

The орындауға жақсы жолы қосылады. Міне, біз не істеу The қосылады қолдану болып табылады

а «аңғалдық» жолы, дегенмен, біз бар екенін RDFS пайымдау үшін көрсетті

тезірек басқа да жолдары.

Бір қызықты кеңейту бойынша кейбір шектеулер енгізу болуы мүмкін

неғұрлым сенімді пайымдау қамтамасыз ету мақсатында деректер. Диссертациялық біз «соқырлар»

кез келген деректер бастапқы өңдеуге жоқ ережелерді қолданады, бірақ ол [көрсетілді 11] , бұл

Web деректер көп ауытқулар бар және біз кейбір сүзу керек екенін

төркіні жарылыс немесе кейбір немесе әкелуі мүмкін лас деректер

қарама-қайшы есептілігі. Мұндай өңдеу, сондай-ақ, біздің reasoner кедергі

біз веб деректерді тексеріп шығу кезінде орын алуы мүмкін онтология ұрланған түскен.

Қорытынды, мұнда ұсынылған жұмыс ұялатып нәтижелер оралды. The

OWL reasoner әзірге бәсекеге қабілетті болып табылады, бірақ бұл негізінен оның ерте дамуы байланысты

жылжу және оның қолданылу мерзімі туралы нақты жауап беруге әлі ерте. Басқа

қолмен, RDFS reasoner жақсы нөмірлермен және ауқымдылығы және біз көрсетті

тіпті салыстыруға қойылымдар де кез-келген басқа да көзқарас таныс емес

, не ұқсас ауқымды. Болашақ reearch отырып, біз алгоритмдер нәтижелерін сұрыптап

қойылымдар және туынды ақпараттың сапасын арттыра.

Page 85

Библиография

[1] Анри Е. Bal, Дженнифер Г. Штайнер, және Эндрю С. Tanenbaum. Бағдарламасы

таратылған есептеу жүйелерін үшін Мин тілдері. ACM есептеу сау-

Veys, (3) 21: 261-322, 1989.

[2] D Brickley және RV Guha, редакторлар. RDF Vocabulary Сипаттама Language

1.0: RDF сызбасы. W3C ұсыныс, 2004 жылғы ақпан.

[3] Jeen Broekstra, Arjohn Kampman және Франк Ван Harmelen. Сезам:

RDF және RDF схемасын сақтау және сұрау үшін жалпы сәулет өнері. Жылы

Халықаралық Семантикалық интернет-конференция, беттер 54-68, 2002.

[4] Джеффри Дин және Санджай Ghemawat. MapReduce: Оңтайландырылған деректер өңдеу

үлкен кластерлер ды. Операциялық жүйелерді жобалау және іске асыруға,

беттер 137-150, 2004.

[5] Стефан Decker Сергей Мельник, Фрэнк Ван Harmelen, Дитер Fensel, Michel

CA Klein, Jeen Broekstra, Майкл Эрдман, және Ян Horrocks. The

семантикалық WEB: XML және RDF рөлі. IEEE Интернет есептеу,

4 (5): 63-74, 2000.

[6] Дитер Fensel, Фрэнк Ван Harmelen, Иэн Horrocks, Дебора L. McGuin-

құлықсыздық таныту және Peter F. Пател-Schneider. Мұнай: үшін онтология инфрақұрылым

семантикалық WEB. IEEE Интеллектуалдық жүйелер, 16 (2): 38-45, 2001.

[7] Yuanbo Guo, Zhengxiang Pan, және Джефф Heflin. LUBM: үшін эталон

OWL білім базасы жүйелері. Веб семантикасы: Ғылым, қызметтер мен

World Wide Web, 3 (2-3) бойынша агенттер: 158 - 182, 2005 Таңдалған құжаттар

Халықаралық Семантикалық интернет-конференция, 2004 жылдан бастап - ISWC, 2004 ж.

[8] Патрик Hayes, редакторы. RDF семантикасы. W3C ұсыныс ақпан

2004 ж.

[9] Steffen Heinz, Джастин Zobel және Хью E. Уильямс. Б лшектеу тырысады: тез,

жол кілттер тиімді деректер құрылымы. Ақпарат ACM операциялар

Жүйелер, 20 (2): 192-223, 2002.

[10] Ж. Hendler және DL McGuinness. DARPA Агент Markup Language.

IEEE Интеллектуалдық жүйелер, 15 (6): 67-73, 2000.

85

Page 86

86

БИБЛИОГРАФИЯ

[11] Айдан Hogan, Андреас Harth және Axel Polleres. Saor: Беделді

веб пайымдау. Азия Семантикалық интернет-конференция, беттер 76-90 жылы

2008 ж.

[12] PN Джонсон-Laird. Дедуктивті пайымдау. Психология жылдық шолу,

50 (1): 109-135, 1999.

[13] Atanas Kiryakov соавт. LarKC платформаға Тексеру мақсаттары мен к рсеткіштер.

LarKC жеткізу, шілде 2009 ж.

[14] Atanas Kiryakov, Damyan Ognyanov және Dimitar Manov. Owlim - бір

үкінің үшін прагматикалық семантикалық репозиторий. WISE цехтардың, беттерінде 182-

192, 2005 ж.

[15] Грэм Klyne және Джереми Дж Кэрролл, редакторлар. Ресурс Сипаттама Өзбекстанда

жұмыс: ұғымдар мен дерексіз Синтаксис. W3C ұсыныс ақпан

2004 ж.

[16] Ralf Lammel. Google-дың mapreduce бағдарламалау үлгісі - қайта. Ғылым

Компьютерлік бағдарламалау, 70 (1): - 30, 2008 1.

[17] Ли Ma, Ян Ян, Zhaoming Цю, Го Тонг Се, Юэ Пан және Үрімжі қ

Лю. Толық OWL онтология бақылау белгісінен қарай. Еуропалық семантикалық жылы

Веб-конференциясы, беттер 125-139, 2006 ж.

[18] Брайан Макбрайд. Jena: A семантикалық веб Toolkit. IEEE Интернет есептеу,

6 (6): 55-59, 2002.

[19] Питер Mika мен Giovanni Tummarello. Бұлттар Веб семантикасы. IEEE

Интеллектуалдық жүйелер, 23 (5): 82-87, 2008 ж.

[20] Кристофер Olston, Бенджамин Рид, Utkarsh Srivastava, Рави Кумар, және

Эндрю Tomkins. Шошқа латын: деректерді өңдеу үшін, яғни шетелдік емес тіл.

SIGMOD '08 жылы: 2008 ACM SIGMOD халықаралық жинағында

деректер, беттер 1099-1110, Нью-Йорк, АҚШ, басқару жөніндегі конференция

2008 ACM.

[21] Eyal Oren, Spyros Kotoulas, Джордж Anadiotis Рональд Siebes, Аннет

он Teije және Франк Ван Harmelen. Марвин: ірі масштабты арналған платформа

Семантикалық веб деректерді талдау. Халықаралық веб жинақтарында

Ғылым конференция наурыз 2009 ж.

[22] Дэвид Робертсон, Grigoris Antoniou және Франк Ван Harmelen. Семантикалық

Web Primer. MIT Баспасөз, 2004 ж.

[23] Anne Шлихт және Хайнер Stuckenschmidt. Аликанте үшін бөлінген қаулы.

Сипаттама логика бойынша халықаралық семинар, 2008 жинақтарында.

Page 87

БИБЛИОГРАФИЯ

87

[24] Майкл Шмидт, Томас Hornung Норбер Küchlin, Георг Lausen және

Кристоф Pinkel. RDF деректерін басқару эксперименттік салыстыру

а SPARQL эталондық сценарийі тәсілдері. Халықаралық семантикалық жылы

Веб-конференциясы, беттер 82-97, 2008 ж.

[25] Эврен Sirin, Бижан Parsia, Bernardo Куэнка Грау, Aditya Kalyanpur, және

Yarden Кац. Пеллеттерді: практикалық OWL-DL reasoner. Веб семантикасы:

Ғылым, 5 (2) World Wide Web жөніндегі қызметтер мен агенттер: 51-53, 2007 ж.

[26] Ramakrishna Soma және VK Prasanna. OWL үшін параллель шығару типтендіру

білім негіздері. 2008 37 Халықаралық конференцияның талқылауына

Параллель өңдеу, беттер 75-82, Вашингтон, АҚШ, 2008 IEEE

Компьютерлік Қоғам.

[27] Герман J. судың Хорст. ТШО толықтығы, разрешимости және күрделілігі

RDF схемасына және үкінің қатысуымен семантикалық кеңейту үшін tailment

лексика. Веб-семантикасын Journal, 3 (2-3): 79-115, 2005 ж.

[28] Ora Lassila Тим Бернерс-Ли, James A. Hendler. семантикалық WEB. Sci-

делуі американдық, 284 (5): 34-43, 2001 ж.

[29] Дмитрий Tsarkov және Ян Horrocks. Сипаттама логикалық reasoner: System

сипаттамасы. IJCAR, беттер 292-297, 2006 жылы.

[30] Хунг-Chih Yang, Әли Dasdan, Ruey-Өкпе Hsiao және Д. Stott Parker. Map-

азайту-біріктіру: ірі кластерлерді жеңілдетілген реляциялық деректер өңдеу. Жылы

Мандаттық 2007 ACM SIGMOD халықаралық конференция материалдары

деректер, беттер 1029-1040, Нью-Йорк, АҚШ, 2007 ЕБМ басқару.

[31] Джастин Zobel, Steffen Хайнц және Хью E. Уильямс. In-жад тор белгісі кестесін

мәтін сөздіктер жинақтау зақым. Ақпаратты өңдеу Хаттар,

80 (6): 271-277, 2001.

Исходный текст

Предложить лучший вариант перевода

Исходный текст (английский):

My thesis is

Предложить лучший вариант перевода