| Лицензия |
Лицензия |
|---|---|
| Категории |
КатегорииAnt Компиляция и сборка KeY Данные Data Formats Formal Verification |
| Группа | Группаit.uniroma2.art.semanticturkey |
| Идентификатор | Идентификаторsemanticturkey |
| Последняя версия | Последняя версия11.1 |
| Дата | Дата |
| Тип | Типzip |
| Описание |
ОписаниеSemantic Turkey
Semantic Turkey parent project. It contains the three modules about: core business logic, core services and firefox extension (ui and client in general) of the system. Three additional modules provide an implementation for the ontology manager to be bundled with the tool, an applet for graph visualization of ontologies and concept schemes and a test suite to run tests on a java client framework.
An ANT build file allows to package the xpi for Firefox installation (read README2BUILD.TXT file for info)
|
| Ссылка на сайт |
Ссылка на сайт |
| Организация-разработчик |
Организация-разработчик |
| Система контроля версий |
Система контроля версий |
| Имя Файла | Размер |
|---|---|
| semanticturkey-11.1.pom | 9 KB |
| semanticturkey-11.1-server.zip | 159 MB |
| Обзор |