Swertia Files

Semantic Web Entailment Regime Translation and Inference Architecture

Status: Planning

Brought to you by: semantiquele

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
regimes	2014-01-04		0
run-swertia-e-rdf11-reasoner.sh	2014-01-04	1.9 kB	0
Rdf2Tptp.jar	2014-01-04	7.8 MB	0
Totals: 3 Items		7.8 MB	0

This folder contains the results of the evaluation of the Swertia RDF 1.1 Semantics reasoner for the RDF 1.1 CfI.

Folder Contents:

* evaluation/: evaluation result files. 
  The most important file is the EARL file,
  which contains the evaluation results in
  machine-readable form.

* software/: evaluated software.
  + RdfToTptp.java: translator from RDF to FOL
  + regimes/: FOL files for the entailment regimes
    Simple, RDF, and RDFS
  + run-swertia-e-rdf11-reasoner.sh: Unix Shell script
    for running the RDF-to-FOL translator in conjunction
    with the FOL theorem prover E, which is separately
    available from its project homepage at 
    http://www.eprover.org .

Michael Schneider, January 2014

Source: README.txt, updated 2014-01-04

Other Useful Business Software

Financial reporting cloud-based software. Icon

Financial reporting cloud-based software.

For companies looking to automate their consolidation and financial statement function

The software is cloud based and automates complexities around consolidating and reporting for groups with multiple year ends, currencies and ERP systems with a slice and dice approach to reporting. While retaining the structure, control and validation needed in a financial reporting tool, we’ve managed to keep things flexible.

Learn More

Cloud data warehouse to power your data-driven innovation Icon

Cloud data warehouse to power your data-driven innovation

BigQuery is a serverless and cost-effective enterprise data warehouse that works across clouds and scales with your data.

BigQuery Studio provides a single, unified interface for all data practitioners of various coding skills to simplify analytics workflows from data ingestion and preparation to data exploration and visualization to ML model creation and use. It also allows you to use simple SQL to access Vertex AI foundational models directly inside BigQuery for text processing tasks, such as sentiment analysis, entity extraction, and many more without having to deal with specialized models.

Try for free

Recommended Projects

Flora-2
Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
jCOLIBRI: CBR Framework
jCOLIBRI: an object-oriented framework in Java for building Case-Based Reasoning (CBR) systems. Supports Textual-CBR, Knowledge Intensive CBR with Description Logics reasoning through Ontologies, Web interfaces, evaluation of the generated applications,
Sesame
Java RDF Framework
Discrete Event Calculus Reasoner
The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the discrete event calculus, a comprehensive and highly usable formalism for reasoning about action, change, space, and mental states.
Semantic Web Assistant
The Semantic Web Assistant combines the capabilities of production rule systems with RDF data on the Semantic Web. It lets users define rules that work with RDF data in order to carry out actions like e-mail notification etc.