Protege Wiki - User contributions [en]

Logical Difference Vizualiser (LogDiffViz) 0.1.0

2011-09-13T00:47:50Z

Westforduk:

{{VersionOfPlugin
|VersionOf=Logical Difference Vizualiser (LogDiffViz)
|Number=0.1.0
|LastUpdate=now
|File=http://www.logdiff.co.uk/downloads/v0.1.0/uk.ac.liv.logdiff.jar
|CompatibleWith1=Protege-OWL 4.1
|DependsOn1=Linux Operating System
|Changelog=see page for more details
}}

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T23:15:10Z

Westforduk:

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|Screenshot=Pinpointing.png
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Topic1=Visualization
|Topic2=Versioning
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Limitations and known issues =

* Only currently works on the Linux operating system
* Limited to ontologies supported currently by CEX ("acyclic ELHr terminologies, i.e. EL terminologies with additional domain restrictions, range restrictions, and (simple) role inclusions")
* Axiom pinpointing only currently works with ontologies in the KRSS format (OWL ontologies need to be converted)

= Screenshots =

'''Click for larger image'''

[[File:controlpanel.png | left | text-top | thumb | Control Panel ]]

[[File:Mainpanel.png | left | text-top | thumb | Main Panel ]]

[[File:Pinpointing.png | left | text-top | thumb | Axiom pinpointing ]]

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T23:14:51Z

Westforduk:

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|Screenshot=Mainpanel.png
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Topic1=Visualization
|Topic2=Versioning
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Limitations and known issues =

* Only currently works on the Linux operating system
* Limited to ontologies supported currently by CEX ("acyclic ELHr terminologies, i.e. EL terminologies with additional domain restrictions, range restrictions, and (simple) role inclusions")
* Axiom pinpointing only currently works with ontologies in the KRSS format (OWL ontologies need to be converted)

= Screenshots =

'''Click for larger image'''

[[File:controlpanel.png | left | text-top | thumb | Control Panel ]]

[[File:Mainpanel.png | left | text-top | thumb | Main Panel ]]

[[File:Pinpointing.png | left | text-top | thumb | Axiom pinpointing ]]

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T23:03:50Z

Westforduk: /* Limitations and known issues */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Topic1=Visualization
|Topic2=Versioning
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Limitations and known issues =

* Only currently works on the Linux operating system
* Limited to ontologies supported currently by CEX ("acyclic ELHr terminologies, i.e. EL terminologies with additional domain restrictions, range restrictions, and (simple) role inclusions")
* Axiom pinpointing only currently works with ontologies in the KRSS format (OWL ontologies need to be converted)

= Screenshots =

'''Click for larger image'''

[[File:controlpanel.png | left | text-top | thumb | Control Panel ]]

[[File:Mainpanel.png | left | text-top | thumb | Main Panel ]]

[[File:Pinpointing.png | left | text-top | thumb | Axiom pinpointing ]]

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T23:03:38Z

Westforduk: /* Limitations and known issues */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Topic1=Visualization
|Topic2=Versioning
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Limitations and known issues =

# Only currently works on the Linux operating system
# Limited to ontologies supported currently by CEX ("acyclic ELHr terminologies, i.e. EL terminologies with additional domain restrictions, range restrictions, and (simple) role inclusions")
# Axiom pinpointing only currently works with ontologies in the KRSS format (OWL ontologies need to be converted)

= Screenshots =

'''Click for larger image'''

[[File:controlpanel.png | left | text-top | thumb | Control Panel ]]

[[File:Mainpanel.png | left | text-top | thumb | Main Panel ]]

[[File:Pinpointing.png | left | text-top | thumb | Axiom pinpointing ]]

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T23:01:40Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Topic1=Visualization
|Topic2=Versioning
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Limitations and known issues =

Sample text

= Screenshots =

'''Click for larger image'''

[[File:controlpanel.png | left | text-top | thumb | Control Panel ]]

[[File:Mainpanel.png | left | text-top | thumb | Main Panel ]]

[[File:Pinpointing.png | left | text-top | thumb | Axiom pinpointing ]]

File:Mainpanel.png

2011-09-12T23:01:09Z

Westforduk:

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:59:52Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Topic1=Visualization
|Topic2=Versioning
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Limitations and known issues =

Sample text

= Screenshots =

'''Click for larger image'''

