זוהי אפליקציית הלינוקס בשם Swertia להפעלה בלינוקס מקוונת, שניתן להוריד את המהדורה האחרונה שלה בתור Rdf2Tptp.jar. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באופן מקוון את האפליקציה הזו בשם Swertia כדי לרוץ בלינוקס באופן מקוון עם 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 לרוץ בלינוקס מקוון
תיאור:
Swertia, ה-Semantic Web Entailment Regime Translation and Inference Architecture, היא מסגרת חשיבה סמנטית גנרית המבוססת על חשיבה לוגית מסדר ראשון (FOL). המטרה היא לספק תמיכה בהיגיון לכל תקני החשיבה העיקריים ברשת הסמנטית, כולל RDF(S), OWL 2 (סמנטיקה ישירה, סמנטיקה מבוססת RDF, כללי OWL 2 RL/RDF), SWRL, RIF (RIF BLD, RIF Core, שילובי RIF+RDF ו-RIF+OWL), ו-Common Logic. שיטות הנמקה זמינות הן בדיקת מעורבות, בדיקת עקביות ומענה לשאילתות בצורה של משטרי סגירת SPARQL. מבחינה פנימית, Swertia אינה מספקת יכולות חשיבה כלשהן בעצמה, אך מספקת את כל האמצעים הדרושים כדי לאפשר שימוש בנימוקים קיימים כדי לבצע הנמקה בתקני האינטרנט הסמנטיים הנתמכים. התמיכה ברוב מנמקות FOL, כמו גם מנמקות אינטרנט סמנטיות לבניית מערכות חשיבה היברידיות.קהל
טכנולוגיית מידע, מדע/מחקר, חינוך, משתמשי קצה מתקדמים, מפתחים
שפת תכנות
Java
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/swertia/. הוא התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.