Abstract
Data contain given facts, which are explicitly expressed. If we have the facts that Nils is a child of Sven and Sven is a child of Josef, then we as humans know that Josef is the grandparent of Nils, which is also called implicit knowledge. However, machines cannot process implicit knowledge as humans can do. Machines must get to know how to transform implicit knowledge to explicit knowledge, that is, to facts, such that machine can process it. The transformation from implicit knowledge to explicit knowledge is often expressed by rules. The application of rules to determine new facts is called inference. Inference is a costly operation, often leading to higher costs than query processing. We propose different materialization strategies for inferred facts to optimize query processing on inferred facts in this chapter and examine their performance gains.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Acciarri, A., Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QuOnto: querying ontologies. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), Pittsburgh, USA (2005)
Bechhofer, S., Horrocks, I., Turi, D.: The OWL instance store: system description. In: Proceedings of the 20th International Conference on Automated Deduction (CADE 2005), Tallinn, Estonia (2005)
Boley, H.: RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core, Rule Interchange and Applications, International Symposium, RuleML 2009. Las Vegas, Nevada, USA, November 5–7 (2009)
Boley, H., Kifer M., (eds): RIF Basic Logic Dialect, W3C candidate recommendation, 1 October 2009. http://www.w3.org/TR/rif-bld/ (2009)
Boley, H., Hallmark, G., Kifer, M., Paschke A., Polleres A., Reynolds D., (eds.): RIF Core Dialect, W3C Candidate Recommendation, 1 October 2009. http://www.w3.org/TR/rif-core/ (2009)
Brickley, D., Guha, D.V.: RDF vocabulary description language 1.0: RDF Schema, W3C Recommendation, http://www.w3.org/TR/rdf-schema/ (2004)
Chen, C., Haarslev, V., Wang, J.: LAS: extending racer by a large Abox store. In: Proceedings of the International Workshop on Description Logics (DL’05), Edinburgh, Scotland, UK (2005)
Dean, M., Schreiber, G. (Eds): OWL Web Ontology Language Reference, W3C Recommendation, 10 February 2004, http://www.w3.org/TR/2004/REC-owl-ref-20040210/ (2004)
Fokoue, A., Kershenbaum, A., Ma, L., Schonberg, E., Srinivas, K.: The Summary Abox: Cutting Ontologies Down to Size. In: Proceedings of the 5th International Semantic Web Conference (ISWC’06), Athens, GA, USA (2006)
Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. Web Semantics 3(2) (2005)
Gutierrez, C., Hurtado, C., Mendelzon, A.: Foundations of Semantic Web Databases. PODS 2004, Paris, France (2004)
Haarslev, V., Möller, R.: Racer: A core inference engine for the Semantic Web Ontology Language (OWL). In: Proceeding of the 2nd International Workshop on Evaluation of Ontology-based Tools. (2003)
Hayes, P.: RDF Semantics, W3C Recommendation, 10th February 2004, http://www.w3.org/TR/rdf-mt/
Kiryakov, A., Ognyanov, D., Manov, D.: OWLIM – a Pragmatic Semantic Repository for OWL. In: Proceedings of the International Workshop on Scalable SemanticWeb Knowledge Base Systems (SSWS’05), New York City, USA (2005)
Kopena, J.: OWLJessKB: A semantic web reasoning tool, http://edge.cs.drexel.edu/assemblies/software/owljesskb/ (2005)
Motik, B., Studer, R.: KAON2 – A scalable reasoning tool for the semantic web. In: Proceedings of the 2nd European Semantic Web Conference (ESWC’05), Heraklion, Greece (2005)
Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Web ontology language structural specification and functional-style syntax, W3C Recommendation, 27 October 2009
Muňoz, S., Pérez, J., Gutierrez, C.: Minimal deductive systems for RDF. 4th European Semantic Web Conference (ESWC 2007), Innsbruck, Austria (2007)
Sirin, E., Parsia, B., Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL DL reasoner. J Web Semantics (2006)
Tsarkov, D., Horrocks, I.: FaCT++ Description logic reasoner: system description. In: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR’06), (2006)
Weithöner T., Liebig T., Luther M., Böhm S., von Henke F., Noppens, O.: Real-world reasoning with OWL, ESWC 2007, Springer LNCS 4519. pp. 296–310. (2007)
Zhou, J., Ma, L., Liu, Q., Zhang, L., Yu, Y., Pan, Y.: Minerva: A scalable OWL ontology storage and inference system. In: Proceedings of 1st Asian Semantic Web Conference (ASWC 2006), Beijing, China (2006)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Groppe, S. (2011). Inference. In: Data Management and Query Processing in Semantic Web Databases. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19357-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-19357-6_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19356-9
Online ISBN: 978-3-642-19357-6
eBook Packages: Computer ScienceComputer Science (R0)