Abstract
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 multi-core 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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
AllegroGraph, http://www.franz.com/products/allegrograph/
The UniProt Consortium. The Universal Protein Resource (UniProt). Nucleic Acids Res. 36, D190–D195 (2008), http://www.UniProt.org/
Kiryakov, A., Ognyanov, D., Manov, D.: OWLIM – a Pragmatic Semantic Repository for OWL. In: Proc. International Workshop on Scalable Semantic Web Knowledge Systems (SSWS 2005), New York City, USA (2005)
Guo, Y., Pan, Z., Heflin, J.: LUBM: A Benchmark for OWL Knowledge Base Systems. Journal of Web Semantics 3(2), 158–182 (2005)
Calvanese, D., de Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. J. of Automated Reasoning 39(3), 385–429 (2007)
Stocker, M., Smith, M.: Owlgres: A Scalable OWL Reasoner. In: Proc. of OWL Experiences and Directions EU, OWLED-EU (2008)
Baader, F., Brandt, S., Lutz, C.: Pushing the EL Envelope. In: Proc. of the 19th Joint Int. Conf. on Artificial Intelligence, IJCAI 2005 (2005)
Tarjan, R.: A Class of Algorithms which Require Nonlinear Time to Maintain Disjoint Sets. Journal of Computer and System Sciences 18(2), 110–127 (1979)
Motik, B., Patel-Schneider, P.F., Parsia, B. (eds.): OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. Latest version available at, http://www.w3.org/TR/owl2-syntax/
Wu, Z., Eadon, G., Das, S., Chong, E.I., Kolovski, V., Annamalai, M., Srinivasan, J.: Implementing an Inference Engine for RDFS/OWL Constructs and User-Defined Rules in Oracle. In: IEEE 24th International Conference on Data Engineering, ICDE, pp. 1239–1248 (2008)
Jena Framework, http://jena.sourceforge.net/
Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles. Latest version available at, http://www.w3.org/TR/owl2-profiles/
Broekstra, J., van Harmelen, F., Kampman, A.: Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 54. Springer, Heidelberg (2002)
Wilkinson, K., Sayers, C., Kuno, H., Reynolds, D.: Efficient RDF storage and retrieval in Jena. In: Proc. VLDB Workshop on Semantic Web and Databases (2003)
OWLIM: LUBM Tests, http://ontotext.com/owlim/benchmarking/lubm.html
Narayanan, S., Catalyurek, U., Kurc, T., Saltz, J.: Parallel materialization of large ABoxes. In: Proc. of the 2009 ACM Symposium on Applied Computing, Honolulu, Hawaii, pp. 1257–1261 (2009)
Oracle SQL Parallel Execution, http://www.oracle.com/technology/products/bi/db/11g/pdf/twp_bidw_parallel_execution_11gr1.pdf
Virtuoso Universal Server Platform, http://virtuoso.openlinksw.com/
Pellet – Open Source OWL DL Reasoner, http://clarkparsia.com/pellet/
PelletDB. More information, http://clarkparsia.com/pelletdb
Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about Datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering 1(1) (1989)
Hayes, P. (ed.): RDF Semantics, W3C Recommendation. Latest version available at, http://www.w3.org/TR/rdf-mt/
Oracle Semantic Technologies, http://www.oracle.com/technology/tech/semantic_technologies/index.html
OpenCyc, http://www.opencyc.org/downloads
Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.: OWL reasoning with WebPIE: calculating the closure of 100 billion triples. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010. LNCS, vol. 6088, pp. 213–227. Springer, Heidelberg (2010)
Stocker, M., Seaborne, A., Bernstein, A., Kiefer, C., Reynolds, D.: SPARQL Basice Graph Pattern Optimization Using Selectivity Estimation. In: Proc. of the World Wide Web Conference (WWW 2008), Beijing, China, April 21-15 (2008)
Fiorio, C., Gustedt, J.: Memory Management for Union-Find Algorithms. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol. 1200, pp. 67–79. Springer, Heidelberg (1997)
Liang, S., Fodor, P., Wan, H., Kifer, M.: OpenRuleBench: An Analysis of the Performance of Rule Engines. In: WWW 2009, pp. 601–610. ACM Press, New York (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kolovski, V., Wu, Z., Eadon, G. (2010). Optimizing Enterprise-Scale OWL 2 RL Reasoning in a Relational Database System. In: Patel-Schneider, P.F., et al. The Semantic Web – ISWC 2010. ISWC 2010. Lecture Notes in Computer Science, vol 6496. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17746-0_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-17746-0_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17745-3
Online ISBN: 978-3-642-17746-0
eBook Packages: Computer ScienceComputer Science (R0)