Difference between revisions of "Protege4Features"

From Protege Wiki
Jump to: navigation, search
m
(updated page to reflect current project activity)
Line 1: Line 1:
<div class="orangeBox">
+
== Protege Desktop Features ==
<span class="orangeBoxTitle">Protege 4.0 Features</span><br /><br />
+
This page contains a short overview of the main features in Protege Desktop, versions 4.x and higher.
This page contains a short overview of the main features in Protege 4.0.
 
</div><br />
 
  
Back to [[Protege4UserDocs]]
+
''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 ===
==Refactoring Tools==
 
 
* Renaming (including multiple entities)
 
* Renaming (including multiple entities)
 
* Handling disjoints/different
 
* Handling disjoints/different
Line 49: Line 43:
 
* Moving axioms between ontologies
 
* Moving axioms between ontologies
  
 
+
=== Reasoning Support ===
==Reasoning Support==
 
 
* Inferred axioms show up in most standard views
 
* Inferred axioms show up in most standard views
 
* DL Query tab for testing arbitrary class expressions
 
* DL Query tab for testing arbitrary class expressions
Line 57: Line 50:
 
* Reasoners are plug-ins
 
* 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)
Line 67: Line 59:
 
* SWRL rules editing
 
* 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
 
* 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
 
* [[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
 
* [[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 18:43, February 6, 2014

Protege Desktop Features

This page contains a short overview of the main features in Protege Desktop, versions 4.x and higher.

See Also: Protege Desktop User Documentation


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

Navigation

  • 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