What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
Memory Management for Union-Find Algorithms
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
SPARQL basic graph pattern optimization using selectivity estimation
Proceedings of the 17th international conference on World Wide Web
OpenRuleBench: an analysis of the performance of rule engines
Proceedings of the 18th international conference on World wide web
Parallel materialization of large ABoxes
Proceedings of the 2009 ACM symposium on Applied Computing
Implementing an Inference Engine for RDFS/OWL Constructs and User-Defined Rules in Oracle
ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
LUBM: A benchmark for OWL knowledge base systems
Web Semantics: Science, Services and Agents on the World Wide Web
OWLIM – a pragmatic semantic repository for OWL
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
OWL reasoning with WebPIE: calculating the closure of 100 billion triples
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Integrating linked data through RDFS and OWL: some lessons learnt
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
WebPIE: A Web-scale Parallel Inference Engine using MapReduce
Web Semantics: Science, Services and Agents on the World Wide Web
Web Semantics: Science, Services and Agents on the World Wide Web
An ontological approach to oracle BPM
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
A hierarchical back-end architecture for smartphone sensing
Proceedings of the 2012 ACM Research in Applied Computation Symposium
OWL RL in logic programming: querying, reasoning and inconsistency explanations
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
The not-so-easy task of computing class subsumptions in OWL RL
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Making the most of your triple store: query answering in OWL 2 using an RL reasoner
Proceedings of the 22nd international conference on World Wide Web
A distributed rule execution mechanism based on MapReduce in sematic web reasoning
Proceedings of the 5th Asia-Pacific Symposium on Internetware
Hi-index | 0.00 |
OWL 2 RL was standardized as a less expressive but scalable subset of OWL 2 that allows a forward-chaining implementation. However, building an enterprise-scale forward-chaining based inference engine that can 1) take advantage of modern multi-core computer architectures, and 2) efficiently update inference for additions remains a challenge. In this paper, we present an OWL 2 RL inference engine implemented inside the Oracle database system, using novel techniques for parallel processing that can readily scale on multicore machines and clusters. Additionally, we have added support for efficient incremental maintenance of the inferred graph after triple additions. Finally, to handle the increasing number of owl:sameAs relationships present in Semantic Web datasets, we have provided a hybrid in-memory/disk based approach to efficiently compute compact equivalence closures. We have done extensive testing to evaluate these new techniques; the test results demonstrate that our inference engine is capable of performing efficient inference over ontologies with billions of triples using a modest hardware configuration.