THE RESOLUTION METHOD AS A MEANS OF EXTENDING THE ONTOLOGY INFERENCE MACHINE

D.A. Filipishin, S.A. Zori

About the authors

D.A. Filipishin, S.A. Zori

Federal State Budgetary Educational Institution of Higher Education "Donetsk National Technical University", 283001, Donetsk, Artema str, 58

Download PDF

UDC: 681.3
DOI: 10.24412/2413-7383-2025-4-39-241-253
Language: Russian

Abstract: The article discusses the use of the Prolog language solver as a means of extending the inference machine (reasoner) to build domain ontologies. A new approach to solving production tasks within the framework of the ontology editor, considered as an integrated development environment (IDE), is proposed. The perspective of using a Prolog language solver based on the predicate language of the mathematical logic of Horn disjuncts, semantic connections and axiomatics of binary relations inherent in ontologies is analyzed. A solution to the existing shortcomings in both systems is proposed in order to create a new ontological system that includes the capabilities of both approaches.

Keywords: ontology, Prolog, IDE, reasoner, solver, products, Einstein's Riddle, the Holmes game.

References

1. Khabarov S.P. Intelligent information systems. PROLOG is a language for developing intelligent and expert systems: a textbook / S.P. Khabarov. - St. Petersburg State Technical University, 2013. – 138P.
2. Tsukanova, N.I. The ontological model of knowledge representation and organization: a textbook for universities / N.I. Tsukanova, Moscow: Hotline – Telecom, 2015. – 272P.
3. Garkusha, D.A. Functional features of implemented ontological platforms // D.A. Garkusha // Problems of artificial intelligence. - 2023. № 4 (31). - 4-11. - http://search.rads-doi.org/project/14374/object/210537 doi: 10.34757/2413-7383.2023.31.4.001.
4. Novoseltsev V.B. Effective nonresolutionary derivation for the limited calculus of Horn disjuncts // Izvestiya Tomsk Polytechnic University, 2008. – Т. 312 №5. – Pp. 94 – 97.
5. Borgest N.M. Orlova A.A. Ontological editor Fluent Editor: an educational and methodological guide to laboratory work / comp.: N.M. Borgest, A.A. Orlova. Samara: Publishing House of Samara University, 2017. – 44P.
6. Mendes P. N. DBpedia: a multilingual cross-domain knowledge base [Текст] / P. N. Mendes, M. Jakob, and C. Bizer // LREC. – 2012. – Pp. 1813–1817.
7. Tsukanova, N.I. The ontological model of knowledge representation and organization: a textbook for universities / N.I. Tsukanova, Moscow: Hotline – Telecom, 2015. – 272P.
8. Adamenko A.N. Kuchukov A.M. Logical programming and Visual Prolog. - St. Petersburg: BHV- Petersburg, 2003. – 992P. ISBN 5-94157-156-9
9. Wirth N. Structural programming. Moscow: Mir, 1975. – 189P.
10. Klini S. Mathematical Logic, Moscow: Mir, 1973. – 480P.
11. Novoseltsev V.B. Theory of structural functional models // Siberian Mathematical Journal. – 2006. – Т. 47. - № 5. – Pp. 1014 – 1030.
12. Kosarev, N.I. The production model of knowledge representation in decision support systems / N.I. Kosarev // Bulletin of the Siberian Law Institute of the Federal Drug Control Service of Russia №2 (13), 2013.
13. Dorokhina G. V. Information technology requirements for digital data collection, processing and analysis. Problems of artificial intelligence. 2020. № 4 (19). Pp. 4–9.
14. Bruno Borlini Duarte an Ontology-based Reference Model for the Software Systems Domain with a focus on Requirements Traceability/ Bruno Borlini Duarte. – Vitória, ES, 2022- 149 p.: il. 30 cm. (date of request: 04.12.2025).
15. Garkusha, D. A. Analysis of ontological platforms. Artificial intelligence: theoretical aspects, practical application: proceedings of the Donetsk International Scientific Round Table. Donetsk: FGBNU "IPII", 2023. 252 P. Pp. 37–40.
16. Zagorulko Yu.A. Modern means of formalizing the semantics of knowledge domains based on ontologies. Information and mathematical technologies in science and management. 2018. № 3 (11). С. 27 36. DOI:10.25729/2413-0133-2018-3-03.
17. Polovikova O.N. Features of software implementation of logical tasks in the Prolog language / O.N. Polovikova, V.V. Shiryaev, N.M. Offending, L.L. Smolyakova // News of AltSU. Mathematics and Mechanics, 2021, №1 (117).
18. Laurier J.L. Artificial intelligence systems. URL: http://lib.alnam.ru/book_sii.php (date of request: 04.12.2025).
19. Mathematical logic and logical programming // Mathematical Forum MathHelpPlanet. URL: http://mathhelpplanet.com/static.php?p=matematicheskaya-logika-i-logicheskoye-programmirovaniye. (date of request: 04.12.2025).
20. Solving logical problems in Prolog // Programmer's blog: programming and algorithms (version from 28.05.2018). URL: https://pro-prof.com/archives/1299. (Date of request: 04.12.2025).
21. Santos Costa V. On Just in Time Indexing of Dynamic Predicates in Prolog // Lecture Notes in Computer Science. Berlin, Heidelberg, 2009. DOI:10.1007/978-3-642-04686-5.

Issue: 4(39)'2025
Section: SYSTEM ANALYSIS, CONTROL AND INFORMATION PROCESSING, STATISTICS
How to cite: D.A. Filipishin, S.A. Zori. THE RESOLUTION METHOD AS A MEANS OF EXTENDING THE ONTOLOGY INFERENCE MACHINE // Problems of Artificial Intelligence. - 2025. - № 4 (39). - P. 241-253. - https://paijournal.guiaidn.ru/en/2025/4(39)-21.html

Back to issue 4(39)'2025