Difference between revisions of "Protege4Features"
From Protege Wiki
(small grammatical changes and updated link at bottom of page to protege 4.0 page on this wiki which should have more complete listing of plugins) |
|||
(10 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
− | + | == Protege Desktop Features == | |
− | + | This page contains a short overview of the main features in Protege Desktop, versions 4, 5 and higher. | |
− | This page contains a short overview of the main features in Protege 4. | ||
− | |||
− | + | ''See Also:'' [[Protege4UserDocs|Protege Desktop User Documentation]] | |
__TOC__ | __TOC__ | ||
− | ==GUI Framework== | + | === GUI Framework === |
* Configurable (persistent) layout of components | * Configurable (persistent) layout of components | ||
* Creation, import, and export of user configured tabs | * Creation, import, and export of user configured tabs | ||
Line 18: | Line 16: | ||
* Lazy loading components/plug-ins for improved speed and memory usage | * Lazy loading components/plug-ins for improved speed and memory usage | ||
− | + | === API === | |
− | ==API== | ||
* OWL API for OWL 2.0 provides efficient in-memory model | * OWL API for OWL 2.0 provides efficient in-memory model | ||
* Plug-in framework is OSGi compliant Equinox (easily extensible) | * Plug-in framework is OSGi compliant Equinox (easily extensible) | ||
* Generic application framework is separated from OWL Editor Kit | * Generic application framework is separated from OWL Editor Kit | ||
− | + | === Modularization === | |
− | ==Modularization== | ||
* Intelligent use of local/global repositories to handle import dependencies | * Intelligent use of local/global repositories to handle import dependencies | ||
* Loading of multiple ontologies into a single workspace | * Loading of multiple ontologies into a single workspace | ||
Line 33: | Line 29: | ||
* Refactoring: moving axioms between ontologies | * Refactoring: moving axioms between ontologies | ||
− | + | === Navigation === | |
− | ==Navigation== | ||
* History | * History | ||
* Global/local find | * Global/local find | ||
Line 40: | Line 35: | ||
* Hyperlinking in editors | * Hyperlinking in editors | ||
+ | === Refactoring Tools === | ||
+ | * Renaming (including multiple entities) | ||
+ | * Handling disjoints/different | ||
+ | * Quick defined class creation | ||
+ | * Various transforms on restrictions (including covering) | ||
+ | * Conversion of IDs to labels | ||
+ | * Moving axioms between ontologies | ||
− | == | + | === Reasoning Support === |
− | * | + | * Inferred axioms show up in most standard views |
− | + | * DL Query tab for testing arbitrary class expressions | |
− | |||
− | |||
− | |||
− | |||
− | * | ||
* Direct interface to FaCT++ reasoner | * Direct interface to FaCT++ reasoner | ||
* Direct interface to Pellet reasoner | * Direct interface to Pellet reasoner | ||
+ | * Reasoners are plug-ins | ||
− | + | === OWL Editing === | |
− | ==OWL Editing== | ||
* Consistent rendering of ontology entities, using URI fragments or annotation values | * Consistent rendering of ontology entities, using URI fragments or annotation values | ||
* OWL description parsing (also supports names in annotations) | * OWL description parsing (also supports names in annotations) | ||
− | * Autocompletion | + | * Built-in change support allowing compound changes and undo |
+ | * Autocompletion and expression history | ||
* Syntax highlighting | * Syntax highlighting | ||
* Auto creation of IDs/labels for new entities | * Auto creation of IDs/labels for new entities | ||
+ | * SWRL rules editing | ||
− | + | === 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 |
− | |||
− | |||
− | |||
− | * | ||
− | |||
− | |||
− | |||
− |
Latest revision as of 20:47, May 23, 2016
Protege Desktop Features
This page contains a short overview of the main features in Protege Desktop, versions 4, 5 and higher.
See Also: Protege Desktop User Documentation
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 (including multiple entities)
- Handling disjoints/different
- Quick defined class creation
- Various transforms on restrictions (including covering)
- Conversion of IDs to labels
- Moving axioms between ontologies
Reasoning Support
- Inferred axioms show up in most standard views
- DL Query tab for testing arbitrary class expressions
- Direct interface to FaCT++ reasoner
- Direct interface to Pellet reasoner
- Reasoners are plug-ins
OWL Editing
- Consistent rendering of ontology entities, using URI fragments or annotation values
- OWL description parsing (also supports names in annotations)
- Built-in change support allowing compound changes and undo
- Autocompletion and expression history
- Syntax highlighting
- Auto creation of IDs/labels for new entities
- SWRL rules editing
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