Skip to main content
Erschienen in: Information Systems Frontiers 5/2013

01.11.2013

Ontology-based data access: An application to intermodal logistics

verfasst von: Matteo Casu, Giuseppe Cicala, Armando Tacchella

Erschienen in: Information Systems Frontiers | Ausgabe 5/2013

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this paper, we investigate ontology-based data access (OBDA) to build information systems whose purposes are (i) gathering data from a network of intermodal terminals, and (ii) computing performance indicators of the network. This application domain is characterized by large amounts of data and relatively simple data models, making it a natural challenge for logic-based knowledge representation and reasoning techniques. Considering relational database (RDB) technology as a yardstick, we show that careful engineering of OBDA can achieve RDB-like scalability even in demanding applications. To the best of our knowledge, this is the first study evaluating the potential of OBDA in a typical business-size application.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
The site www.​mind-lab.​it/​~gcicala/​isf2012/​ contains al the results of our experimental analysis, as well as ontologies, databases, simulator and code required to replicate our analysis.
 
2
See http://​www.​ilog.​it/​ for more information about I.LOG and metrocargo ®.
 
3
Our work is based on protégé 4.1 and Pellet 2.3.0.
 
4
Complexity of reasoning within OWL 2 semantics is detailed at http://​www.​w3.​org/​TR/​owl2-profiles/​#Computational_​Properties. It is worth noticing that in full OWL 2 the computational complexity of conjunctive query answering is yet to be determined, but it is unlikely to be low.
 
5
In the case of date/time, this amounts to set a reference date and time, and consider time elapsed since that date.
 
6
Both the RBD schema, i.e., tables in mySQL syntax, and the ontology Tbox, i.e., XML file containing OWL 2 assertions, are available on the companion site of the paper.
 
7
See Eker et al. (2003) and the website http://​ptolemy.​eecs.​berkeley.​edu/​. Our work is based on Ptolemy 8.0.1.
 
8
The full model Simulator built in Ptolemy is available at the companion site of the paper, together with the Java code for Controller and instructions to perform the simulation.
 
9
Our work is based on mySQL 5.1. The dump of a database containing a 15-days long simulation is available at the companion site of the paper.
 
10
The full listing of SQL queries can be downloaded from the companion site of the paper.
 
11
Notice that a Passing event does not involve any actual handling of ITUs, since these events record ITUs passing by the terminal along their journey. If needed, Passing events can be removed by the application, or by adding a clause to the WHERE statement.
 
12
See http://​www.​w3.​org/​TR/​xmlschema11-2/​ for a listing of XML Schema datatype and their description.
 
13
See the official Jena web site at http://​jena.​apache.​org/​documentation/​ for an introduction to Jena.
 
14
An XML/RDF file populated with the results of a 15-days long simulation is available at the companion site of the paper.
 
15
The authoritative reference about RDF semantics is at http://​www.​w3.​org/​TR/​rdf-mt/​.
 
18
The type owl:NamedIndividual is used in OWL to declare named (i.e. non-anonymous) individuals. Since it is a type whereto each individual belongs, it is non informative in this context.
 
19
Notice that SPARQL 1.0 is the current W3C recommendation.
 
20
The full listing of queries for ARQ, Pellet and Quest can be downloaded from the companion site of the paper.
 
21
This is a simplification, because in ITUs come in different sizes, and a real car may transport up to two ITUs.
 
22
The complete set of results is available at the companion site of the paper.
 
24
However, it should be mentioned that Jena uses a kind of materialization approach to support RDFS inteferences during query answering. Therefore ARQ executes the KPI queries over an extended Abox which gets computed transparently at load time.
 
