Uploads from Ontology Explained: Philosophy and AI

Currently Playing: Inference in Protégé

Previous video on inference: https://youtu.be/RFBbBpDxpbs 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. The .ttl file can be found here: https://github.com/caseythart/ontology_explained_example_files/blob/main/protege_inference_demonstration.ttl