Це програма для Linux під назвою Swertia для роботи в Linux онлайн, останню версію якої можна завантажити як Rdf2Tptp.jar. Його можна запустити в режимі онлайн за допомогою безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою Swertia, щоб безкоштовно запускати в Linux онлайн з 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. Завантажте програму, встановіть її та запустіть.
Swertia для запуску в Linux онлайн
ОПИС:
Swertia, архітектура режиму перекладу та висновку семантичної веб-системи, — це загальна структура аргументації семантичної мережі, яка базується на міркуваннях логіки першого порядку (FOL). Мета полягає в тому, щоб забезпечити підтримку аргументації для всіх основних стандартів аргументації Semantic Web, включаючи RDF(S), OWL 2 (Пряма семантика, семантика на основі RDF, правила OWL 2 RL/RDF), SWRL, RIF (RIF BLD, RIF Core, комбінації RIF+RDF і RIF+OWL), а також Common Logic. Доступними методами аргументації є перевірка сутічок, перевірка узгодженості та відповіді на запити у вигляді режимів залучення SPARQL. Внутрішньо Swertia не надає ніяких можливостей для міркування, але надає всі необхідні засоби для використання існуючих аргументів для виконання міркувань у підтримуваних стандартах семантичної мережі. Підтримуються більшість аргументів FOL, а також аргументи Semantic Web для побудови гібридних систем міркування.Аудиторія
Інформаційні технології, наука/дослідження, освіта, досвідчені кінцеві користувачі, розробники
Мова програмування
Java
Це додаток, який також можна отримати з https://sourceforge.net/projects/swertia/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.