Об'єкт дослідження - моделі представлення знань в Semantic Web. Метою атестаційної роботи є удосконалення існуючих моделей представлення знань предметної області для застосування в задачах відображення, інтеграції та пошуку інформації в Semantic Web. Методи дослідження базуються на принципах представлення знань в експертних системах та базах знань, моделях онтологій а також методах семантичної верифікації онтологій. Результатом роботи є програмна система представлення та верифікації знань на основі онтологій, що є придатною для використання в Semantic Web. Розроблені моделі та програмна систем відповідає вимогам та забезпечує структуроване представлення і верифікацію знань. Отримані результати додатково можуть бути використані системах управління знаннями. SEMANTIC WEB, ЗНАННЯ, МОДЕЛЬ, БАЗА ЗНАНЬ, ОНТОЛОГІЯ, ВЕРИФІКАЦІЯ, СЕМАНТИЧНА ВЕРИФІКАЦІЯ, СЕМАНТИЧНА МОДЕЛЬ. A research object is models of representation of knowledge in Semantic Web. The aim of attestation work is an improvement of existent models of representation of knowledge of subject domain for application in the tasks of reflection, integration and information retrieval in Semantic Web. Research methods are based on principles of representation of knowledge in consulting models and bases of knowledge, models of ontology and also methods of semantic verification of ontology. A job performance is the programmatic system of presentation and verification of knowledge on bases of ontology which is suitable for the use in Semantic Web. Worked out models and programmatic systems answers requirements and provides the structured presentation and verification of knowledge. The got results additionally can be drawn on control system by knowledge. SEMANTIC WEB, KNOWLEDGE, MODEL, BASE of KNOWLEDGE, ONTOLOGY, VERIFICATION, SEMANTIC VERIFICATION, SEMANTIC MODEL.
