In our experience, some ontology users find it much easier to convey logical statements using rules rather than OWL (or description logic) axioms. Based on recent theoretical developments on transformations between rules and description logics, we develop ROWL, a Protégé plugin that allows users to enter OWL axioms by way of rules; the plugin then automatically converts these rules into OWL DL axioms if possible, and prompts the user in case such a conversion is not possible without weakening the semantics of the rule.
|Journal||CEUR Workshop Proceedings|
|Publication status||Published - 1 Jan 2016|
|Event||2016 Posters and Demonstrations Track, ISWC P and D 2016 - Kobe, Japan|
Duration: 19 Oct 2016 → …