Overview
Protégé — the Authoring Workbench
Class hierarchy, restrictions, reasoner integration, plugins — the IDE almost every ontologist uses.
Why it matters
Protégé is to ontology engineering what IntelliJ is to Java. Trying to author OWL by hand-editing Turtle scales badly; Protégé's class-expression editor + integrated reasoner closes the feedback loop.
Going deeper
A minimal Day 1 Protégé setup that pays back instantly:
- Class hierarchy tab — always work asserted vs inferred side-by-side so you immediately see the consequences of a new restriction.
- Reasoner menu → ELK (or HermiT for full DL) — enable Synchronise reasoner so every save triggers reclassification.
- Manchester-syntax class-expression editor — the readable, IDE-friendly syntax for OWL; far easier than authoring Turtle by hand.
- Explain inference workbench — click any inferred axiom in red → see the axioms that produced it. The single best debugging tool in the platform.
- OOPS! plugin — catches common pitfalls (cycles, missing labels, naming inconsistencies) without leaving Protégé.
Useful plugins beyond the defaults: OntoGraf (visual class browser), Cellfie (import spreadsheets as instances), SWRLTab (rules), WebProtégé (the browser-based collaborative version for teams).