SOVA

From Protege Wiki
Revision as of 06:08, December 14, 2011 by Tomasz Boiński (talk | contribs)

Jump to: navigation, search

Screenshot

Type Tab Widget, View
Author(s) Piotr Kunowski, Tomasz Boiński
Last Update November 9, 2011
License LGPLv3
Homepage not available
For Application
Topic(s)
Affiliation

SOVA (Simple Ontology Visualization API) is a Protege plugin to full ontology visualization. Finally we can show all ontology's elements: classes, individuals, properties, anonymous classes and relations between these object.

Versions & Compatibility

This section lists available versions of SOVA.

VersionCompatible withDependencies
SOVA 1.0.0Protege-OWL 4.2
Protege-OWL 4.3
HermiT
SOVA 0.8.5Protege-OWL 4.2
Protege-OWL 4.3
Protege-OWL 4.1
HermiT
SOVA 0.8.4Protege-OWL 4.1
Protege-OWL 4.2
Protege-OWL 4.3
HermiT
SOVA 0.8.1Protege-OWL 4.2
Protege-OWL 4.1
HermiT
SOVA 0.8.0Protege-OWL 4.1
Protege-OWL 4.2
HermiT
SOVA 0.7.7Protege-OWL 4.1
Protege-OWL 4.2
HermiT
SOVA 0.7.6Protege-OWL 4.1
Protege-OWL 4.2
HermiT
SOVA 0.7.5Protege-OWL 4.0.2
SOVA 0.6.0Protege-OWL 4.0
SOVA 0.5.0Protege-OWL 4.0.2

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

Changelog

VersionChanges in this version
SOVA 1.0.0new visualization labels, improved search, new visualization mode
SOVA 0.8.5Fixed support for Protege 4.3, compiled using java 1.6
SOVA 0.8.4fixed missing DataProperties display, introduced different node colors for Data and Object Properties, fixed search so that it works for data properties and added some other missing axioms, changed the colors of nodes to match those seen in Protege
SOVA 0.8.1Fixed OWLSubDataPropertyOfAxiom handling and image saving.
SOVA 0.8.0Fix for handling anonymous individuals and anonymous content of OWL Object Properties.
SOVA 0.7.7IRI fragment is show as node name. Full IRI is shown in the footer.
SOVA 0.7.6Update to OWL-API 3.2.3. Reasoner changed to HermiT. REUPLOADED FILE with manifest fix!
SOVA 0.7.5Search element. Save image. Re-uploaded file to different server.
SOVA 0.6.0Full visualization: properties panel of selected element. Classified hierarchy: - show/hide Full Tree button.
SOVA 0.5.0SOVA Alpha version


Download

Download SOVA 0.8.0 - beta version


Download SOVA 0.7.7 - beta version

Download SOVA 0.7.6 - beta version, FIXED FILE

Download SOVA 0.7.5 - beta version


Source Code

Source Code is available in plugin SVN Repository. To login use 'anonymous' as user name and leave password empty. The repository contains both the plugin itself as well as the code for the visualization library.

Simple Ontology Visualization API

The plugin was prepared at Faculty of Electronics, Telecommunication and Informatics , Gdansk University of Technology. It is an extension of an OWLAPI-ontology visualization library prepared by me and my friends as a part of OCS (Ontology Creation System) system.


SOVA has two types of visualization. First one presents full ontology, second presents hierarchy of classes and individuals after Pellet clasification. These types of visualization are described in details below.

Full ontology visualization

It presents a full ontology as it was written in OWL file. All relations, classes, individuals, properties etc. are an image of OWL file data (without any ontology classification). There are often quite many elements to visualize so do not be afraid if you see a "big pizza". The visualization is interactive. Auto-arrange option can be switched off and on using play/stop button. Visualization options To access this menu press option button in SOVA side panel. You will find a set of filters to show or hide particular elements of the ontology here. This menu contains also a distance slider - you can use it to hide ontology elements which are more distant from currently chosen ontology element. The last option available in the options menu is an arrangement algorithm. In current version you can choose ForceDirectedLayout (default option) or RadialTreeLayout algorithm. ForceDirect uses a gravity algorithms to arrange elements. RadialTree puts ontology elements in circles around currently chosen element according to distance between these elements.

Classified hierarchy of classes and individuals

To use this option you need to install Pellet in your Protege (you will find some instructions how to install Pellet here).

To use this method of visualization:

  1. choose Hierarchy Tree Vis in PG ETI SOVA tab;
  2. choose HermiT in reasoner menu;
  3. press Start reasoner in reasoner menu;
  4. press restart in PG ETI SOVA tab.

As a default visualization will have 3 levels of depth. Child elements will be shown after pressing the father elements. Only classes and individuals will be shown by this visualization type.

Visualization symbols

All symbols of visualization are in File:SOVA-Symbols.pdf.

Thing SOVA Thing Vis.png                Nothing SOVA Nothing Vis.png
Class SOVA class vis.png Individual SOVA Individual Vis.png
Property SOVA Property Vis.png DataType SOVA Datatype Vis.png
Anonymous Class SOVA AnonymousClass Vis.png subclass SOVA Subclass Vis.png
InstanceOf SOVA InstanceOf Vis.png Equivalent Class SOVA EquivalentClass Vis.png
DisjointWith SOVA DisjointWith Vis.png SameAs SOVA SameAs Vis.png
AllDifferent SOVA AllDifferent Vis.png IntersectionOf SOVA IntersectionOf Vis.png
UnionOf SOVA UnionOf Vis.png SubProperty SOVA SubProperty Vis.png
EquivalentProperty SOVA EquivalentProperty Vis.png FunctionalProperty SOVA FunctionalProperty Vis.png
Range SOVA Range Vis.png Domain SOVA Domain Vis.png
SomeValuesFrom SOVA SomeValuesFrom Vis.png AllValuesFrom SOVA AllValuesFrom Vis.png
Cardinality (Max/Min) SOVA Cardinalityminmax Vis.png HasProperty SOVA HasProperty Vis.png

Contact

If you have any questions about SOVA send an email to kunos[at]op.pl or tobo[at]eti.pg.gda.pl.