[[File:controlpanel.png | left | text-top | thumb | Control Panel ]]

[[File:sadasd.jpg]]

[[File:Pinpointing.png | left | text-top | thumb | Axiom pinpointing ]]

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:59:14Z

Westforduk:

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Topic1=Visualization
|Topic2=Versioning
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Limitations and known issues =

Sample text

= Screenshots =

'''Click for larger image'''

[[File:controlpanel.png | left | text-top | thumb | Control Panel ]]

[[File:Pinpointing.png | left | text-top | thumb | Axiom pinpointing ]]

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:58:35Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Limitations and known issues =

Sample text

= Screenshots =

'''Click for larger image'''

[[File:controlpanel.png | left | text-top | thumb | Control Panel ]]

[[File:Pinpointing.png | left | text-top | thumb | Axiom pinpointing ]]

File:Controlpanel.png

2011-09-12T22:57:05Z

Westforduk:

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:56:58Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Limitations and known issues =

Sample text

= Screenshots =

'''Click for larger image'''

[[File:controlpanel.png]]

[[File:Pinpointing.png | left | text-top | thumb | Axiom pinpointing ]]

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:56:43Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Limitations and known issues =

Sample text

= Screenshots =

'''Click for larger image'''

[[File:http://logdiff.co.uk/zenphoto/albums/LogDiffViz/controlpanel.png]]

[[File:Pinpointing.png | left | text-top | thumb | Axiom pinpointing ]]

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:56:10Z

Westforduk:

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Limitations and known issues =

Sample text

= Screenshots =

'''Click for larger image'''

[[File:Pinpointing.png | left | text-top | thumb | Axiom pinpointing ]]

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:55:44Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =

'''Click for larger image'''

[[File:Pinpointing.png | left | text-top | thumb | Axiom pinpointing ]]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:55:27Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =

'''Click for larger image'''

[[File:Pinpointing.png | left | top | thumb | Axiom pinpointing ]]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:54:30Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =

'''Click for larger image'''

[[File:Pinpointing.png | center | thumb | Axiom pinpointing ]]
[[File:Pinpointing.png | center | thumb]]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:54:05Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =

'''Click for larger image'''

[[File:Pinpointing.png | center | thumb]]
[[File:Pinpointing.png | center | thumb]]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:53:40Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =

[[File:Pinpointing.png | left | thumb]]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:53:25Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =

[[File:Pinpointing.png | center | thumb]]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:52:55Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =

<nowiki>[[File:Pinpointing.png | thumb]]</nowiki>

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:51:37Z

Westforduk:

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =
<div style="display:block; float:left; width:100%;">
[[File:Pinpointing.png | thumb]]
sa
d
sasa
d
sad
sad

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:51:21Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =
[[File:Pinpointing.png | thumb]]
sa
d
sasa
d
sad
sad

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:51:09Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =
[[File:Pinpointing.png | thumb]]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:50:45Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =
[[File:Pinpointing.png] | thumb ]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:48:48Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =
[[File:Pinpointing.png]]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:48:30Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =
[[File:Pinpointing.png|500px ] ]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:48:06Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =
[[File:Pinpointing.png | 500px ] ]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:47:52Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =
[[File:Pinpointing.png] | 500px]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:47:02Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =
[[File:Pinpointing.png]]

= Limitations and known issues =

Sample text

File:Pinpointing.png

2011-09-12T22:46:19Z

Westforduk:

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:46:02Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =
[[File:http://logdiff.co.uk/zenphoto/albums/LogDiffViz/controlpanel.png]]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:43:36Z

Westforduk: /* Screenshots */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =

[[File:http://logdiff.co.uk/zenphoto/albums/LogDiffViz/controlpanel.png|caption]]

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:40:48Z

Westforduk: /* Axiom Pinpointing (Explanations) */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and FaCT++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =

Sample text

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:40:25Z

Westforduk: /* Axiom Pinpointing (Explanations) */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Ensure you have a reasoner configured and started (tested with HermiT and Fact++).
# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =

Sample text

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:35:46Z

Westforduk: /* Signature Overview */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===
To see what signature was originally selected after calculating the logical difference press the sigma (Σ) button on the toolbar.

= Screenshots =

Sample text

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:33:57Z

Westforduk: /* Axiom Pinpointing (Explanations) */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

To see '''why''' a particular generated difference (to perform axiom pinpointed based on a particular difference axiom) has been calculated between two ontologies:

# Select a leaf node of the "Differences" ontology tree
# Press the green arrow on the toolbar

The minimal pinpointing set (explaination of axioms) will now be highlighted on the original source ontologies in the top half of the logical difference tab.

=== Signature Overview ===

= Screenshots =

Sample text

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:28:59Z

Westforduk: /* Overview */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

'''NOTE:'''
The LogDiffViz plugin is a experimental prototype plugin and is by no means stable or guaranteed to work for every ontology. For details please see the below

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

=== Signature Overview ===

= Screenshots =

Sample text

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:27:36Z

Westforduk: /* Signature Options */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can choose which signature will be used either:

* The signature of the first ontology
* The signtaure of the second ontology
* A "shared" signature - The intersection of the signature of the first and second ontologies
* A custom signature - which can be any subset of the complete signature - generated by the signature tool found in the "Tools" menu

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

=== Signature Overview ===

= Screenshots =

Sample text

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:24:35Z

Westforduk: /* Visualizing a logical difference computation */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

= 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... Visualization
##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"

You should now get a display of the logical difference visualization.
The two ontologies you selected will be loaded into the top half of the tab and the logical difference will be loaded into the bottom half.
Each ontology (and differences) takes on a tree like structure so you can navigate the axioms of the ontology by expanding and collapsing the tree.

=== Signature Options ===
A signature is the union of concept and role names for a given ontology and can be used generate a logical difference computation based on a particular set of concept and role names, rather than simply generating an arbitrary set of differences.

Using the control panel you can

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

=== Signature Overview ===

= Screenshots =

Sample text

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:19:09Z

Westforduk: /* Visualizing a logical difference computation */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

= 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

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:18:43Z

Westforduk: /* Visualizing a logical difference computation */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

= 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

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:17:53Z

Westforduk: /* Visualizing a logical difference computation */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

= 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

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:17:17Z

Westforduk: /* Visualizing a logical difference computation */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

= 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

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:10:16Z

Westforduk: /* Overview */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 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 [http://www.csc.liv.ac.uk/~michel/software/cex2/]

= How to use it =

== Visualizing a logical difference computation ==
Sample text

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

=== Signature Overview ===

= Screenshots =

Sample text

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:07:32Z

Westforduk: /* Overview */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 The Logical Difference Problem for Description Logic Terminologies] by Boris Konev, Dirk Walther and Frank Wolter

= How to use it =

== Visualizing a logical difference computation ==
Sample text

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

=== Signature Overview ===

= Screenshots =

Sample text

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:07:20Z

Westforduk: /* Overview */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [http://dx.doi.org/10.1007/978-3-540-71070-7_21 The Logical Difference Problem for Description Logic Terminologies by Boris Konev, Dirk Walther and Frank Wolter]

= How to use it =

== Visualizing a logical difference computation ==
Sample text

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

=== Signature Overview ===

= Screenshots =

Sample text

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T22:07:06Z

Westforduk: /* Overview */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= 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 [[http://dx.doi.org/10.1007/978-3-540-71070-7_21 The Logical Difference Problem for Description Logic Terminologies by Boris Konev, Dirk Walther and Frank Wolter]]

= How to use it =

== Visualizing a logical difference computation ==
Sample text

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

=== Signature Overview ===

= Screenshots =

Sample text

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T21:57:31Z

Westforduk: /* How to use it */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= Overview =

Sample text

= How to use it =

== Visualizing a logical difference computation ==
Sample text

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

=== Signature Overview ===

= Screenshots =

Sample text

= Limitations and known issues =

Sample text

Logical Difference Vizualiser (LogDiffViz)

2011-09-12T21:57:02Z

Westforduk: /* How to use it */

{{Plugin
|Description=Logical Difference Visualizer (LogDiffViz) is a plugin for Protege-OWL
|PluginType=Tab
|PluginType2=View
|ForApplication1=Protege-OWL
|DeveloperID1=William Gatens
|LastUpdated=September 12, 2011
|Affiliation1=University of Liverpool
}}
<div style="display:block; float:left; width:100%;">

= Overview =

Sample text

= How to use it =

== Visualizing a logical difference computation ==
Sample text

== Toolbar Options ==

=== Axiom Pinpointing (Explanations) ===

== Signature Overview ==

= Screenshots =

Sample text

= Limitations and known issues =

Sample text