A NON-MONOTONIC EXPRESSIVENESS EXTENSION ON THE SEMANTIC WEB RULE LANGUAGE
Keywords:
Semantic Web Rule Language (SWRL), Ontology Web Language (OWL), Non-Monotonicity, Rule-based Inference ProcessAbstract
SWRL (Semantic Web Rule Language) extends OWL syntax and semantics by enabling the description of Horn-like rules. However, the current SWRL specication lacks sup- port 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 dene more expressive rules. Hence, the following four operators have been added to SWRL: Not operator (i.e., classical negation) to ex- press negative facts; NotExists quantier to ask for missing facts in the knowledge base (when used in the antecedent of the rule) and remove facts (when used in the conse- quent); 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 implemen- tation 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 specic 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.
Downloads
References
Franz Baader. The Description Logic Handbook: Theory, Implementation and Applications. Cam-
bridge University Press, 2003.
Sean Bechhofer. Hoolet. http://owl.man.ac.uk/hoolet/, 2005.
Sean Bechhofer, Frank van Harmelen, Jim Hendler, Ian Horrocks, Deborah L. McGuinness, Pe-
ter F. Patel-Schneider, Lynn Andrea Stein, and Franklin W. Olin. OWL Web Ontology Language
reference. W3c recommendation, W3C, 2004.
Tim Berners-Lee, James Hendler, and Ora Lassila. The Semantic Web. Scienti c American,
Corinna Elsenbroich, Oliver Kutz, and Ulrike Sattler. A case for abductive reasoning over ontolo-
gies. In Workshop Proceedings of OWL: Experiences and Directions Conference, 2006.
Charles L. Forgy. Rete: a fast algorithm for the many pattern/many object pattern match problem,
chapter Rete: a fast algorithm for the many pattern/many object pattern match problem, pages
{341. IEEE Computer Society Press, 1991.
Ernest Friedman-Hill. Jess in Action. Manning Publications Co., 2003.
Felix J. Garcia, Gregorio Martinez, Andres Munoz, Juan A. Botia, and Antonio F. Gomez. Towards
semantic web-based management of security services. Springer Annals of Telecommunications,
(3-4), 2008.
Stephan Grimm and Boris Motik. Closed World Reasoning in the semantic web through epistemic
operators. In Workshop Proceedings of OWL: Experiences and Directions Conference, 2005.
Benjamin N. Grosof. Prioritized con
ict handling for Logic Programs. In Logic Programming:
Proceedings of the 1997 International Symposium, 1997.
Ian Horrocks, Peter F. Patel-Schneider, Harold Boley, Said Tabet, Benjamin Grosof, and Mike
Dean. SWRL: A semantic web rule language combining OWL and RuleML. W3c member sub-
mission, W3C, May 2004.
U. Hustadt, B. Motik, and U. Sattler. Reasoning in description logics with a concrete domain
in the framework of resolution. In Proceeding of the 9th International Conference on Knowledge
Representation and Reasoning, 2004.
Minsu Jang and Joo chan Sohn. Bossam: an extended rule engine for OWL inferencing. In
Proceedings of RuleML 2004, volume 3323, pages 128{138, Nov 2004.
Yarden Katz and Bijan Parsia. Towards a Nonmonotonic extension to OWL. In Workshop
Proceedings of OWL: Experiences and Directions Conference, 2005.
Pavel Klinov. Pronto: A practical probabilistic description logic reasoner. In Proceeding at Inter-
national Workshop on Uncertainty, 2010.
Vladimir Kolovski, Bijan Parsia, and Yarden Katz. Implementing OWL defaults. In Workshop
Proceedings of OWL: Experiences and Directions Conference, 2006.
Yue Ma, Pascal Hitzler, and Zuoquan Lin. Algorithms for paraconsistent reasoning with OWL.
In Proceeding at 5th European Semantic Web Conference, June 2008.
Brian McBride. Jena: Implementing the RDF model and syntax speci cation. In Proceeding at
Semantic Web Workshop (WWW), 2004.
Craig McKenzie, Peter Gray, and Alun Preece. Extending SWRL to express fully-quanti ed
constraints. Rules and rule markup languages for the semantic, 332:139{154, 2004.
Boris Motik, Peter F. Patel-Schneider, and Ian Horrocks. OWL 2 Web Ontology Language:
Structural speci cation and functional-style syntax. W3c working draft, W3C, April 2009.
Boris Motik, Ulrike Sattler, and Rudi Studer. Query answering for OWL-DL with rules. Journal
of Web Semantics: Science, Services and Agents on the World Wide Web, 3(1):41{60, 2005.
Ignacio Nieto, Juan A. Botia, and Antonio F. Gomez-Skarmeta. Information and hybrid archi-
tecture model of the OCP contextual information management system. Journal of Universal
Computer Science, 12(3):357{366, 2006.
Je Z. Pan, Giorgos Stoilos, Giorgos Stamou, Vassilis Tzouvaras, and Ian Horrocks. f-SWRL: A
fuzzy extension of SWRL. In Prooceding at International Conference on Arti cial Neural Networks,
Peter F. Patel-Schneider. A proposal for a SWRL extension towards First-Order Logic. Technical
report, W2C, 2005.
Peter F. Patel-Schneider, Patrick Hayes, and Ian Horrocks. Owl web ontology language semantics
and abstract syntax. W3c recommendation, W3C, http://www.w3.org/TR/owl-semantics/, 2004.
Alfonso Sanchez-Macian, Encarna Pastor, Jorge E. de Lopez Vergara, and David Lopez. Extending
SWRL to enhance mathematical support. Web Reasoning and Rule Systems LNCS, 4524:358{360,
SCBIR. Protg. SWRL temporal builtins. http://protege.cim3.net/cgi-
bin/wiki.pl?SWRLTemporalBuiltIns, Nov 2007.
Florian Schmedding, Nour Sawas, and Georg Lausen. Adapting the rete-algorithm to evaluate
f-logic rules. Advances in Rule Interchange and Applications, 4824:166{173, 2007. LNCS.
Kunal Sengupta, Adila Krisnadhi, and Pascal Hitzler. Local closed world semantics: Grounded
circumscription for owl. In Proceesing at The 10th International Semantic Web Conference, 2011.
Evren Sirin, Bijan Parsia, Bernardo C Grau, Aditya Kalyanpur, and Yarden Katz. Pellet: A
practical OWL-DL reasoner. In Elsevier, editor, Web Semantics: Science, Services and Agents on
the World Wide Web, volume 5, pages 51{53, 2007.
Chunming Rong Mark Musen Tomasz Wiktor Wlodarczyk, Martin O'Connor. Swrl-f - a fuzzy
logic extension of the semantic web rule language. In Proceeding at the 9th International Semantic
Web Conference, 2010.
Dmitry Tsarkov and Ian Horrocks. FaCT++ description logic reasoner: System description. In
Springer, editor, Proc. of the Int. Joint Conf. on Automated Reasoning, volume 4130 of Lecture
Notes in Arti cial Intelligence, pages 292{297, 2006.
Ian Wright and James Marshall. The execution kernel of rc++: Rete*, a faster rete with treat as
a special case. International Journal of Intelligent Games and Simulations, 2(1):36{48, 2003.
