Difference between revisions of "Logical Difference Vizualiser (LogDiffViz)"
Westforduk (talk | contribs) (→Visualizing a logical difference computation) |
Westforduk (talk | contribs) (→Visualizing a logical difference computation) |
||
| Line 25: | Line 25: | ||
# Enable the LogDiffViz tab: Window > Tabs > Logical Difference Visualizer | # Enable the LogDiffViz tab: Window > Tabs > Logical Difference Visualizer | ||
# Open the Control Panel from the menu: Tools > Difference... Visualisation | # Open the Control Panel from the menu: Tools > Difference... Visualisation | ||
| − | + | **Select and load an ontology into the first box | |
| − | *Select and load an ontology into the second box | + | **Select and load an ontology into the second box |
| − | * Choose a signature option (see below) | + | **Choose a signature option (see below) |
| − | * Press "Visualize" | + | **Press "Visualize" |
Revision as of 14:19, 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
The LogDiffViz Plugin allows users to perform a logical difference computation between two ontologies, and allows users to view the results within the Protege-OWL editor. A logical difference computation aims to calculate the difference between two ontologies taking into account the semantic meaning of the underlying description logics on which ontology languages are built, rather than syntactical or structural differences. The theoretical background for this approach is described in a paper The Logical Difference Problem for Description Logic Terminologies by Boris Konev, Dirk Walther and Frank Wolter
Internally the LogDiffViz plugin uses a tool called CEX2 which does the core computation in the logical difference visualisation process (the plugin is simply a front-end to the CEX tool). More information about the CEX tool can be found at [1]
How to use it
Visualizing a logical difference computation
The basic steps of visualising a logical difference computation between to ontologies:
- Enable the LogDiffViz tab: Window > Tabs > Logical Difference Visualizer
- Open the Control Panel from the menu: Tools > Difference... Visualisation
- Select and load an ontology into the first box
- Select and load an ontology into the second box
- Choose a signature option (see below)
- Press "Visualize"
Signature Options
Toolbar Options
Axiom Pinpointing (Explanations)
Signature Overview
Screenshots
Sample text
