Difference between revisions of "SOVA"
From Protege Wiki
(→Visualization symbols) |
(→Visualization symbols) |
||
| Line 27: | Line 27: | ||
| DisjointWith || [[image:SOVA_DisjointWith_Vis.png|200px]] || || SameAs || [[image:SOVA_SameAs_Vis.png|200px]] || | | DisjointWith || [[image:SOVA_DisjointWith_Vis.png|200px]] || || SameAs || [[image:SOVA_SameAs_Vis.png|200px]] || | ||
|- | |- | ||
| − | | AllDifferent || [[image:SOVA_AllDifferent_Vis.png|200px]] || || || || | + | | AllDifferent || [[image:SOVA_AllDifferent_Vis.png|200px]] || || IntersectionOf || [[image:SOVA_IntersectionOf_Vis.png|200px]] || |
| − | + | |- | |
| + | | UnionOf || [[image:SOVA_UnionOf_Vis.png|200px]] || || SubProperty|| [[image:SOVA_SubProperty_Vis.png|200px]] || | ||
| + | |- | ||
| + | | EquivalentProperty|| [[image:SOVA_EquivalentProperty_Vis.png|200px]] || || FunctionalProperty|| [[image:SOVA_FunctionalProperty_Vis.png|200px]] || | ||
| + | |- | ||
| + | | Range|| [[image:SOVA_Range_Vis.png|200px]] || || Domain|| [[image:SOVA_Domain_Vis.png|200px]] || | ||
| + | |- | ||
| + | | SomeValuesFrom|| [[image:SOVA_SomeValuesFrom_Vis.png|100px]] || || AllValuesFrom || [[image:SOVA_AllValuesFrom_Vis.png|100px]] || | ||
| + | |- | ||
| + | | Cardinality (Max/Min)|| [[image:SOVA_Cardinalityminmax_Vis.png|200px]] || || HasProperty|| [[image:SOVA_HasProperty_Vis.png|250px]] || | ||
|} | |} | ||
Revision as of 04:54, July 2, 2010
SOVA
| Type | Tab Widget, View |
| Author(s) | Piotr Kunowski |
| Last Update | July 1, 2010 |
| License | LGPL |
| 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. It is still in alpha version so some bugs may appear.
Versions & Compatibility
This section lists available versions of SOVA.
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
| Version | Changes in this version |
|---|---|
| SOVA 1.0.0 | new visualization labels, improved search, new visualization mode |
| SOVA 0.8.5 | Fixed support for Protege 4.3, compiled using java 1.6 |
| SOVA 0.8.4 | fixed 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.1 | Fixed OWLSubDataPropertyOfAxiom handling and image saving. |
| SOVA 0.8.0 | Fix for handling anonymous individuals and anonymous content of OWL Object Properties. |
| SOVA 0.7.7 | IRI fragment is show as node name. Full IRI is shown in the footer. |
| SOVA 0.7.6 | Update to OWL-API 3.2.3. Reasoner changed to HermiT. REUPLOADED FILE with manifest fix! |
| SOVA 0.7.5 | Search element. Save image. Re-uploaded file to different server. |
| SOVA 0.6.0 | Full visualization: properties panel of selected element. Classified hierarchy: - show/hide Full Tree button. |
| SOVA 0.5.0 | SOVA Alpha version |
Visualization symbols
| Thing |  |
Nothing | 
| ||
| Class |  |
Individual | 
| ||
| Property |  |
DataType | 
| ||
| Anonymous Class |  |
subclass |  |
||
| InstanceOf |  |
Equivalent Class |  |
||
| DisjointWith |  |
SameAs |  |
||
| AllDifferent |  |
IntersectionOf |  |
||
| UnionOf |  |
SubProperty |  |
||
| EquivalentProperty |  |
FunctionalProperty |  |
||
| Range |  |
Domain |  |
||
| SomeValuesFrom |  |
AllValuesFrom |  |
||
| Cardinality (Max/Min) |  |
HasProperty |  |
Contact
If you have any questions about SOVA send an email to Piotr.Kunowski[at]zak.eti.pg.gda.pl.
