A non-monotonic expressiveness extension on the semantic web rule language

Authors:
Jose M. Alcaraz Calero;Andres Munoz Ortega;Gregorio Martinez Perez;Juan A. Botia Blaya;Antonio F. Gomez Skarmeta
Affiliations:
Hewlett-Packard Laboratories, Bristol, United Kingdom and Department of Information and Communication Engineering , University of Murcia, Murcia, Spain;Department of Information and Communication Engineering , University of Murcia, Murcia, Spain;Department of Information and Communication Engineering , University of Murcia, Murcia, Spain;Department of Information and Communication Engineering , University of Murcia, Murcia, Spain;Department of Information and Communication Engineering , University of Murcia, Murcia, Spain
Venue:
Journal of Web Engineering
Year:
2011

Citing 9
Cited 0

Prioritized conflict handing for logic programs

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Pellet: A practical OWL-DL reasoner

Web Semantics: Science, Services and Agents on the World Wide Web
Query Answering for OWL-DL with rules

Web Semantics: Science, Services and Agents on the World Wide Web
Extending SWRL to enhance mathematical support

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Adapting the rete-algorithm to evaluate F-logic rules

RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
f-SWRL: a fuzzy extension of SWRL

ICANN'05 Proceedings of the 15th international conference on Artificial neural networks: formal models and their applications - Volume Part II
Local closed world semantics: grounded circumscription for OWL

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
FaCT++ description logic reasoner: system description

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

SWRL (Semantic Web Rule Language) extends OWL syntax and semantics by enabling the description of Horn-like rules. However, the current SWRL specification lacks support for, among others, negative expressions, missing values and priority relationships between rules, which are frequently needed when modeling realistic scenarios. This paper motivates the necessity of surpassing some of these problems and provides an extension over the original SWRL aimed to define more expressive rules. Hence, the following four operators have been added to SWRL: Not operator (i.e., classical negation) to express negative facts; NotExists quantifier to ask for missing facts in the knowledge base (when used in the antecedent of the rule) and remove facts (when used in the consequent); Dominance operator to establish priorities among rules; and Mutex operator to establish exclusions during rule executions. The syntax and semantics of these four operators are described in this proposal. Moreover, the non-monotonicity added to the rule-based inference process by means of such elements is also explained. An implementation of the four operators has been developed as a plug-in for the Jena generic rule engine, which enables the execution of Horn-like rules, together with a parser to translate SWRL rules to the Jena specific rule language. Finally, the proposed SWRL extension and its implementation have been validated in a real scenario centered on call forwarding management in an intelligent building.