×

OWL 2 profiles: an introduction to lightweight ontology languages. (English) Zbl 1251.68233

Eiter, Thomas (ed.) et al., Reasoning web. Semantic technologies for advanced query answering. 8th international summer school 2012, Vienna, Austria, September 3–8, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33157-2/pbk). Lecture Notes in Computer Science 7487, 112-183 (2012).
Summary: This chapter gives an extended introduction to the lightweight profiles OWL EL, OWL QL, and OWL RL of the web ontology language OWL. The three ontology language standards are sublanguages of OWL DL that are restricted in ways that significantly simplify ontological reasoning. Compared to OWL DL as a whole, reasoning algorithms for the OWL profiles show higher performance, are easier to implement, and can scale to larger amounts of data. Since ontological reasoning is of great importance for designing and deploying OWL ontologies, the profiles are highly attractive for many applications. These advantages come at a price: various modelling features of OWL are not available in all or some of the OWL profiles. Moreover, the profiles are mutually incomparable in the sense that each of them offers a combination of features that is available in none of the others. This chapter provides an overview of these differences and explains why some of them are essential to retain the desired properties. To this end, we recall the relationship between OWL and description logics (DLs), and show how each of the profiles is typically treated in reasoning algorithms.
For the entire collection see [Zbl 1250.68026].

MSC:

68T30 Knowledge representation
68M11 Internet topics

Software:

