OWLAx: OWL Axiomatizer
Ontology Design Pattern Plugin for Desktop Protege 5.0+
Accepted as a Software Demo at the 15th International Semantic Web Conference, ISWC2016, Kobe, Japan, October 2016: Md. Kamruzzaman Sarker, Adila A. Krisnadhi and Pascal Hitzler, OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming
Overview video: Using OWLAx
For Full documentation and Source-code: https://github.com/md-k-sarker/OWLAx
To install this plugin you need to have Protege 5.0 release version or Later. This plugin will not work on Protege 5.0 beta version.
1. Click Check for plugins from File Menu
You will a see list of plugin.
2. Select OWLAx: OWL Axiomatizer and Click Install
Now Plugin is installed. Restart Protege and Start using.
1. Start Protege
2. Select OWLAx Tab from Window -> Tabs -> OWLAX
3. Start Using OWLAx Plugin
How to Use
See the video Using OWLAx
Capabilities of OWLAx
- Gives user a graphical approach(rather than using whiteboard or flipcharts) to first design a conceptual overview of ontology modules in the form of class diagram.
- While creating class diagrams user can save and open the diagram as png file.
- It give options to specify below mentioned triples as graphical user interface--
- It generates following type of axioms from the graph(diagram).
- Scoped Domain and Range
- Class Assertion
- After Creating Axioms it shows the candidate axioms and existing axioms(if any) of the active ontology to the user.
- User can choose which axioms he want to generate.
- After selecting the axioms only selected axioms will be generated and be integrated with protege.
- It supports custom data type
- It supports specifying prefix.
- First define a prefix in protege
- Then write entity name as prefixName : entityName
- It can't create complex axioms.
- It can't create axioms from reflexivity, transitional relation etc.
- It doesn't support custom cardinality. Currently it creates maxCardinality 1.
This work was supported by the National Science Foundation under award 1017225 III: Small: TROn – Tractable Reasoning with Ontologies.