Difference between revisions of "Protege4Features"
From Protege Wiki
Nickdrummond (talk | contribs) (→API) |
(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) |
||
| Line 1: | Line 1: | ||
<div class="orangeBox"> | <div class="orangeBox"> | ||
| − | <span class="orangeBoxTitle">Protege 4. | + | <span class="orangeBoxTitle">Protege 4.0 Features</span><br /><br /> |
| − | This page contains a short overview of the main features | + | This page contains a short overview of the main features in Protege 4.0. |
</div><br /> | </div><br /> | ||
| Line 10: | Line 10: | ||
==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 |
* Multiple alternative views of the same ontology | * Multiple alternative views of the same ontology | ||
| − | * | + | * Tear-off and cloning of components |
* Keyboard shortcuts | * Keyboard shortcuts | ||
| − | * Drag and | + | * Drag and drop support |
| − | * Lazy loading components/ | + | * 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 | + | * 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 32: | ||
* Refactoring: merging ontologies and removal of redundant imports | * Refactoring: merging ontologies and removal of redundant imports | ||
* Refactoring: moving axioms between ontologies | * Refactoring: moving axioms between ontologies | ||
| + | |||
==Navigation== | ==Navigation== | ||
| − | |||
* History | * History | ||
* Global/local find | * Global/local find | ||
* Global usage | * Global usage | ||
* Hyperlinking in editors | * Hyperlinking in editors | ||
| + | |||
==Refactoring Tools== | ==Refactoring Tools== | ||
| − | |||
* Renaming | * Renaming | ||
* Handling Disjoints | * Handling Disjoints | ||
| Line 49: | Line 48: | ||
==Reasoning Support== | ==Reasoning Support== | ||
| − | + | * Reasoners are plug-ins | |
| − | * Reasoners are | ||
* Direct interface to FaCT++ reasoner | * Direct interface to FaCT++ reasoner | ||
* Direct interface to Pellet reasoner | * Direct interface to Pellet reasoner | ||
| + | |||
==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 | + | * OWL description parsing (also supports names in annotations) |
* Autocompletion | * Autocompletion | ||
| − | * Syntax | + | * Syntax highlighting |
* Auto creation of IDs/labels for new entities | * Auto creation of IDs/labels for new entities | ||
| + | |||
==Plug-ins== | ==Plug-ins== | ||
| − | + | * OWLViz (subsumption hierarchy view/imports graph view) | |
| − | * OWLViz ( | + | * DL Query tab |
| − | * DL Query | ||
* Object Property Description Table | * Object Property Description Table | ||
* Matrix Views (Class existential fillers/Individual relationships/class annotations) | * Matrix Views (Class existential fillers/Individual relationships/class annotations) | ||
| − | * "Tag Cloud" views (for classes/ | + | * "Tag Cloud" views (for classes/properties/individuals by usage and other metrics) |
* Cardinality View (restrictions shown as min/max cardinality) | * Cardinality View (restrictions shown as min/max cardinality) | ||
* Existential Tree | * Existential Tree | ||
| − | [ | + | |
| + | '''[[Protege-OWL_4.0|and more...]]''' | ||
Revision as of 17:34, August 22, 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
- 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