WebPIE; ELK; CEL; Snorocket
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36, 1–69 (2098) · Zbl 1192.68657
[2] Baader, F.: Description Logics. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. LNCS, vol. 5689, pp. 1–39. Springer, Heidelberg (2009) · Zbl 1254.68245 · doi:10.1007/978-3-642-03754-2_1
[3] Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Kaelbling, L., Saffiotti, A. (eds.) Proc. 19th Int. Joint Conf. on Artificial Intelligence, IJCAI 2005, pp. 364–369. Professional Book Center (2005)
[4] Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope further. In: Clark, K.G., Patel-Schneider, P.F. (eds.) Proc. OWLED 2008 DC Workshop on OWL: Experiences and Directions. CEUR Workshop Proceedings, vol. 496, CEUR-WS.org (2008)
[5] Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007) · Zbl 1132.68055
[6] Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL – A Polynomial-Time Reasoner for Life Science Ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 287–291. Springer, Heidelberg (2006) · Zbl 05528294 · doi:10.1007/11814771_25
[7] Brickley, D., Guha, R.V. (eds.): RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation (February 10, 2004), http://www.w3.org/TR/rdf-schema/
[8] Calvanese, D., Giacomo, G.D., 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) · Zbl 1132.68725 · doi:10.1007/s10817-007-9078-x
[9] Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. J. of the ACM 28(1), 114–133 (1981) · Zbl 0473.68043 · doi:10.1145/322234.322243
[10] Glimm, B., Krötzsch, M.: SPARQL beyond subgraph matching. In: Patel-Schneider, et al. (eds.) [36], pp. 241–256 · Zbl 05862227 · doi:10.1007/978-3-642-17746-0_16
[11] Glimm, B., Ogbuji, C. (eds.): SPARQL 1.1 Entailment Regimes. W3C Working Draft (January 05, 2012), http://www.w3.org/TR/sparql11-entailment/
[12] Gottlob, G., Orsi, G., Pieris, A.: Ontological queries: Rewriting and optimization. In: Abiteboul, S., Böhm, K., Koch, C., Tan, K.L. (eds.) Proc. 27th Int. Conf. on Data Engineering (ICDE 2011), pp. 2–13. IEEE Computer Society (2011) · doi:10.1109/ICDE.2011.5767965
[13] Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-primer/
[14] Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC (2009)
[15] Hogan, A., Harth, A., Polleres, A.: Scalable authoritative OWL reasoning for the Web. Int. J. of Semantic Web Inf. Syst. 5(2), 49–90 (2009) · doi:10.4018/jswis.2009040103
[16] Hogan, A., Pan, J.Z., Polleres, A., Decker, S.: SAOR: template rule optimisations for distributed reasoning over 1 billion linked data triples. In: Patel-Schneider, et al. (eds.) [36], pp. 337–353 · Zbl 05862233 · doi:10.1007/978-3-642-17746-0_22
[17] ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. J. of Web Semantics 3(2–3), 79–115 (2005) · Zbl 05461267 · doi:10.1016/j.websem.2005.06.001
[18] Kazakov, Y., Krötzsch, M., Simančík, F.: Concurrent Classification of \(\mathcal{EL}\) Ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 305–320. Springer, Heidelberg (2011) · Zbl 05980613 · doi:10.1007/978-3-642-25073-6_20
[19] Kazakov, Y., Krötzsch, M., Simančík, F.: Unchain my \(\mathcal{EL}\) reasoner. In: Proceedings of the 23rd International Workshop on Description Logics (DL 2010). CEUR Workshop Proceedings, vol. 745, CEUR-WS.org (2011)
[20] Kazakov, Y., Krötzsch, M., Simančík, F.: ELK: a reasoner for OWL EL ontologies. Tech. rep. (2012), http://code.google.com/p/elk-reasoner/wiki/Publications
[21] Kazakov, Y., Krötzsch, M., Simančík, F.: Practical Reasoning with Nominals in the EL Family of Description Logics. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), pp. 264–274. AAAI Press (2012)
[22] Klyne, G., Carroll, J.J. (eds.): Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation (February 10, 2004), http://www.w3.org/TR/rdf-concepts/
[23] Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Proc. 12th Int. Conf. on Principles of Knowledge Representation and Reasoning, KR 2010, pp. 247–257. AAAI Press (2010)
[24] Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to ontology-based data access. In: Walsh, T. (ed.) Proc. 22nd Int. Joint Conf. on Artificial Intelligence, IJCAI 2011, pp. 2656–2661. AAAI Press/IJCAI (2011)
[25] Kotoulas, S., Oren, E., van Harmelen, F.: Mind the data skew: distributed inferencing by speeddating in elastic regions. In: Proc. 19th Int. Conf. on World Wide Web, WWW 2010, pp. 531–540. ACM (2010) · doi:10.1145/1772690.1772745
[26] Krötzsch, M., Rudolph, S., Hitzler, P.: Conjunctive Queries for a Tractable Fragment of OWL 1.1. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 310–323. Springer, Heidelberg (2007) · Zbl 05246849 · doi:10.1007/978-3-540-76298-0_23
[27] Krötzsch, M., Rudolph, S., Hitzler, P.: Complexities of Horn description logics. ACM Trans. Comp. Log (to appear, 2012) preprint, http://tocl.acm.org/accepted.html · Zbl 1353.68268
[28] Krötzsch, M., Simančík, F., Horrocks, I.: A description logic primer. CoRR abs/1201.4089 (2012) · Zbl 1358.68276
[29] Lawley, M.J., Bousquet, C.: Fast classification in Protégé: Snorocket as an OWL 2 EL reasoner. In: Taylor, K., Meyer, T., Orgun, M. (eds.) Proc. 6th Australasian Ontology Workshop, IAOA 2010. Conferences in Research and Practice in Information Technology, vol. 122, pp. 45–49. Australian Computer Society Inc. (2010)
[30] Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic \(\mathcal{EL}\) using a relational database system. In: Boutilier, C. (ed.) Proc. 21st Int. Joint Conf. on Artificial Intelligence, IJCAI 2009, pp. 2070–2075. IJCAI (2009)
[31] Mendez, J., Ecke, A., Turhan, A.Y.: Implementing completion-based inferences for the \(\mathcal{EL}\) -family. In: Rosati, R., Rudolph, S., Zakharyaschev, M. (eds.) Proceedings of the International Description Logics Workshop, vol. 745, CEUR (2011)
[32] Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-profiles/
[33] Ortiz, M., Simkus, M.: Reasoning and Query Answering in Description Logics. In: Eiter, T., Krennwallner, T. (eds.) Reasoning Web 2012. LNCS, vol. 7487, pp. 1–53. Springer, Heidelberg (2012) · Zbl 1251.68228
[34] OWL Working Group, W.: OWL 2 Web Ontology Language: Document Overview. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-overview/
[35] Papadimitriou, C.H.: Computational Complexity. Addison Wesley (1994) · Zbl 0833.68049
[36] Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.): ISWC 2010, Part I. LNCS, vol. 6496. Springer, Heidelberg (2010)
[37] Pérez-Urbina, H., Motik, B., Horrocks, I.: A comparison of query rewriting techniques for DL-lite. In: Cuenca Grau, B., Horrocks, I., Motik, B., Sattler, U. (eds.) CEUR Workshop Proceedings of Proc. 22nd Int. Workshop on Description Logics (DL 2009), vol. 477, CEUR-WS.org (2009)
[38] Rudolph, S.: Foundations of Description Logics. In: Polleres, A., d’Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 76–136. Springer, Heidelberg (2011) · Zbl 05942781 · doi:10.1007/978-3-642-23032-5_2
[39] Sattler, U.: Reasoning in Description Logics: Basics, Extensions, and Relatives. In: Antoniou, G., Aßmann, U., Baroglio, C., Decker, S., Henze, N., Patranjan, P.-L., Tolksdorf, R. (eds.) Reasoning Web. LNCS, vol. 4636, pp. 154–182. Springer, Heidelberg (2007) · Zbl 1170.68649 · doi:10.1007/978-3-540-74615-7_2
[40] Schneider, M. (ed.): OWL 2 Web Ontology Language: RDF-Based Semantics. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-rdf-based-semantics/
[41] Sipser, M.: Introduction to the Theory of Computation. Thomson Course Technology, International edition of second edn. (2005)
[42] Soma, R., Prasanna, V.K.: Parallel inferencing for OWL knowledge bases. In: Proc. Int. Conf. on Parallel Processing (ICPP 2008), pp. 75–82. IEEE Computer Society (2008) · doi:10.1109/ICPP.2008.64
[43] Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.: WebPIE: a Web-scale parallel inference engine using MapReduce. J. of Web Semantics (2011) (in press, accepted manuscript), Preprint, http://www.cs.vu.nl/ frankh/postscript/JWS11.pdf
[44] Weaver, J., Hendler, J.A.: Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 682–697. Springer, Heidelberg (2009) · Zbl 05628283 · doi:10.1007/978-3-642-04930-9_43
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.