Modeling OWL with Rules: The ROWL Protege Plugin

08/30/2018
by   Md Kamruzzaman Sarker, et al.
0

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

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/30/2018

Rule-based OWL Modeling with ROWLTab Protege Plugin

It has been argued that it is much easier to convey logical statements u...
research
07/04/2018

Logical rules as fractions and logics as sketches

In this short paper, using category theory, we argue that logical rules ...
research
10/24/2019

Rapid Prototyping Formal Systems in MMT: 5 Case Studies

Logical frameworks are meta-formalisms in which the syntax and semantics...
research
03/01/2021

Visualizing Rule Sets: Exploration and Validation of a Design Space

Rule sets are often used in Machine Learning (ML) as a way to communicat...
research
09/19/2021

An Exploration And Validation of Visual Factors in Understanding Classification Rule Sets

Rule sets are often used in Machine Learning (ML) as a way to communicat...
research
07/20/2021

Semantic Reasoning with Differentiable Graph Transformations

This paper introduces a differentiable semantic reasoner, where rules ar...
research
08/11/2022

CORNET: Learning Table Formatting Rules By Example

Spreadsheets are widely used for table manipulation and presentation. St...

Please sign up or login with your details

Forgot password? Click here to reset