Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
Journal of Logic Programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Efficient bottom-up computation of queries on stratified databases
Journal of Logic Programming
Communications of the ACM
The alternating fixpoint of logic programs with negation
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An abstract machine for SLG resolution: definite programs
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Implementing Logic Programs as a Database System
Proceedings of the Third International Conference on Data Engineering
OntoEdit: Guiding Ontology Development by Methodology and Inferencing
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Database Systems: An Application Oriented Approach, Complete Version (2nd Edition)
Database Systems: An Application Oriented Approach, Complete Version (2nd Edition)
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
Database Systems: The Complete Book
Database Systems: The Complete Book
LUBM: A benchmark for OWL knowledge base systems
Web Semantics: Science, Services and Agents on the World Wide Web
Combining RDF and part of OWL with rules: semantics, decidability, complexity
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Towards a complete OWL ontology benchmark
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
An Engine for Computing Well-Founded Models
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Challenges for Rule Systems on the Web
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Precise complexity analysis for efficient datalog queries
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Analyzing the AIR language: a semantic web (production) rule language
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Optimizing enterprise-scale OWL 2 RL reasoning in a relational database system
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Constraint-centric workflow change analytics
Decision Support Systems
More efficient datalog queries: subsumptive tabling beats magic sets
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Design patterns for tabled logic programming
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Optimizing the distributed evaluation of stratified programs via structural analysis
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Database foundations for scalable RDF processing
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
D2R2: disk-oriented deductive reasoning in a RISC-style RDF engine
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Extended rules in knowledge-based data access
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Reasoning with the depth-first iterative deepening strategy in the DLog system
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Theory and Practice of Logic Programming - Prolog Systems
Xsb: Extending prolog with tabled logic programming
Theory and Practice of Logic Programming - Prolog Systems
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
Eco-informatics modelling via semantic inference
Information Systems
Personalizing location information through rule-based policies
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Towards multi-threaded local tabling using a common table space
Theory and Practice of Logic Programming
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
Computing the stratified semantics of logic programs over big data through mass parallelization
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
| Hi-index | 0.00 |
The Semantic Web initiative has led to an upsurge of the interest in rules as a general and powerful way of processing, combining, and analyzing semantic information. Since several of the technologies underlying rule-based systems are already quite mature, it is important to understand how such systems might perform on the Web scale. OpenRuleBench is a suite of benchmarks for analyzing the performance and scalability of different rule engines. Currently the study spans five different technologies and eleven systems, but OpenRuleBench is an open community resource, and contributions from the community are welcome. In this paper, we describe the tested systems and technologies, the methodology used in testing, and analyze the results.