Search academic texts

Information × Registration Number 0411U003771, Candidate dissertation Status к.т.н. Date 25-05-2011 popup.evolution o Title Computational methods of temporal integrity constraints verification in ontology change process. Author Keberle Nataliya Gennadiivna, popup.head Ermolayev Vadim Anatoliyovych popup.opponent Глибовець Микола Миколайович popup.opponent Хайрова Ніна Феліксівна Description Дисертація присвячена вдосконаленню засобів перевірки якості моделей знань, поданих у вигляді онтологій, при модифікації. Розроблено формальний апарат моделювання динамічних предметних областей у онтологіях, що здатен підвищити ефективність процесу технічної підготовки виробництва в цілому за рахунок зменшення кількості помилок при модифікації онтологій. Запропонована формальна модель динаміки знань про предметну область,що враховує темпоральну структуру, в межах якої розвивається динамічна предметна область. Розроблено метричні темпоральні логічні числення для формального подання моделі динаміки знань. Для розроблених числень на основі методу семантичних табло побудовано методи перевірки виконуваності формул. Формалізовано поняття темпорального обмеження цілісності в межах моделі динаміки знань. Розроблено обчислювальний метод верифікації темпоральних обмежень цілісності, який базується на методах перевірки виконуваності формул метричних темпоральних числень. Запропоновані моделі та методи використано для перевірки якості моделей знань в процесі управління змінами в онтологіях інформаційних систем підтримки технічної підготовки виробництва. Розроблено прототип програмного комплексу підтримки процесу автоматизованої верифікації темпоральних обмежень цілісності, заданих на етапі специфікації модифікацій у процесі управління змінами в онтологіях. Registration Date 2011-05-25 popup.nrat_date 2020-04-04 Close