TY - JOUR
T1 - Modeling OWL with rules
T2 - 2016 Posters and Demonstrations Track, ISWC P and D 2016
AU - Sarker, Md Kamruzzaman
AU - Carral, David
AU - Krisnadhi, Adila A.
AU - Hitzler, Pascal
N1 - Funding Information:
This work was supported by the National Science Foundation under award 1017225 III: Small: TROn - Tractable Reasoning with Ontologies.
PY - 2016
Y1 - 2016
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84992319014&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:84992319014
SN - 1613-0073
VL - 1690
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
Y2 - 19 October 2016
ER -