OWL (or description logic (DL)) axioms. Based on recent theoretical developments on
transformations between rules and DLs, we have developed ROWLTab, a Protégé plugin
that allows users to enter OWL axioms by way of rules; the plugin then automatically
converts these rules into OWL 2 DL axioms if possible, and prompts the user in case such a
conversion is not possible without weakening the semantics of the rule. In this paper, we …