OWL Axiomatizer

For details please visit: https://daselab.cs.ksu.edu/content/ontology-axiomatization-support

Ontology Design Pattern Plugin for Desktop Protege 5.0+

1. Click Check for plugins from File Menu



You will a see list of plugins.





2. Select OWLAx: OWL Axiomatizer and Click Install



	<img src="https://github.com/md-k-sarker/OWLAx/blob/master/plugin/docs/ScreenShots/InstallOWLAx.png"></img>

1. Start Protege

2. Select OWLAx Tab from Window -> Tabs -> OWLAx

   

3. Start Using OWLAx Plugin

See the video Using 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

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.