Ontology Axiomatization Support

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

  1. 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. 
  2. While creating class diagrams user can save and open the diagram as png file.
  3. It give options to specify below mentioned triples as graphical user interface--
    • class(A)-----------objectProperty(P)----------class(B)
    • class(A)-----------objectProperty(P)----------individual(B)
    • class(A)-----------dataProperty(P)------------literal(B)
    • class(A)-----------dataProperty(P)------------datatype(B)
    • class(A)-----------rdfs:subclassof------------class(B)
    • individual(A)------rdf:type-------------------class(B)
  4. It generates following type of axioms from the graph(diagram).
    • Scoped Domain and Range
    • Existential 
    • Cardinality
    • Disjointof
    • subClassof
    • Class Assertion
  5. After Creating Axioms it shows the candidate axioms and existing axioms(if any) of the active ontology to the user.
  6. User can choose which axioms he want to generate. 
  7. After selecting the axioms only selected axioms will be generated and be integrated with protege. 

Other features:

  • It supports custom data type
  • It supports specifying prefix.
    Steps : 
    1. First define a prefix in protege
    2. Then write entity name as prefixName : entityName 

Current Limitations:

  1. It can't create complex axioms.
  2. It can't create axioms from reflexivity, transitional relation etc.
  3. 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.