Showing 1–2 of 2 results for author: Krisnadhi, A A

OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming

Authors: Md. Kamruzzaman Sarker, Adila A. Krisnadhi, Pascal Hitzler

Abstract: Once the conceptual overview, in terms of a somewhat informal class diagram, has been designed in the course of engineering an ontology, the process of adding many of the appropriate logical axioms is mostly a routine task. We provide a Protege plugin which supports this task, together with a visual user interface, based on established methods for ontology design pattern modeling. Once the conceptual overview, in terms of a somewhat informal class diagram, has been designed in the course of engineering an ontology, the process of adding many of the appropriate logical axioms is mostly a routine task. We provide a Protege plugin which supports this task, together with a visual user interface, based on established methods for ontology design pattern modeling. △ Less

Submitted 29 August, 2018; originally announced August 2018.

Comments: Poster in ISWC 2016

Journal ref: The 15th International Semantic Web Conference (ISWC 2016) Kobe, Japan

Modeling OWL with Rules: The ROWL Protege Plugin

Authors: Md. Kamruzzaman Sarker, David Carral, Adila A. Krisnadhi, Pascal Hitzler

Abstract: 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 axi… ▽ More 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. △ Less

Submitted 29 August, 2018; originally announced August 2018.

Comments: Accepted at ISWC 2016

Journal ref: S. Md Kamruzzaman, Carral, D., Krisnadhi, A., and Hitzler, P., Modeling OWL with Rules: The ROWL Protege Plugin Kobe, Japan, 2016