Difference between revisions of "Protege4Features"
From Protege Wiki
Nickdrummond (talk | contribs) (→Reasoning Support) |
Nickdrummond (talk | contribs) |
||
| Line 31: | Line 31: | ||
* UI hints for showing in which ontology statements are made | * UI hints for showing in which ontology statements are made | ||
* Refactoring: merging ontologies and removal of redundant imports | * Refactoring: merging ontologies and removal of redundant imports | ||
| + | * Refactoring: moving axioms between ontologies | ||
==Navigation== | ==Navigation== | ||
| Line 51: | Line 52: | ||
* 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 | + | * 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 | * Autocompletion | ||
* Syntax Highlighting | * Syntax Highlighting | ||
| + | * Auto creation of IDs/labels for new entities | ||
==Plug-ins== | ==Plug-ins== | ||
Revision as of 02:51, August 12, 2008
Protege 4.x Features
This page contains a short overview of the main features of Protege 4.x.
Back to Protege4UserDocs
Contents
GUI Framework
- Configurable (persistent) layout of components
- 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
- 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
