Difference between revisions of "Protege4Features"

From Protege Wiki
Jump to: navigation, search
(added backlink)
 
(15 intermediate revisions by 2 users not shown)
Line 1: Line 1:
<div class="orangeBox">
+
== Protege Desktop Features ==
<span class="orangeBoxTitle">Protege 4.x Features</span><br /><br />
+
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 of Protege 4.x.
 
</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
 
* Multiple alternative views of the same ontology
 
* Multiple alternative views of the same ontology
* Tearoff and cloning of components
+
* Tear-off and cloning of components
 
* Keyboard shortcuts
 
* Keyboard shortcuts
* Drag and Drop support
+
* Drag and drop support
* Lazy loading components/plugins 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 1.1 provides efficient in-memory model
+
* Plug-in framework is OSGi compliant Equinox (easily extensible)
* Plug-in framework is OSGi compliant equinox
 
 
* 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 31: Line 27:
 
* 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 ===
 
 
 
* History
 
* History
 
* Global/local find
 
* Global/local find
Line 39: Line 35:
 
* Hyperlinking in editors
 
* Hyperlinking in editors
  
==Refactoring Tools==
+
=== 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
  
* Renaming
+
=== Reasoning Support ===
* Handling Disjoints
+
* Inferred axioms show up in most standard views
* Covering Axioms
+
* DL Query tab for testing arbitrary class expressions
* Built-in change support allowing compound changes and undo
 
 
 
==Reasoning Support==
 
 
 
* Reasoners are plugins
 
 
* 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 elements, using URI fragments or annotation values
+
* OWL description parsing (also supports names in annotations)
* OWL Description Parsing (also supports names in annotations)
+
* Built-in change support allowing compound changes and undo
* Autocompletion
+
* Autocompletion and expression history
* Syntax Highlighting
+
* Syntax highlighting
 
+
* Auto creation of IDs/labels for new entities
==Plug-ins==
+
* SWRL rules editing
 
 
* 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
 
  
[http://www.co-ode.org/downloads/protege-x/plugins.php and more...]
+
=== 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


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