Protege4Features

From Protege Wiki
Revision as of 05:00, August 22, 2008 by Nickdrummond (talk | contribs) (GUI Framework)

Jump to: navigation, search

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
  • Creation, import and export of user configured tabs
  • 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
  • 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 plugins
  • 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/props/inds by usage and other metrics)
  • Cardinality View (restrictions shown as min/max cardinality)
  • Existential Tree

and more...