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
evaluation	2014-01-04		0
software	2014-01-04		0
README.txt	2014-01-04	737 Bytes	0
Totals: 3 Items		737 Bytes	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

Gen AI apps are built with MongoDB Atlas Icon

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Dun and Bradstreet Risk Analytics - Supplier Intelligence Icon

Dun and Bradstreet Risk Analytics - Supplier Intelligence

Use an AI-powered solution for supply and compliance teams who want to mitigate costly supplier risks intelligently.

Risk, procurement, and compliance teams across the globe are under pressure to deal with geopolitical and business risks. Third-party risk exposure is impacted by rapidly scaling complexity in domestic and cross-border businesses, along with complicated and diverse regulations. It is extremely important for companies to proactively manage their third-party relationships. An AI-powered solution to mitigate and monitor counterparty risks on a continuous basis, this cutting-edge platform is powered by D&B’s Data Cloud with 520M+ Global Business Records and 2B+ yearly updates for third-party risk insights. With high-risk procurement alerts and multibillion match points, D&B Risk Analytics leverages best-in-class risk data to help drive informed decisions. Perform quick and comprehensive screening, using intelligent workflows. Receive ongoing alerts of key business indicators and disruptions.

Learn More

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.