Protege4Features

Protege 4.0 Features

This page contains a short overview of the main features in Protege 4.0.

Back to Protege4UserDocs

GUI Framework

• Configurable (persistent) layout of components
• Creation, import, and export of user configured tabs
• Multiple alternative views of the same ontology
• Tear-off and cloning of components
• Keyboard shortcuts
• Drag and drop support
• Lazy loading components/plug-ins for improved speed and memory usage

API

• OWL API for OWL 2.0 provides efficient in-memory model
• Plug-in framework is OSGi compliant Equinox (easily extensible)
• 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
• Refactoring: moving axioms between ontologies

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 plug-ins
• Direct interface to FaCT++ reasoner
• Direct interface to Pellet reasoner

OWL Editing

• Consistent rendering of ontology entities, using URI fragments or annotation values
• OWL description parsing (also supports names in annotations)
• Autocompletion
• Syntax highlighting
• Auto creation of IDs/labels for new entities

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/properties/individuals by usage and other metrics)
• Cardinality View (restrictions shown as min/max cardinality)
• Existential Tree

     see more plug-ins...