SemReasoner - A High-Performance Knowledge Graph Store and Rule-Based Reasoner

[1]  Gerard de Melo,et al.  Knowledge Graphs , 2020, ACM Comput. Surv..

[2]  Jacopo Urbani,et al.  VLog: A Rule Engine for Knowledge Graphs , 2019, SEMWEB.

[3]  Abdur Rakib,et al.  The Semantic Web Rule Language Expressiveness Extensions-A Survey , 2019, ArXiv.

[4]  B. Motik,et al.  RDFox: A Highly-Scalable RDF Store , 2015, SEMWEB.

[5]  Jean-François Baget,et al.  Graal: A Toolkit for Query Answering with Existential Rules , 2015, RuleML.

[6]  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).

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

[8]  Claudio Gutiérrez,et al.  The Expressive Power of SPARQL , 2008, SEMWEB.

[9]  J. Hendler,et al.  N3Logic: A logical framework for the World Wide Web , 2007, Theory and Practice of Logic Programming.

[10]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[11]  Herman J. ter Horst,et al.  Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity , 2005, SEMWEB.

[12]  Michael Kifer,et al.  Rules and Ontologies in F-Logic , 2005, Reasoning Web.

[13]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[14]  D. Fensel,et al.  RUBEN: A Rule Engine Benchmarking Framework , 2022, RuleML+RR.

[15]  J. Angele,et al.  JSON towards a simple Ontology and Rule Language , 2021, RuleML+RR.

[16]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[17]  Kevin Angele,et al.  OO-logic: a Successor of F-logic , 2019, RuleML+RR.

[18]  Dmitry Tsarkov,et al.  Incremental and Persistent Reasoning in FaCT++ , 2014, ORE.

[19]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[20]  Georg Lausen,et al.  Ontologies in F-logic , 2004, Handbook on Ontologies.

[21]  Raghu Ramakrishnan,et al.  Review - Magic Sets and Other Strange Ways to Implement Logic Programs , 1999, ACM SIGMOD Digit. Rev..

[22]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[23]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.