knowrob  2.1.0
A Knowledge Base System for Cognition-enabled Robots
SWRL

Implementation of a Semantic Web Rule Language (SWRL) reasoner in a set of Prolog rules. SWRL rules are either described in RDF concrete syntax, or using a custom file format.