Literatur
Zurück zum Zitat Agha, G. (1985). Actors: A model of concurrent computation in distributed systems. PhD thesis, University of Michigan. Agha, G. (1985). Actors: A model of concurrent computation in distributed systems. PhD thesis, University of Michigan.
Zurück zum Zitat Baader, F. (2003). The description logic handbook: Theory, implementation, and applications. Cambridge: Cambridge University Press. Baader, F. (2003). The description logic handbook: Theory, implementation, and applications. Cambridge: Cambridge University Press.
Zurück zum Zitat Bechhofer, S., Harmelen, F.V., Hendler, J., Horrocks, I., McGuinness, M., Patel-Schneider, P., Stein, L., et al. (2004) OWLWeb ontology language reference. W3C recommendation 10. Bechhofer, S., Harmelen, F.V., Hendler, J., Horrocks, I., McGuinness, M., Patel-Schneider, P., Stein, L., et al. (2004) OWLWeb ontology language reference. W3C recommendation 10.
Zurück zum Zitat Bock, J., Haase, P., Ji, Q., Volz, R. (2008). Benchmarking OWL reasoners. In Proc of the ARea2008 workshop. Tenerife, Spain. Bock, J., Haase, P., Ji, Q., Volz, R. (2008). Benchmarking OWL reasoners. In Proc of the ARea2008 workshop. Tenerife, Spain.
Zurück zum Zitat Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R. (2005). DL-Lite: tractable description logics for ontologies. In Twentieth national conference on artificial intelligence and the seventeenth innovative applications of artificial intelligence conference (pp. 602–607). Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R. (2005). DL-Lite: tractable description logics for ontologies. In Twentieth national conference on artificial intelligence and the seventeenth innovative applications of artificial intelligence conference (pp. 602–607).
Zurück zum Zitat Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R. (2007a). EQL-Lite: effective first-order query processing in description logics. In IJCAI (pp. 274–279). Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R. (2007a). EQL-Lite: effective first-order query processing in description logics. In IJCAI (pp. 274–279).
Zurück zum Zitat Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R. (2007b). Tractable reasoning and efficient query answering in description logics: the DL-Lite family. Journal of Automated Reasoning, 39(3), 385–429.CrossRef Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R. (2007b). Tractable reasoning and efficient query answering in description logics: the DL-Lite family. Journal of Automated Reasoning, 39(3), 385–429.CrossRef
Zurück zum Zitat Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro,M., Rosati, R. (2009). Ontologies and databases: the DL-Lite approach. In Reasoning Web semantic technologies for information systems (pp. 255–356). Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro,M., Rosati, R. (2009). Ontologies and databases: the DL-Lite approach. In Reasoning Web semantic technologies for information systems (pp. 255–356).
Zurück zum Zitat Codd, E. (1970). A relationalmodel of data for large shared data banks. Communications of the ACM, 13(6), 377–387.CrossRef Codd, E. (1970). A relationalmodel of data for large shared data banks. Communications of the ACM, 13(6), 377–387.CrossRef
Zurück zum Zitat Cuenca-Grau, B., Horrocks, I., Kazakov, Y., Sattler, U. (2007) . A logical framework for modularity of ontologies. In Proc. IJCAI (pp. 298–304). Cuenca-Grau, B., Horrocks, I., Kazakov, Y., Sattler, U. (2007) . A logical framework for modularity of ontologies. In Proc. IJCAI (pp. 298–304).
Zurück zum Zitat Cuenca-Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U. (2008). OWL 2: the next step for OWL. Web Semantics: Science, Services and Agents on the World Wide Web, 6(4), 309–322.CrossRef Cuenca-Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U. (2008). OWL 2: the next step for OWL. Web Semantics: Science, Services and Agents on the World Wide Web, 6(4), 309–322.CrossRef
Zurück zum Zitat Dahlgren, K. (1995). A linguistic ontology. International Journal of Human-Computer Studies, 43(5), 809–818.CrossRef Dahlgren, K. (1995). A linguistic ontology. International Journal of Human-Computer Studies, 43(5), 809–818.CrossRef
Zurück zum Zitat Eker, J., Janneck, J., Lee, E., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y. (2003). Taming heterogeneity—the Ptolemy approach. Proceedings of the IEEE, 91(1), 127–144.CrossRef Eker, J., Janneck, J., Lee, E., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y. (2003). Taming heterogeneity—the Ptolemy approach. Proceedings of the IEEE, 91(1), 127–144.CrossRef
Zurück zum Zitat Elmasri, R., & Navathe, S. (2004). Fundamentals of database systems. Paris: Pearson Education. Elmasri, R., & Navathe, S. (2004). Fundamentals of database systems. Paris: Pearson Education.
Zurück zum Zitat Gennari, J., Musen, M., Fergerson, R., Grosso, W., Crubézy, M., Eriksson, H., Noy, N., Tu, S. (2003). The evolution of protégé: an environment for knowledge-based systems development. International Journal of Human-Computer Studies, 58(1), 89–123.CrossRef Gennari, J., Musen, M., Fergerson, R., Grosso, W., Crubézy, M., Eriksson, H., Noy, N., Tu, S. (2003). The evolution of protégé: an environment for knowledge-based systems development. International Journal of Human-Computer Studies, 58(1), 89–123.CrossRef
Zurück zum Zitat Gruber, T. (1995). Toward principles for the design of ontologies used for knowledge sharing. International Journal of Human-Computer Studies, 43(5), 907–928.CrossRef Gruber, T. (1995). Toward principles for the design of ontologies used for knowledge sharing. International Journal of Human-Computer Studies, 43(5), 907–928.CrossRef
Zurück zum Zitat Horrocks, I. (2012). Semantics \(\sqcap \) scalability \(\models \) \(\bot \)? Journal of Zhejiang University - Science C, 13(4), 241–244.CrossRef Horrocks, I. (2012). Semantics \(\sqcap \) scalability \(\models \) \(\bot \)? Journal of Zhejiang University - Science C, 13(4), 241–244.CrossRef
Zurück zum Zitat Kazakov, Y. (2008). \({\cal R I Q}\) and \({\cal S R O I Q}\) are harder than \({\cal S H O I Q}\). In Description logics. Kazakov, Y. (2008). \({\cal R I Q}\) and \({\cal S R O I Q}\) are harder than \({\cal S H O I Q}\). In Description logics.
Zurück zum Zitat Klyne, G., Carroll, J., McBride, B. (2004). Resource description framework (RDF): concepts and abstract syntax. W3C recommendation 10. Klyne, G., Carroll, J., McBride, B. (2004). Resource description framework (RDF): concepts and abstract syntax. W3C recommendation 10.
Zurück zum Zitat Kontchakov, R., Pulina, L., Sattler, U., Schneider, T., Selmer, P., Wolter, F., Zakharyaschev, M. (2009). Minimal module extraction from DL-Lite ontologies using QBF solvers. In Proc. of IJCAI-09 (pp. 836–841). Kontchakov, R., Pulina, L., Sattler, U., Schneider, T., Selmer, P., Wolter, F., Zakharyaschev, M. (2009). Minimal module extraction from DL-Lite ontologies using QBF solvers. In Proc. of IJCAI-09 (pp. 836–841).
Zurück zum Zitat Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M. (2010). The combined approach to query answering in DL-Lite. In Proceedings of KR. Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M. (2010). The combined approach to query answering in DL-Lite. In Proceedings of KR.
Zurück zum Zitat Lutz, C. (2002). The complexity of description logics with concrete domains. PhD thesis, University of Hamburg. Lutz, C. (2002). The complexity of description logics with concrete domains. PhD thesis, University of Hamburg.
Zurück zum Zitat McBride, B. (2002). Jena: a semantic Web toolkit. IEEE Internet Computing, 6(6), 55–59.CrossRef McBride, B. (2002). Jena: a semantic Web toolkit. IEEE Internet Computing, 6(6), 55–59.CrossRef
Zurück zum Zitat Motik, B., Horrocks, I., Sattler, U. (2006). Integrating description logics and relational databases. Tech. rep., University of Manchester. Motik, B., Horrocks, I., Sattler, U. (2006). Integrating description logics and relational databases. Tech. rep., University of Manchester.
Zurück zum Zitat Motik, B., Patel-Schneider, P., Parsia, B., Bock, C., Fokoue, A., Haase, P., Hoekstra, R., Horrocks, I., Ruttenberg, A., Sattler, U., et al. (2009). OWL 2 Web ontology language: structural specification and functional-style syntax. W3C recommendation 27. Motik, B., Patel-Schneider, P., Parsia, B., Bock, C., Fokoue, A., Haase, P., Hoekstra, R., Horrocks, I., Ruttenberg, A., Sattler, U., et al. (2009). OWL 2 Web ontology language: structural specification and functional-style syntax. W3C recommendation 27.
Zurück zum Zitat Pérez-Urbina, H., Horrocks, I., Motik, B. (2009). Practical aspects of query rewriting for OWL 2. In OWL: experiences and directions 2009. Pérez-Urbina, H., Horrocks, I., Motik, B. (2009). Practical aspects of query rewriting for OWL 2. In OWL: experiences and directions 2009.
Zurück zum Zitat Prud’Hommeaux, E., & Seaborne, A. (2008). SPARQL query language for RDF. W3C working draft 4. Prud’Hommeaux, E., & Seaborne, A. (2008). SPARQL query language for RDF. W3C working draft 4.
Zurück zum Zitat Rodrıguez-Muro, M., & Calvanese, D. (2011). Dependencies to optimize ontology based data access. In Description logics. Rodrıguez-Muro, M., & Calvanese, D. (2011). Dependencies to optimize ontology based data access. In Description logics.
Zurück zum Zitat Rodriguez-Muro, M., & Calvanese, D. (2012a) . High performance query answering over DL-Lite ontologies. In Proc. of the 13th int. conf. on the principles of knowledge representation and reasoning (KR 2012) (pp. 308–318). Rodriguez-Muro, M., & Calvanese, D. (2012a) . High performance query answering over DL-Lite ontologies. In Proc. of the 13th int. conf. on the principles of knowledge representation and reasoning (KR 2012) (pp. 308–318).
Zurück zum Zitat Rodrıguez-Muro, M., & Calvanese, D. (2012b). Quest, an OWL 2 QL reasoner for ontology-based data access. In OWLED 2012. Rodrıguez-Muro, M., & Calvanese, D. (2012b). Quest, an OWL 2 QL reasoner for ontology-based data access. In OWLED 2012.
Zurück zum Zitat Rogers, J., & Rector, A. (1996). The GALEN ontology. In Medical Informatics Europe (MIE 96) (pp. 174–178). Rogers, J., & Rector, A. (1996). The GALEN ontology. In Medical Informatics Europe (MIE 96) (pp. 174–178).
Zurück zum Zitat Savo, D., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Romagnoli, V., Ruzzi, M., Stella, G. (2010). MASTRO at work: experiences on ontology-based data access. Proc. of DL, 573, 20–31. Savo, D., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Romagnoli, V., Ruzzi, M., Stella, G. (2010). MASTRO at work: experiences on ontology-based data access. Proc. of DL, 573, 20–31.
Zurück zum Zitat Sirin, E., Parsia, B., Cuenca-Grau, B., Kalyanpur, A., Katz, Y. (2007). Pellet: a practical OWL-DL reasoner. Web Semantics: Science, Services and Agents on the World Wide Web, 5(2), 51–53. Available on-line from http://pellet.owldl.com/.CrossRef Sirin, E., Parsia, B., Cuenca-Grau, B., Kalyanpur, A., Katz, Y. (2007). Pellet: a practical OWL-DL reasoner. Web Semantics: Science, Services and Agents on the World Wide Web, 5(2), 51–53. Available on-line from http://​pellet.​owldl.​com/​.CrossRef
Zurück zum Zitat Spyns, P., Meersman, R., Jarrar, M. (2002). Data modelling versus ontology engineering. ACM SIGMOD Record, 31(4), 12–17.CrossRef Spyns, P., Meersman, R., Jarrar, M. (2002). Data modelling versus ontology engineering. ACM SIGMOD Record, 31(4), 12–17.CrossRef
Zurück zum Zitat Wu, Z., Eadon, G., Das, S., Chong, E., Kolovski, V., Annamalai, M., Srinivasan, J. (2008). Implementing an inference engine for RDFS/OWL constructs and user-defined rules in oracle. In IEEE 24th international conference on data engineering, 2008. ICDE 2008 (pp. 1239–1248). Piscataway: IEEE.CrossRef Wu, Z., Eadon, G., Das, S., Chong, E., Kolovski, V., Annamalai, M., Srinivasan, J. (2008). Implementing an inference engine for RDFS/OWL constructs and user-defined rules in oracle. In IEEE 24th international conference on data engineering, 2008. ICDE 2008 (pp. 1239–1248). Piscataway: IEEE.CrossRef
Metadaten
Titel
Ontology-based data access: An application to intermodal logistics
verfasst von
Matteo Casu
Giuseppe Cicala
Armando Tacchella
Publikationsdatum
01.11.2013
Verlag
Springer US
Erschienen in
Information Systems Frontiers / Ausgabe 5/2013
Print ISSN: 1387-3326
Elektronische ISSN: 1572-9419
DOI
https://doi.org/10.1007/s10796-012-9395-4

Weitere Artikel der Ausgabe 5/2013

Information Systems Frontiers 5/2013 Zur Ausgabe

Premium Partner