Protege4Features

Protege 4.x Features

This page contains a short overview of the main features of Protege 4.x.

Back to Protege4UserDocs

GUI Framework

• Configurable (persistent) layout of components
• Multiple alternative views of the same ontology
• Tearoff and cloning of components
• Keyboard shortcuts
• Drag and Drop support
• Lazy loading components/plugins for improved speed and memory usage

API

• OWL API for OWL 1.1 provides efficient in-memory model
• Plug-in framework is OSGi compliant equinox
• Generic application framework is separated from OWL Editor Kit

Modularization

• Intelligent use of local/global repositories to handle import dependencies
• Loading of multiple ontologies into a single workspace
• Switching between ontologies dynamically
• UI hints for showing in which ontology statements are made
• Refactoring: merging ontologies and removal of redundant imports

Navigation

• History
• Global/local find
• Global usage
• Hyperlinking in editors

Refactoring Tools

• Renaming
• Handling Disjoints
• Covering Axioms
• Built-in change support allowing compound changes and undo

Reasoning Support

• Reasoners are plugins
• Direct interface to FaCT++ reasoner
• Direct interface to Pellet reasoner
• Moving axioms between ontologies

OWL Editing

• Consistent rendering of ontology elements, using URI fragments or annotation values
• OWL Description Parsing (also supports names in annotations)
• Autocompletion
• Syntax Highlighting

Plug-ins

• OWLViz (Subsumption hierarchy view/imports graph view)
• DL Query Tab
• Object Property Description Table
• Matrix Views (Class existential fillers/Individual relationships/class annotations)
• "Tag Cloud" views (for classes/props/inds by usage and other metrics)
• Cardinality View (restrictions shown as min/max cardinality)
• Existential Tree

and more...