Difference between revisions of "Logical Difference Vizualiser (LogDiffViz)"

From Protege Wiki

Jump to: navigation, search
(How to use it)
Line 16: Line 16:
 
= How to use it =  
 
= How to use it =  
  
 +
== Visualizing a logical difference computation ==
 
Sample text
 
Sample text
 +
 +
== Toolbar Options ==
 +
 +
=== Axiom Pinpointing (Explanations) ===
 +
 +
== Signature Overview ==
  
 
= Screenshots =
 
= Screenshots =

Revision as of 14:57, September 12, 2011

Logical Difference Vizualiser (LogDiffViz)

by William Gatens

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

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

Contents


Versions & Compatibility

This section lists available versions of Logical Difference Vizualiser (LogDiffViz).

Version Compatible with Dependencies
Logical Difference Vizualiser (LogDiffViz) 0.1.0 Protege-OWL 4.1 Linux Operating System

If you click on the button below to add a new version of Logical Difference Vizualiser (LogDiffViz), you will be asked to define a page title for the new version. Please adhere to the naming convention of Logical Difference Vizualiser (LogDiffViz) X.X.X when you define the new page!


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
Personal tools