Skip to content

md-k-sarker/ROWL

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

98 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Protege 5.0+ Plugin for Rule to OWL Axiom Conversion

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

Installation

  1. Click Check for plugins from File Menu

  2. You will a see list of plugin.



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

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

How to activate Plugin

  1. Start Protege

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

    Alt Click on ROWLTab to Select

  3. Start Using OWLAx Plugin

How to Use

Create New Rule

  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.

Edit Existing 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.

Delete Existing Rule

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

Create New OWLEntity

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

    Alt Right Click to see the possible suggestion

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

Capabilities of ROWL

  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.

Current Limitations:

  • 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.

Acknowledgement

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