Страница публикации

BEACON: An Efficient SAT-Based Tool for Debugging epsilon L+ Ontologies

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Arif M., Mencia C., Ignatiev A., Manthey N., Penaloza R., Marques-Silva J.

Журнал: Lecture Notes in Computer Science

Язык публикации: english

Том: 9710

Номера страниц: 521-530

Количество страниц: 10

Год публикации: 2016

Отчетный год: 2016

Индексируется WOS: Q4

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Да

Индексируется ВАК: Нет

Индексируется CORE: Нет