semantic reasoner
software able to infer logical consequences from a set of asserted facts or axioms
cwmgeneral-purpose data processing software for the Semantic Web
PelletPellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.