A Comparative Study of Rule-Based Inference Engines for the Semantic Web

With the Semantic Web data standards defined, more applications demand inference engines in providing support for intelligent processing of the Semantic Web data. Rule-based inference engines or rule-based reasoners are used in many domains, such as in clinical support, and e-commerce recommender system development. This article reviews and compares key features of three freely-available rule-based reasoners: Jena inference engine, Euler YAP Engine, and BaseVISor. A performance evaluation study was conducted to assess the scalability and efficiency of these systems using data and rule sets adapted from the Berlin SPARQL Benchmark. We describe our methodology in assessing rule-based reasoners based on the benchmark. The study result shows the efficiency of the systems in performing reasoning tasks over different data sizes and rules involving various rule properties. The review and comparison results can provide a basis for users in choosing appropriate rule-based inference engines to match their application requirements. key words: rule language, rule-based reasoner, benchmark

[1]  Michael Kifer,et al.  OpenRuleBench: an analysis of the performance of rule engines , 2009, WWW '09.

[2]  Mieczyslaw M. Kokar,et al.  BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules , 2006, 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06).

[3]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.

[4]  Swapna Singh,et al.  A Comparative Study of Inference Engines , 2010, 2010 Seventh International Conference on Information Technology: New Generations.

[5]  Kanda Runapongsa Saikaew,et al.  A review and comparison of rule languages and rule-based inference engines for the Semantic Web , 2013, 2013 International Computer Science and Engineering Conference (ICSEC).

[6]  V. S. Costa,et al.  The YAP Prolog system , 2011, Theory and Practice of Logic Programming.

[7]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[8]  Benjamin N. Grosof,et al.  Supporting Rule System Interoperability on the Semantic Web with SWRL , 2005, SEMWEB.

[9]  Christian Bizer,et al.  The Berlin SPARQL Benchmark , 2009, Int. J. Semantic Web Inf. Syst..

[10]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[11]  Michael Kifer,et al.  RIF Overview (Second Edition) , 2013 .

[12]  Ruben Verborgh,et al.  Drawing Conclusions from Linked Data on the Web: The EYE Reasoner , 2015, IEEE Software.

[13]  Bijan Parsia,et al.  The OWL Reasoner Evaluation (ORE) 2015 Resources , 2016, International Semantic Web Conference.