Questa è l'app Linux denominata Swertia da eseguire in Linux online la cui ultima versione può essere scaricata come Rdf2Tptp.jar. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app denominata Swertia per eseguirla gratuitamente su Linux online con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
Swertia può essere eseguito su Linux online
Ad
DESCRIZIONE
Swertia, il Semantic Web Entailment Regime Translation and Inference Architecture, è un framework di ragionamento del Web semantico generico basato sul ragionamento di logica del primo ordine (FOL). L'obiettivo è fornire supporto di ragionamento per tutti i principali standard di ragionamento del Web semantico, inclusi RDF(S), OWL 2 (Semantica diretta, semantica basata su RDF, regole OWL 2 RL/RDF), SWRL, RIF (RIF BLD, RIF Core, combinazioni RIF+RDF e RIF+OWL) e Common Logic. I metodi di ragionamento disponibili sono il controllo dell'implicazione, il controllo della coerenza e la risposta alle domande sotto forma di regimi di implicazione SPARQL. Internamente, Swertia non fornisce alcuna capacità di ragionamento in sé, ma fornisce tutti i mezzi necessari per consentire l'uso di ragionatori esistenti per eseguire il ragionamento negli standard del Web semantico supportati. La maggior parte dei ragionatori FOL è supportata, così come i ragionatori del Web semantico per la creazione di sistemi di ragionamento ibridi.Pubblico
Informatica, Scienza/Ricerca, Istruzione, Utenti finali avanzati, Sviluppatori
Linguaggio di programmazione
Java
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/swertia/. È stato ospitato in OnWorks per essere eseguito online nel modo più semplice da uno dei nostri sistemi operativi gratuiti.