Semantic Web Rule Language (SWRL) Expressiveness Extensions

Tracking #: 1657-2869

This paper is currently under review
Abba Lawan
Abdur Rakib
Natasha Alechina

Responsible editor: 
Thomas Lukasiewicz

Submission type: 
Survey Article
SWRL is a direct extension of OWL designed to enable rule-based assertion of facts into OWL ontologies. In this survey, we explore the state-of-the-art of SWRL’s expressiveness extensions proposed over time. We set the stage by discussing the efficiency of the SWRL/OWL combination in conceptual domain knowledge modeling and further highlights the expressive limitations of the SWRL as a motivation. The majority of the paper discusses relevant language extensions, their added expressive powers to the original SWRL definition and a comparative analysis of their implementations where applicable. We further discuss the decidability requirements of the reviewed SWRL extensions, in relation to the basic DL-safety restriction of SWRL rules. We conclude the paper with our observations on the usability of SWRL rules and a table of summary categorizing the various extensions, which are mainly: the fuzzy and probabilistic extensions for managing uncertainties, the non-monotonic extensions and existentials, advanced mathematic extensions, and notable built-in extensions for added expressiveness to the classical SWRL definition.
Full PDF Version: 
Under Review