Please use this identifier to cite or link to this item: https://elib.utmn.ru/jspui/handle/ru-tsu/14484
Title: Модификация табличного алгоритма на основе проверки непересекаемости сложных концептов
Other Titles: Modification of tableau algorithm based on checking disjointness of complex concepts
Authors: Andrey, V. Grigoryev
Mikhail, V. Grigorev
Ивашко, Александр Григорьевич
Григорьев, Андрей Викторович
Григорьев, Михаил Викторович
Alexander, G. Ivashko
Keywords: role;concept;description logic;Simulation modeling;tableau algorithm;концепт;дескрипционная логика;Имитационное моделирование;табличный алгоритм;роль
Issue Date: 2012
Citation: Ивашко, А. Г. Модификация табличного алгоритма на основе проверки непересекаемости сложных концептов / А. Г. Ивашко, А. В. Григорьев, М. В. Григорьев // Вестник Тюменского государственного университета. - 2012. - № 4. - С. 143-150.
metadata.dc.relation.ispartof: Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика. Физико-математические науки. Информатика (№4, 2012)
Abstract: Статья посвящена исследованию необходимости изменения табличного алгоритма с целью уменьшения времени работы для обеспечения возможности его использования при проверке баз знаний больших . The article considers researching the necessity of tableau algorithm changing with aim to reduce algorithm work time, for providing an opportunity of its using for checking large knowledge bases.
URI: https://elib.utmn.ru/jspui/handle/ru-tsu/14484
Appears in Collections:Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.