Protege 5.0+ Plugin for Rule to OWL Axiom Conversion

For details please visit https://daselab.cs.ksu.edu/content/modeling-owl-rules

1. Click Check for plugins from File Menu



You will a see list of plugin.




2. Select ROWL: SWRL Rule to OWL Axiom Converter and Click Install



	<img src="https://github.com/md-k-sarker/ROWL/blob/master/plugin/doc/screenshot/InstallROWL.png"></img>

1. Start Protege

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

   

3. Start Using OWLAx Plugin

1. Write SWRL Rule
2. Click on Convert to OWL Axiom Button
3. If the rule is convertible to OWL Axiom the it will show the generated axioms
4. Select those(or single) axioms to Ontology and click Integrate Button
5. The Axioms will be integrated with Ontology
6. The Rule will also be saved in the Ontology as annotation.
7. If the rule is not convertible to OWL Axiom then it gives the facility to switch to SWRLTab Plugin with this rule.

1. Select a rule from the Table.
2. Click on Edit
3. Then the rule will appear in rule edit field and user can modify the rule.

1. Select a rule from the Table.
2. Click on Delete
3. Then the rule will be deleted.

If an atom not found in the active Ontology then user can create new OWLEntity on the fly

1. Right Click to see the possible suggestion to create OWL Entity

   

2. Click on the popup menu to create new OWL Entity

1. Gives user way to enter OWL axioms by writing rules rather than creating axioms in protege.
   
2. If a rule is successfully converted to OWL Axiom User will get the option to choose which axioms he want to integrate.
3. If a rule is not successfully converted to OWL Axiom it gives the option to switch to SWRL tab(Existing to SWRLTab Plugin)
4. It can save and reload the rules(Which rules is converted to OWL Axioms and at-least 1 axiom is integrated with ontology from that rule.
5. It checks syntax of the rule. It supports SWRL Rule Syntax.
6. It can create new OWL Entity on the fly. That means user can create new OWL Entity like Class, ObjectProperty etc from this plugin.

• It checks the syntax of the rule, not semantics. It is possible to insert meaningless rule which is syntactically correct.
• It doesn't support DataLog Syntax.

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