Logical Difference Vizualiser (LogDiffViz)
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
Sample text
Toolbar Options
Axiom Pinpointing (Explanations)
Signature Overview
Screenshots
Sample text
