Difference between revisions of "Protege4Features"
From Protege Wiki
m |
Nickdrummond (talk | contribs) (→Plug-ins: more generic content) |
||
| Line 62: | Line 62: | ||
==Plug-ins== | ==Plug-ins== | ||
| − | * | + | * Highly pluggable architecture with support for [[PluginTypes|lots of different types of plugin]] including views, menu actions, reasoners, preferences, several manager hooks and more |
| − | * | + | * [[EnablePluginAutoUpdate|Auto-update]] for notification of new plugins and new versions |
| − | + | * [[Protege-OWL_4.0|Many plugins available]] including reasoners, matrices, scripting, clouds, existential tree, text mining, explanation, ontology processing, lint test framework, natural language generation and more | |
| − | |||
| − | |||
| − | * | ||
| − | |||
| − | |||
| − | |||
Revision as of 04:04, November 25, 2008
Protege 4.0 Features
This page contains a short overview of the main features in Protege 4.0.
Back to Protege4UserDocs
Contents
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
- 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
- Highly pluggable architecture with support for lots of different types of plugin including views, menu actions, reasoners, preferences, several manager hooks and more
- Auto-update for notification of new plugins and new versions
- Many plugins available including reasoners, matrices, scripting, clouds, existential tree, text mining, explanation, ontology processing, lint test framework, natural language generation and more
