Protege 5.0+ Plugin for Rule to OWL Axiom Conversion
For details please visit https://daselab.cs.ksu.edu/content/modeling-owl-rules
- Click Check for plugins from File Menu
- Select ROWL: SWRL Rule to OWL Axiom Converter and Click Install
![](https://github.com/md-k-sarker/ROWL/raw/master/plugin/doc/screenshot/ProtegeFileMenu.png)
You will a see list of plugin.
![](https://github.com/md-k-sarker/ROWL/raw/master/plugin/doc/screenshot/ProtegePluginsList.png)
<img src="https://github.com/md-k-sarker/ROWL/blob/master/plugin/doc/screenshot/InstallROWL.png"></img>
- Write SWRL Rule
- Click on Convert to OWL Axiom Button
- If the rule is convertible to OWL Axiom the it will show the generated axioms
- Select those(or single) axioms to Ontology and click Integrate Button
- The Axioms will be integrated with Ontology
- The Rule will also be saved in the Ontology as annotation.
- If the rule is not convertible to OWL Axiom then it gives the facility to switch to SWRLTab Plugin with this rule.
- Select a rule from the Table.
- Click on Edit
- Then the rule will appear in rule edit field and user can modify the rule.
- Select a rule from the Table.
- Click on Delete
- Then the rule will be deleted.
If an atom not found in the active Ontology then user can create new OWLEntity on the fly
-
Right Click to see the possible suggestion to create OWL Entity
-
Click on the popup menu to create new OWL Entity
- Gives user way to enter OWL axioms by writing rules rather than creating axioms in protege.
- If a rule is successfully converted to OWL Axiom User will get the option to choose which axioms he want to integrate.
- If a rule is not successfully converted to OWL Axiom it gives the option to switch to SWRL tab(Existing to SWRLTab Plugin)
- 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.
- It checks syntax of the rule. It supports SWRL Rule Syntax.
- 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.