Сокращение пространства поиска интерпретаций за счет обнаружения изоморфных концептов

14 сентября 2018
314
Предметная область
Выходные данные
Ключевые слова
Вид публикации Статья
Контактные данные автора публикации
Ссылка на публикацию в интернете elibrary.ru/item.asp?id=20348535

Аннотация

Крипционных логик. Рассматриваемый алгоритм имеет экспоненциальную вычислительную сложность, что делает его не применимым на практике. К настоящему моменту были разработаны оптимизации, существенно сокращающие время работы алгоритма, но некоторые реальные базы знаний не могут быть классифицированы за приемлемое время. Основная часть статьи посвящена разработке метода сокращения количества рассматриваемых интерпретаций табличным алгоритмом за счет исключения из поиска изоморфных интерпретаций. Для данного метода представлено доказательство корректности работы и дана оценка количеству не рассматриваемых интерпретаций. В статье приводится краткое описание структур, используемых для представления концептов, и приведена модификация метода Эдмондсона для поиска идентичных подструктур в описании концептов. Разработанный метод был реализован в системе TReasoner. В заключение представлены результаты тестирования на данных международного симпозиума по дескрипционным логикам DL’98 в сравнении с наиболее популярными системами логического анализа онтологий JFact и HermiT.
Подробнее
Для того чтобы оставить комментарий необходимо авторизоваться.