Difference between revisions of "Logical Difference Vizualiser (LogDiffViz)"
From Protege Wiki
Westforduk (talk | contribs) |
Westforduk (talk | contribs) (→How to use it) |
||
| Line 16: | Line 16: | ||
= How to use it = | = How to use it = | ||
| + | == Visualizing a logical difference computation == | ||
Sample text | Sample text | ||
| + | |||
| + | == Toolbar Options == | ||
| + | |||
| + | === Axiom Pinpointing (Explanations) === | ||
| + | |||
| + | == Signature Overview == | ||
= Screenshots = | = Screenshots = | ||
Revision as of 13:57, September 12, 2011
Logical Difference Vizualiser (LogDiffViz)
Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
Contents
Versions & Compatibility
This section lists available versions of Logical Difference Vizualiser (LogDiffViz).
| Version | Compatible with | Dependencies |
|---|---|---|
| Logical Difference Vizualiser (LogDiffViz) 0.1.0 | Protege-OWL 4.1 | Linux Operating System |
If you click on the button below to add a new version of Logical Difference Vizualiser (LogDiffViz), you will be asked to define a page title for the new version. Please adhere to the naming convention of Logical Difference Vizualiser (LogDiffViz) X.X.X when you define the new page!
Changelog
| Version | Changes in this version |
|---|---|
| Logical Difference Vizualiser (LogDiffViz) 0.1.0 | see page for more details |
Overview
Sample text
How to use it
Visualizing a logical difference computation
Sample text
Toolbar Options
Axiom Pinpointing (Explanations)
Signature Overview
Screenshots
Sample text
