Сокращение пространства поиска интерпретаций за счет обнаружения изоморфных концептов
14 сентября 2018
314
Предметная область | — |
Выходные данные | — |
Ключевые слова | — |
Вид публикации | Статья |
Контактные данные автора публикации | — |
Ссылка на публикацию в интернете | elibrary.ru/item.asp?id=20348535 |
Аннотация
Крипционных логик. Рассматриваемый алгоритм имеет экспоненциальную вычислительную сложность, что делает его не применимым на практике. К настоящему моменту были разработаны оптимизации, существенно сокращающие время работы алгоритма, но некоторые реальные базы знаний не могут быть классифицированы за приемлемое время. Основная часть статьи посвящена разработке метода сокращения количества рассматриваемых интерпретаций табличным алгоритмом за счет исключения из поиска изоморфных интерпретаций. Для данного метода представлено доказательство корректности работы и дана оценка количеству не рассматриваемых интерпретаций. В статье приводится краткое описание структур, используемых для представления концептов, и приведена модификация метода Эдмондсона для поиска идентичных подструктур в описании концептов. Разработанный метод был реализован в системе TReasoner. В заключение представлены результаты тестирования на данных международного симпозиума по дескрипционным логикам DL’98 в сравнении с наиболее популярными системами логического анализа онтологий JFact и HermiT.
ПодробнееДля того чтобы оставить комментарий необходимо авторизоваться.