Оптимізація продуктивності онтологічних баз знань за допомогою використання комбінації різонерів
DOI:
https://doi.org/10.15587/1729-4061.2017.112347Ключові слова:
комбінація різонерів, Jena, Virtuoso, hypertableau, tableau, HermiT, Pellet, FaCT , ABox, TBox, RBoxАнотація
Проведено аналіз різонерів для роботи з онтологічними базами знань з метою збільшення швидкодії цих баз. Запропоновано варіант рішення, в якому комбінуються переваги «tableau»-based і «hypertableau»-based різонерів. Проведено аналіз можливості застосування такого рішення на сервері онтологічних баз знань «Virtuoso». В результаті дослідження був розроблений метод комбінації різонерів для оптимізації роботи онтологічних баз знань. В результаті застосування даного методу було отримано збільшення продуктивності роботи баз знань при роботі з різнотипними онтологіями
Посилання
- List of Reasoners. OWL. Available at: http://owl.cs.manchester.ac.uk/tools/list-of-reasoners/
- Reasoners and rule engines: Jena inference support. Apache Jena. Available at: https://jena.apache.org/documentation/inference/
- OpenLink Virtuoso Universal Server Documentation (2017). OpenLink Software. Available at: http://docs.openlinksw.com/virtuoso/
- Sheare, R., Motik, B., Horrocks, I. HermiT: A Highly-Efficient OWL Reasoner. Available at: http://www.cs.ox.ac.uk/boris.motik/pubs/smh08HermiT.pdf
- Motik, B., Shearer, R., Horrocks, I. (2009). Hypertableau Reasoning for Description Logics. Journal of Artificial Intelligence Research, 36, 165–228.
- Zuo, M., Haarslev, V. (2013). Intelligent Tableau Algorithm for DL Reasoning. Automated Reasoning with Analytic Tableaux and Related Methods, 273–287. doi: 10.1007/978-3-642-40537-2_23
- Motik, B., Shearer, R., Horrocks, I. (2007). Optimized Reasoning in Description Logics Using Hypertableaux. Lecture Notes in Computer Science, 67–83. doi: 10.1007/978-3-540-73595-3_6
- Pukancová, J., Homola, M. Tableau-Based ABox Abduction for Description Logics: Preliminary Report. Available at: http://ceur-ws.org/Vol-1577/paper_23.pdf
- Surianarayanan, C., Ganapathy, G. (2012). A survey on optimization approaches to semantic service discovery towards an integrated solution. ICTACT Journal on Soft Computing, 02 (04), 377–383. doi: 10.21917/ijsc.2012.0059
- Glimm, B., Horrocks, I., Motik, B., Stoilos, G. (2010). Optimising Ontology Classification. Lecture Notes in Computer Science, 225–240. doi: 10.1007/978-3-642-17746-0_15
- Shevchenko, A., Shevchenko, E. (2012). Modern ontological knowledge base management systems comparison. Visnyk SevNTU, 131, 82–86.
- Dentler, K., Cornet, R., Teije, A., Keizer, N. (2011). Comparison of Reasoners for large Ontologies in the OWL 2 EL Profile. IOS Press, 1, 1–17.
- Sirin, E., Parsia, B., Grau, B. C., Kalyanpur, A., Katz, Y. (2007). Pellet: A practical OWL-DL reasoner. Web Semantics: Science, Services and Agents on the World Wide Web, 5 (2), 51–53. doi: 10.1016/j.websem.2007.03.004
- Apache Jena Overview. Apache. Available at: http://jena.apache.org/documentation/javadoc/jena/
- Fokoue, A., Kershenbaum, A., Ma, L., Schonberg, E., Srinivas, K. (2006). The Summary Abox: Cutting Ontologies Down to Size. Lecture Notes in Computer Science, 343–356. doi: 10.1007/11926078_25
- Bibchkov, I., Sokol, V., Shevchenko, A. (2014). Optimizing the performance of ontological knowledge bases built on the basis of «VIRTUOSO». Eastern-European Journal of Enterprise Technologies, 5 (2 (71)), 4–8. doi: 10.15587/1729-4061.2014.28553
##submission.downloads##
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2017 Igor Bibichkov, Vadym Sokol, Oleksandr Shevchenko
Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.
Закріплення та умови передачі авторських прав (ідентифікація авторства) здійснюється у Ліцензійному договорі. Зокрема, автори залишають за собою право на авторство свого рукопису та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons CC BY. При цьому вони мають право укладати самостійно додаткові угоди, що стосуються неексклюзивного поширення роботи у тому вигляді, в якому вона була опублікована цим журналом, але за умови збереження посилання на першу публікацію статті в цьому журналі.
Ліцензійний договір – це документ, в якому автор гарантує, що володіє усіма авторськими правами на твір (рукопис, статтю, тощо).
Автори, підписуючи Ліцензійний договір з ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР», мають усі права на подальше використання свого твору за умови посилання на наше видання, в якому твір опублікований. Відповідно до умов Ліцензійного договору, Видавець ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР» не забирає ваші авторські права та отримує від авторів дозвіл на використання та розповсюдження публікації через світові наукові ресурси (власні електронні ресурси, наукометричні бази даних, репозитарії, бібліотеки тощо).
За відсутності підписаного Ліцензійного договору або за відсутністю вказаних в цьому договорі ідентифікаторів, що дають змогу ідентифікувати особу автора, редакція не має права працювати з рукописом.
Важливо пам’ятати, що існує і інший тип угоди між авторами та видавцями – коли авторські права передаються від авторів до видавця. В такому разі автори втрачають права власності на свій твір та не можуть його використовувати в будь-який спосіб.