Logical Difference Vizualiser (LogDiffViz)

From Protege Wiki

Revision as of 15:18, September 12, 2011 by Westforduk (Talk | contribs)

Jump to: navigation, search

Logical Difference Vizualiser (LogDiffViz)

by William Gatens

Type Tab, View
Author(s) William Gatens
Last Update September 12, 2011
License not available
Homepage not available
For Application

Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL


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!


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:

  1. Enable the LogDiffViz tab: Window > Tabs > Logical Difference Visualizer
  2. Open the Control Panel from the menu: Tools > Difference... Visualisation
    1. *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


Sample text

Limitations and known issues

Sample text
Personal tools