Protege4Features

From Protege Wiki
Revision as of 18:36, August 22, 2008 by JenniferVendetti (talk | contribs)

Jump to: navigation, search

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...