Swertia
Semantic Web Entailment Regime Translation and Inference Architecture
Swertia, the Semantic Web Entailment Regime Translation and Inference Architecture, is a generic Semantic Web reasoning framework that is based on first-order logic (FOL) reasoning. The goal is to provide reasoning support for all major Semantic Web reasoning standards, including RDF(S), OWL 2 (Direct Semantics, RDF-Based Semantics, OWL 2 RL/RDF rules), SWRL, RIF (RIF BLD, RIF Core, RIF+RDF and RIF+OWL combinations), and Common Logic. Available reasoning methods are entailment checking...