Vasyl Lenko, Yuriy Shcherbyna


The research is dedicated to the concept of knowledge and formal approaches of its management. The focus is on the logic-based models of knowledge representation and reasoning, in particular, type theories and ontologies, which are backed by formal semantics and reliable methods of deductive reasoning. The concept of knowledge is considered in the context of epistemology as justified true belief, where logic serves as a distinguished component for knowledge justification.

Повний текст:



  1. Baader, F., Horrocks, I., Lutz, C., & Sattler, U. (2017). An introduction to description logic. Cambridge University Press.
  2. Basiuk, T., Dosyn, D., & Lytvyn, V. (2017). Ontological engineering. Lviv: Publishing House of Lviv Polytechnic National University.
  3. Liew, A. (2007). Understanding Data, Information, Knowledge and Their Inter-Relationships. Journal of Knowledge Management Practice, 8(2), 1-10.
  4. Chomsky, N. (1956). Three models for the description of language. IRE Transactions on Information Theory (2), 113-124.
  5. Smith, B. (1982). Procedural reflection in programming languages, Ph.D. Thesis. Cambridge: MIT.
  6. Levesque, H., & Brachman, R. (1987). Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence, 3(1), 78-93.
  7. Stanford Encyclopedia of Philosophy. Epistemology. Retrieved from URL:
  8. Stanford Encyclopedia of Philosophy. The Analysis of Knowledge. Retrieved from URL:
  9. Wikiquote. Classical definition of Knowledge. Retrieved from URL:
  10. Artemov, S., & Protopopescu, T. (2016). Intuitionistic epistemic logic. The review of symbolic logic, 9(2), 266-298.
  11. Feilmayr, C., & Wöß, W. (2016). An analysis of ontologies and their success factors for application to business. Data & Knowledge Engineering, 101, 1-23.
  12. Lytvyn, V. (2013). Pidkhid do pobudovy intelektualnykh system pidtrymky pryiniattia rishen na osnovi ontolohii. Problemy prohramuvannia, 4, 43-52.
  13. Noy, N., & McGuinness, D. (2001). Ontology Development 101: A Guide to Creating Your First Ontology. Retrieved from URL: development/ontology101-noy-mcguinness.html.
  14. Dapoigny, R., & Barlatier, P. (2008). Towards a Conceptual Structure based on Type theory. Retrieved from URL:
  15. Hafsi, M., Dapoigny, R., & Bolon, P. (2015). Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks. Knowledge Science, Engineering and Management Lecture Notes in Computer Science, 90-101.
  16. French Institute for Research in Computer Science and Automation. The Coq Proof Assistant. Retrieved from URL:
  17. Microsoft Research. The Lean Theorem Prover. Retrieved from URL:
  18. Cornell University. Nuprl Proof Development System. Retrieved from URL:
  19. Lenko, V., Pasichnyk, V., Kunanets, N. & Shcherbyna, Y. (2018). Knowledge representation and formal reasoning in ontologies with Coq. Advances in Computer Science for Engineering and Education, 754, 759-770.



  • Поки немає зовнішніх посилань.