Reasoning with large amounts of data together with ontological knowledge is becoming a pertinent issue. In this chapter, we will give an overviewof wellknown ontology repositories, including native stores and database based stores, and highlight strengths and limitations of each store. We take Minerva as an example to analyze ontology storage in databases in depth, as well as to discuss efficient indexes for scaling up ontology repositories. We then discuss a scalable reasoning method for handling expressive ontologies, as well as summarize other similar approaches. We will subsequently delve into the details of one particular ontology language based on Description Logics called WSML-DL and show that reasoning with this language can be done by a transformation from WSML-DL to OWL DL and support all main DL-specific reasoning tasks. Finally, we illustrate reasoning and its relevance by showing a reasoning example in a practical business context by presenting the Semantic Business Process Repository (SBPR) for systemical management of semantic business process models. As part of this, we analyze the main requirements on a such a repository. We then compare different approaches for storage mechanisms for this purpose and show how a RDBMS in combination with the IRIS inference engine provides a suitable solution that deals well with the expressiveness of the query language and the required reasoning capabilities even for large amounts of instance data.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
AllegroGraph, http://www.franz.com/products/allegrograph/index.lhtml, 2006 SnoMed Ontology, http://www.snomed.org/snomedct/index.html, 2006
IODT, IBM’sIntegrateOntologyDevelopmentToolkit, http://www.alphaworks.ibm.com/tech/semanticstk, 2005
Abiteboul, Serge; Hull, Richard; Vianu, Victor: Foundations of Databases. Addison-Wesley, 1995
Agrawal, R., Somani, A., and Xu, Y., 2001, Storage and Querying of E-Commerce Data. In Proceedings of the 27th International Conference on Very Large DataBases, pages 149-158, Morgan Kaufmann.
Andrews, Tony; Curbera, Francisco; Dholakia, Hitesh; et al.: Business Process Execution Language for Web Services Version 1. 1. 5 May 2003
Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D. and Patel-SchneiderP.F., 2003, The Description Logic Handbook. Cambridge University Press.
Baral, C. Knowledge Representation, Reasoning and Problem Solving. Cambridge University Press, 2003.
Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D. L., Patel-Schneider, P. F., and Stein, L. A., 2004, Owl web ontology language reference. Technical report. Available from: http://www.w3.org/TR/owl-ref/.
Bechhofer, S., Volz R. and Lord P. W., 2003, Cooking the Semantic Web with the OWL API, in: International Semantic Web Conference, pp. 659-675.
Bernstein, Philip A.; Dayal, Umeshwar: An Overview of Repository Technology. In VLDB 1994.
Bhattacharjee, B., Padmanabhan, S., and Malkemus, T., 2003, Efficient Query Processing for Multi-Dimensionally Clustered Tables in DB2, In Proceedings of the 29th Conference on Very Large Data Bases, pages 963-974, Morgan Kaufmann.
Borgida, A., 1996, On the relative expressiveness of description logics and predicate logics. ArtificialIntelligence82(1-2):353-367. Availablefrom: http://citeseer. ist. psu. edu/borgida96relative. html.
BPMN, Business Process Modeling Notation Specification. OMG Final Adopted Specification, February 6, 2006
Brickley, D. and Guha, R. V., 2004, Rdf vocabulary description language 1. 0: Rdf schema. Technical report. Available from: http://www.w3.org/TR/rdf-schema/.
Broekstra, J., Kampman, A., and Harmelen, van F., 2002, Sesame: A generic architecture for storing and querying RDF and RDF schema. In Proceedings of the 1st International Semantic Web Conference, volume 2342 of Lecture Notes in Computer Science, pages 54-68, Springer.
de Bruijn, J.; Kopecký, Jacek; Krummenacher, Reto: RDF Representation of WSML. 20 December 2006
de Bruijn, J., Lausen, H., Krummenacher, R., Polleres, A., Predoiu, L., Kifer, M., and Fensel, D., 2005, The web service modeling language WSML. WSML Final Draft D16. 1v0. 21, WSML. Available from: http://www.wsmo.org/TR/d16/d16. 1/v0. 21/.
de Bruijn, J., Polleres, A., Lara, R., and Fensel, D., 2005, OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning on the Semantic Web. In Proceedings of the 14th International Conference on the World Wide Web.
Brunner, J., Ma, L., Wang, C., Zhang, L., Wolfson, D. C., Pan, Y., and Srinivas, K., 2007, Explorations in the Use of Semantic Web Technologies for Product Information Management. In Proceedings of the 16th International Conference on the World Wide Web. To appear.
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., and Rosati, R., 2005, DL-Lite: Tractable Description Logics for Ontologies. In Proceedings of the 12th National Conference on Artificial Intelligence, pages 602-607.
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., and Rosati, R., 2006, Data Complexity of Query Answering in Description Logics. In Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning, pages 260-270, AAAI Press.
Chen, Y., Ou, J., Jiang, Y., and Meng, X., 2006, HStar-a Semantic Repository for Large Scale OWL Documents. In Proceedings of the 1st Asian Semantic Web Conference, volume 4185 of Lecture Notes in Computer Science, pages 415-428, Springer.
Das, S., Chong, E. I., Eadon, G., and Srinivasan, J., 2004, Supporting Ontology-Based Semantic matching in RDBMS. In Proceedings of the 30th International Conference on Very Large Data Bases, pages 1054-1065.
Dolby, J., Fokoue, A., Kalyanpur, A., Kershenbaum, A., Ma, L., Schonberg, E., and Srinivas, K., 2007, Scalable semantic retrieval through summarization and refinement. IBM Technical report, 2007.
Donini, M. F., Nardi, D., and Rosati, R., 2002, Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic, 3(2):177-225.
Fitting, M., 1996, First-Order Logic and Automated Theorem Proving. 2nd ed., Springer-Verlag, New York.
Fokoue, A., Kershenbaum, A., Ma, L., Schonberg, E., and Srinivas, K., 2006b, The summary abox: Cutting ontologies down to size. In Proceedings of the 5th International Semantic Web Conference, volume 4273 of Lecture Notes in Computer Science, pages 343-356, Springer.
Garcia-Molina, H., Ullman, J., and Widom, J., 2000, Database System Implementation. Prentice-Hall.
Grosof, B., Horrocks, I., Volz, R., and Decker, S., 2003, Description logic programs: combining logic programs with description logic. In Proceddings of the 12th International Conference on the World Wide Web, pages 48-57.
Guo, Y., and Heflin, J., 2006, A Scalable Approach for Partitioning OWL Knowledge Bases. In Proceedings of the 2nd International Workshop on Scalable Semantic Web Knowledge Base Systems.
Haarslev, V., and Moller, R., 2001, RACER System Description. In Proceedings of Automated Reasoning, the 1st International Joint Conference.
Hepp, Martin; Leymann, Frank; Domingue, John; Wahler, Alexander; Fensel, Dieter: Semantic Business Process Management: A Vision Towards Using Semantic Web Services for Business Process Management. Proceedings of the IEEE ICEBE 2005, October 18-20, Beijing, China, pp. 535-540.
Hepp, Martin; Roman, Dumitru: An Ontology Framework for Semantic Business Process Management, Proceedings of Wirtschaftsinformatik 2007, February 28-March 2, 2007, Karlsruhe.
Horrocks I., Patel-Schneider P. F., van Harmelen F., 2003, From SHIQ and RDF to OWL: The making of a Web Ontology Language, J. of Web Semantics, 1570-8268, pp. 7-26, Availablefrom: http://www.cs.man.ac.uk/∼horrocks/Publications/download/2003/HoPH03a.pdf
Horrocks, I., and Tessaris, S., 2002, Querying the semantic web: a formal approach. In Proceedings of the 1st International Semantic Web Conference, volume 2342 of Lecture Notes in Computer Science, pages 177-191, Springer.
Hustadt, U., Motik, B., and Sattler, U., 2004, Reducing SHIQ Descrption Logic to Disjunctive Datalog Programs. In Proceedings of the 9th International Conference on Knowledge Representation and Reasoning, pages 152-162.
Hustadt, U., Motik, B., and Sattler, U., 2005, Data Complexity of Reasoning in Very Expressive Description Logics. In Proceedings of the 19th International Joint Conference on Artificial Intelligence, pages 466-471.
JENA, http://jena. sourceforge. net/index. html
Keller, G.; Nüttgens, M.; Scheer, A. -W.: Semantische Prozeßmodellierung auf der Grundlage “Ereignisgesteuerter Prozeßketten (EPK)”, in: Scheer, A. -W. (Hrsg. ): Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89, Saarbrücken 1992.
Kiryakov, A., Ognyanov, D., and Manov, D, 2005, OWLIM — a pragmatic semantic repository for OWL. In Proceedings of the 2005 International Workshop on Scalable Semantic Web Knowledge Base Systems.
Kiryakov, Atanas; Ognyanov, Damyan; Manov, Dimitar: OWLIM — a Pragmatic Semantic Repository for OWL. In Proc. of Int. Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2005), WISE 2005, 20 Nov, New York City, USA.
Krotzsch, M.., Rudolph, S., and Hitzler, P., 2006, On the complexity of Horn description logics. In Proceedings of the 2nd Workshop OWL Experiences and Directions. Libkin, Leonid: Expressive Power of SQL. The 8th International Conference on Database Theory. London, United Kingdom, 2001
Lipton, Richard and Naughton, Jeffrey. Query size estimation by adaptive sampling (extended abstract). In PODS ’90: Proceedings of the ninth ACM SIGACTSIGMOD-SIGART
symposium on Principles of database systems, pages 40-46, New York, NY, USA, 1990. ACM Press.
Lloyd, J. W., 1987, Foundations of Logic Programming. 2nd ed., Springer-Verlag, New York.
Ma, L., Yang, Y., Qiu, Z., Xie, G., Pan, Y., and Liu. S., 2006, Towards a complete owl ontology benchmark. In Proceedings of the 3rd Europe Semantic Web Conference, volume 4011 of Lecture Notes in Computer Science, pages 125-139, Springer.
Matias, Y., Vitter, J. S., and Wang, M., 1998, Wavelet-based histograms for selectivity estimation. In Proceedings of the ACM SIGMOD International Conference on Management of Data.
Mei, J., Ma, L., and Pan, Y., 2006, Ontology Query Answering on Databases. In Proceedings of the 5th International Semantic Web Conference, volume 4273 of Lecture Notes in Computer Science, pages 445-458, Springer.
Motik, B., Sattler, U., and Studer, R., 2004, Query Answering for OWL-DL with Rules. In Proceedings of the 3th International Semantic Web Conference, volume 3298 of Lecture Notes in Computer Science, pages 549-563, Springer.
Motik, B., Horrocks, I., and Sattler, U., 2006, Integrating Description Logics and Relational Databases. Technical Report, University of Manchester, UK.
Motik, B., and Rosati, R., 2007, A Faithful Integration of Description Logics with Logic Programming. In Proceedings of the 20th International Joint Conference on Artificial Intelligence.
Murray C., Alexander N., Das S., Eadon G., Ravada S., 2005, Oracle Spatial Resource Description Framework (RDF), 10g Release 2 (10. 2). OWLIM — OWL semantics repository. 2006. http://www.ontotext.com/owlim/
Pan, Z., and Heflin, J., 2003, DLDB: Extending relational databases to support semantic web queries. In Proceddings of Workshop on Practical and Scaleable Semantic Web Systems. Passin, Thomas B.: Explorer’s Guide to the Semantic Web. Manning, 2004.
Prud’hommeaux, E., Seaborne, A., eds., 2005, SPARQL Query Language for RDF. W3C Working Draft.
Poosala, V., Ioannidis, Y. E., Haas, P. J., and Shekita, E., 1996, Improved histograms for selectivity estimation of range predicates. In Proceedings of the ACM SIGMOD International Conference on Management of Data.
RDF Primer, W3C Recommendation 10 February 2004. http://www.w3.org/TR/rdf-primer
RDF Vocabulary Description Language 1. 0: RDF Schema. W3C Recommendation 10 February 2004
Rector, A., 2003, Message to public-webont-comments@w3. org: ”case for reinstatement of qualifiedcardinalityrestrictions. ”Availablefrom: http://lists. w3. org/Archives/Public/public-webontcomments/2003Apr/0040. html.
Reiter, R., 1992, What Should a Database Know? Journal of Logic Programming, 14(1-2):127-153.
Roman, D., Lausen, H., and Keller, U., 2004, Web service modeling ontology (WSMO). WSMO final draft d2v1. 2. Available from: http://www.wsmo.org/TR/d2/v1.2/. Rosati, R., 2006, DL + log: A Tight Integration of Description Logics and Disjunctive Datalog. In Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning, pages 68-78, AAAI Press.
Ruckhaus, Edna and Ruiz, Eduardo. Query evaluation and optimization in the semantic web. In Proceedings of the ICLP’06 Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS2006), Washington, USA, August 16 2006.
Siberschatz, Abraham; Korth, Henry F.; Sudarshan, S.: Database System Concepts. Fifth Edition, McGraw-Hill, 2006.
Sirin, E., and Parsia, B., 2004, Pellet: An OWL DL Reasoner. In Proceedings of Workshop on Description Logic.
Smith, Howard; Fingar, Peter: Business Process Management. The Third Wave. Meghan-Kiffer, US 2003.
Spiegel, J. and Polyzotis, N. Graph-based synopses for relational selectivity estimation. In SIGMOD ’06: Proceedings of the 2006 ACM SIGMOD international conference on Management of data, pages 205-216, New York, NY, USA, 2006. ACM Press.
Steinmetz, N., 2006, WSML-DL Reasoner. Bachelor thesis, Leopold-Franzens University Innsbruck. Available from: http://www.deri.at/fileadmin/documents/thesis/dlreasoner.pdf SUPER, The European Integrated Project — Semantics Utilised for Process Management within and between Enterprises. http://www.ip-super.org/ter Horst, Herman J.: Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity. In Proc. of ISWC 2005, Galway, Ireland, November 6-10, 2005. LNCS 3729, pp. 668-684.
Volz, R., 2004, Web Ontology Reasoning with Logic Databases. PhD thesis, Fridericiana University Karlsruhe.
Wang, M., Chang, Y., and Padmanabhan, S., 2002, Supporting Efficient Parametric Search of E-Commerce Data: A Loosely-Coupled Solution. In Proceedings of the 8th International Conference on Extending Database Technology, pages 409-426.
Wilkinson, K., Sayers, C., Kuno, H. A., and Reynolds, D., 2003, Efficient RDF storage and retrieval in Jena2. In Proceedings of VLDB Workshop on Semantic Web and Databases, pages 131-150.
Wu, XD, Lee, ML, Hsu, W., 2004, A prime number labeling scheme for dynamic ordered XML trees. In Proceedings of the 20th Int’l Conf. on Database Engineering (ICDE). pages 66-78, IEEE Computer Society.
Zhou, J., Ma, L., Liu, Q., Zhang, L., Yu, Y., and Pan, Y., 2006, Minerva: A Scalable OWL Ontology Storage and Inference System. In Proceedings of the 1st Asian Semantic Web Conference, volume4185 of Lecture Notes in Computer Science, pages429-443, Springer.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Heymans, S. et al. (2008). Ontology Reasoning with Large Data Repositories. In: Hepp, M., De Leenheer, P., De Moor, A., Sure, Y. (eds) Ontology Management. Computing for Human Experience, vol 7. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-69900-4_4
Download citation
DOI: https://doi.org/10.1007/978-0-387-69900-4_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-69899-1
Online ISBN: 978-0-387-69900-4
eBook Packages: Computer ScienceComputer Science (R0)