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

Installation

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.

    Usage

          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.

    Acknowledgement

    This work was supported by the National Science Foundation under award 1017225 III: Small: TROn – Tractable Reasoning with Ontologies.