Розробка методу та моделі верифікації знань в онтологічних системах

Автор(и)

  • М. В. Климова Харківський національний університет радіоелектроники пр. Леніна, м. Харків, 61166, Україна

DOI:

https://doi.org/10.15587/1729-4061.2009.22184

Ключові слова:

онтологія, база знань, верифікація, гібридне виведення

Анотація

Розглянуто вдосконалення онтологічної моделі верифікаційною складовою з метою збереження та обробки інформації про процес гібридного виведення знань в розподілених інтелектуальних інформаційних системах. Запропоновано метод верифікації знань

Біографія автора

М. В. Климова, Харківський національний університет радіоелектроники пр. Леніна, м. Харків, 61166

Кафедра штучного інтелекту

Посилання

  1. Semantic Portals – Requirements Specification [Електронний ресурс] / W3 Consortium. – Режим доступу: http://www.w3.org/2001/sw/Europe/reports/ requirements-demo-2. – Загол. з екрану.
  2. Brachman, Ronald J. Knowledge Representation and Reasoning / Ronald J. Brachman, Hector J. Levesque // Morgan Kaufmann Publishers. – 2004. – 381 pp.
  3. Fagin, Ronald. Reasoning about Knowledge / Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi // Journal of Logic, Language and Information. – Springer Netherlands. – 1999. Volume 8, Number 4. – 469-473 pp.
  4. Levesque, Hector J. The Logic of Knowledge Bases / Hector J. Levesque, Gerhard Lakemeyer // MIT Press, Cambridge. – MA. – 2000. – 282 pp.
  5. Zhang, Du. Knowledge base verification: issues and approaches // AAAI Technical Report. – AAAI. – 1993. – 148-149 pp.
  6. Gómez Pérez, A. Ontological Engineering / A. Gómez Pérez, M. Fernández López, Chorcho O // Springer Verlag. – London, UK. – 2004.
  7. Gomez-Perez A. Criteria to Verify Knowledge Sharing Technology // Knowledge Systems Laboratory. – WebMaster. – January, 1995.
  8. Lozano-Tello, Adolfo. ONTOMETRIC: a method to choose the appropriate ontology / Adolfo Lozano-Tello, Asuncion Gomez-Perez // Journal of Database Management. – 2004.
  9. McGuinness, Deborah L. The Chimaera Ontology Environment / Deborah L. McGuinness, Richard Fikes, James Rice, and Steve Wilder // Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000). – Austin, Texas. – July 30 - August 3, 2000.
  10. McGuinness, Deborah L. Explaining Answers from the Semantic Web: The Inference Web Approach / Deborah L. McGuinness and Paulo Pinheiro da Silva. // Journal of Web Semantics. – Vol.1 No.4., pages 397-413. – October 2004.
  11. Horrocks, Ian. Description Logics in Ontology Applications. // Proc. of the 9th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 20-05). – Springer. – 2005. – pages 2-13.

##submission.downloads##

Опубліковано

2009-08-20

Як цитувати

Климова, М. В. (2009). Розробка методу та моделі верифікації знань в онтологічних системах. Eastern-European Journal of Enterprise Technologies, 4(8(40), 32–36. https://doi.org/10.15587/1729-4061.2009.22184

Номер

Том 4 № 8(40) (2009): Математика та кібернетика - прикладні аспекти

Розділ

Математика та кібернетика - прикладні аспекти

Ліцензія

Авторське право (c) 2014 М. В. Климова

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.

Закріплення та умови передачі авторських прав (ідентифікація авторства) здійснюється у Ліцензійному договорі. Зокрема, автори залишають за собою право на авторство свого рукопису та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons CC BY. При цьому вони мають право укладати самостійно додаткові угоди, що стосуються неексклюзивного поширення роботи у тому вигляді, в якому вона була опублікована цим журналом, але за умови збереження посилання на першу публікацію статті в цьому журналі.

Ліцензійний договір – це документ, в якому автор гарантує, що володіє усіма авторськими правами на твір (рукопис, статтю, тощо).
Автори, підписуючи Ліцензійний договір з ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР», мають усі права на подальше використання свого твору за умови посилання на наше видання, в якому твір опублікований. Відповідно до умов Ліцензійного договору, Видавець ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР» не забирає ваші авторські права та отримує від авторів дозвіл на використання та розповсюдження публікації через світові наукові ресурси (власні електронні ресурси, наукометричні бази даних, репозитарії, бібліотеки тощо).
За відсутності підписаного Ліцензійного договору або за відсутністю вказаних в цьому договорі ідентифікаторів, що дають змогу ідентифікувати особу автора, редакція не має права працювати з рукописом.
Важливо пам’ятати, що існує і інший тип угоди між авторами та видавцями – коли авторські права передаються від авторів до видавця. В такому разі автори втрачають права власності на свій твір та не можуть його використовувати в будь-який спосіб.