Jena

Jena Java Rule-Based Inference System is an open-source Java framework and programming environment for building Semantic Web applications with support for RDF, RDFS and OWL, SPARQL. It includes a rule-based inference engine, but for more complex ontologies it may be preferable to rely upon a DIG reasoner (instructions for using Jena with DIG reasoners may be found here.