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

Authors

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

DOI:

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

Keywords:

ontology, knowledge base, verification, hybrid inference

Abstract

Extension of the ontological model by the verification component for accumulation and processing of the information about knowledge hybrid inference in distributed intelligent information systems is considered. A method for knowledge verification is proposed

Author Biography

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

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

References

  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.

Downloads

Published

2009-08-20

How to Cite

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

Issue

Vol. 4 No. 8(40) (2009): Mathematics and Cybernetics - applied aspects

Section

Mathematics and Cybernetics - applied aspects

License

Copyright (c) 2014 М. В. Климова

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.

A license agreement is a document in which the author warrants that he/she owns all copyright for the work (manuscript, article, etc.).
The authors, signing the License Agreement with TECHNOLOGY CENTER PC, have all rights to the further use of their work, provided that they link to our edition in which the work was published.
According to the terms of the License Agreement, the Publisher TECHNOLOGY CENTER PC does not take away your copyrights and receives permission from the authors to use and dissemination of the publication through the world's scientific resources (own electronic resources, scientometric databases, repositories, libraries, etc.).
In the absence of a signed License Agreement or in the absence of this agreement of identifiers allowing to identify the identity of the author, the editors have no right to work with the manuscript.
It is important to remember that there is another type of agreement between authors and publishers – when copyright is transferred from the authors to the publisher. In this case, the authors lose ownership of their work and may not use it in any way.