이것은 Linux 온라인에서 실행되는 Swertia라는 Linux 앱으로 최신 릴리스는 Rdf2Tptp.jar로 다운로드할 수 있습니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
Swertia라는 이 앱을 다운로드하여 온라인으로 실행하면 OnWorks를 통해 Linux 온라인에서 무료로 실행할 수 있습니다.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
Swertia, 온라인 Linux에서 실행
Ad
기술
Semantic Web Entailment Regime Translation and Inference Architecture인 Swertia는 2차 논리(FOL) 추론을 기반으로 하는 일반적인 Semantic Web 추론 프레임워크입니다. 목표는 RDF(S), OWL 2(Direct Semantics, RDF-Based Semantics, OWL XNUMX RL/RDF 규칙), SWRL, RIF(RIF BLD, RIF Core, RIF+RDF 및 RIF+OWL 조합) 및 Common Logic. 사용 가능한 추론 방법은 함의 확인, 일관성 확인 및 SPARQL 함의 체계 형태의 질의 응답입니다. 내부적으로 Swertia는 추론 기능 자체를 제공하지 않지만 지원되는 Semantic Web 표준에서 추론을 수행하기 위해 기존 추론을 사용할 수 있도록 하는 데 필요한 모든 수단을 제공합니다. 하이브리드 추론 시스템 구축을 위한 Semantic Web 추론기뿐만 아니라 대부분의 FOL 추론기가 지원됩니다.오디언스 (Audience)
정보 기술, 과학/연구, 교육, 고급 최종 사용자, 개발자
프로그래밍 언어
자바
이것은 https://sourceforge.net/projects/swertia/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.