Protege HermiT Integration

Лицензия	Лицензия GNU Lesser General Public License
Категории	Категории Protégé Универсальные библиотеки Utility
Группа	Группа edu.stanford.protege
Идентификатор	Идентификатор org.protege.integration.hermit
Последняя версия	Последняя версия 1.0.1
Дата	Дата 3 сент. 2015 г.
Тип	Тип bundle
Описание	Описание Protege HermiT Integration Integrates the HermiT reasoner with Protege Desktop.
Ссылка на сайт	Ссылка на сайт https://github.com/protegeproject/hermit-integration
Организация-разработчик	Организация-разработчик Stanford Center for Biomedical Informatics Research
Система контроля версий	Система контроля версий https://github.com/protegeproject/hermit-integration

Скачать org.protege.integration.hermit

Имя Файла	Размер
org.protege.integration.hermit-1.0.1.pom
org.protege.integration.hermit-1.0.1.jar	1 MB
org.protege.integration.hermit-1.0.1-sources.jar	1 KB
org.protege.integration.hermit-1.0.1-javadoc.jar	22 KB
Обзор

Зависимости

compile (4)

Идентификатор библиотеки	Тип	Версия
net.sourceforge.owlapi : owlapi-osgidistribution	jar	[3.5.2,3.9)
com.hermit-reasoner : org.semanticweb.hermit	jar	1.3.8.3
dk.brics.automaton : automaton	jar	1.11-8
edu.stanford.protege : org.protege.editor.owl	jar	[4.3.0,5.0.0-beta-18)

Модули Проекта

hermit-integration

Integrates the HermiT reasoner with Protege Desktop.

Protégé Project

Версии библиотеки

Версия
1.0.1 3 сент. 2015 г.
1.0.0 13 дек. 2013 г.