Inference in Protégé

Learn how to use Protégé with the HermiT reasoner to display inferences automatically in your ontology. In this tutorial, we walk through a simple example with Hammers and Tools, showing how class restrictions and property values can lead to inferred knowledge.

You’ll see how:

• A hammer, defined as a subclass of tools, is inferred to be a tool.
• An equivalence axiom with an owl:Restriction allows Protégé to infer new property values (e.g., a hammer’s primary function is hammering nails).
• Protégé displays both asserted facts and inferred facts clearly once the reasoner is enabled.

This is a great starting point if you’re learning description logics, OWL reasoning, or just want to make the most of Protégé’s built-in reasoning capabilities.