Це програма для Linux під назвою LillyTab, останню версію якої можна завантажити як LillyTab-1.11-SNAPSHOT-jar-with-dependencies.jar. Його можна запустити в режимі онлайн за допомогою безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою LillyTab з OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть онлайн-емулятор OnWorks Linux або Windows або онлайн-емулятор MACOS з цього веб-сайту.
- 5. З ОС OnWorks Linux, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму, встановіть її та запустіть.
LillyTab
Ad
ОПИС
LillyTab — це модульна перевірка логіки опису (reasoner) з підтримкою підмножини OWL/DL.
Функції
- Інтеграція OWLAPI
- модульна архітектура
- підтримка DL SHOF(D) (який є OWL/DL за вирахуванням обмежень кваліфікованого числа та інверсних ролей)
- різноманітні оптимізації (ліниве розгортання, переписування вхідних термінів, зворотне відстеження залежностей)
- документований доступ до внутрішніх елементів представлення ABox
- відстеження та журналювання
Аудиторія
Розробники, інформаційні технології
Користувацький інтерфейс
Консоль/Термінал
Мова програмування
Java
Категорії
Це додаток, який також можна отримати з https://sourceforge.net/projects/lillytab/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.
