Skip to main content

2016 | OriginalPaper | Buchkapitel

Towards Practical OBDA with Temporal Ontologies

(Position Paper)

verfasst von : Diego Calvanese, Elem Güzel Kalaycı, Vladislav Ryzhikov, Guohui Xiao

Erschienen in: Web Reasoning and Rule Systems

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

The temporal dimension of data, which contains such important information as duration or sequence of events and is present in many applications of ontology-based data access (OBDA) concerned with logs or streams, is getting growing attention in the community. To give a proper treatment to the events occurring in the data from the ontological perspective, we assume in our approach that every concept is temporalized, i.e., has temporal validity time, and the ontology language expresses the constraints between validity times of concepts. In this paper we outline the state of art and the future challenges of our research. On the theoretical side, we are interested in enriching the ontology languages with the operators for constructing the temporal concepts that are expressive enough to capture the patterns required by industrial use-cases. On the practical side, we are interested in implementing the ontology-mediated query answering with temporalized concepts in the OBDA system Ontop and performing extensive evaluations using large amounts of real-world data.

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!

Literatur
1.
Zurück zum Zitat Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F., Zakharyaschev, M.: First-order rewritability of temporal ontology-mediated queries. In: Proceedings of IJCAI 2015, pp. 2706–2712. AAAI Press (2015) Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F., Zakharyaschev, M.: First-order rewritability of temporal ontology-mediated queries. In: Proceedings of IJCAI 2015, pp. 2706–2712. AAAI Press (2015)
2.
Zurück zum Zitat Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: A cookbook for temporal conceptual data modelling with description logics. ACM Trans. Comput. Log. 15(3), 25:1–25:50 (2014)MathSciNetCrossRefMATH Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: A cookbook for temporal conceptual data modelling with description logics. ACM Trans. Comput. Log. 15(3), 25:1–25:50 (2014)MathSciNetCrossRefMATH
3.
Zurück zum Zitat Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Tractable interval temporal propositional and description logics. In: Proceedings of AAAI 2015, pp. 1417–1423. AAAI Press (2015) Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Tractable interval temporal propositional and description logics. In: Proceedings of AAAI 2015, pp. 1417–1423. AAAI Press (2015)
4.
Zurück zum Zitat Baader, F., Borgwardt, S., Lippmann, M.: Temporalizing ontology-based data access. In: Bonacina, M.P. (ed.) CADE 2013. LNCS, vol. 7898, pp. 330–344. Springer, Heidelberg (2013) Baader, F., Borgwardt, S., Lippmann, M.: Temporalizing ontology-based data access. In: Bonacina, M.P. (ed.) CADE 2013. LNCS, vol. 7898, pp. 330–344. Springer, Heidelberg (2013)
5.
Zurück zum Zitat Basulto, V.G., Jung, J., Kontchakov, R.: Temporalized EL ontologies for accessing temporal data: complexity of atomic queries. In: Proceedings of 25th International Joint Conference on Artificial Intelligence (IJCAI-2016). AAAI Press (2016) Basulto, V.G., Jung, J., Kontchakov, R.: Temporalized EL ontologies for accessing temporal data: complexity of atomic queries. In: Proceedings of 25th International Joint Conference on Artificial Intelligence (IJCAI-2016). AAAI Press (2016)
6.
Zurück zum Zitat Böhlen, M.H., Snodgrass, R.T., Soo, M.D.: Coalescing in temporal databases. In: Proceedings of 22th International Conference on Very Large Data Bases (VLDB 1996), pp. 180–191 (1996) Böhlen, M.H., Snodgrass, R.T., Soo, M.D.: Coalescing in temporal databases. In: Proceedings of 22th International Conference on Very Large Data Bases (VLDB 1996), pp. 180–191 (1996)
7.
Zurück zum Zitat Borgwardt, S., Lippmann, M., Thost, V.: Temporal query answering in the description logic DL-Lite. In: Proceedings of FroCoS 2013, pp. 165–180 (2013) Borgwardt, S., Lippmann, M., Thost, V.: Temporal query answering in the description logic DL-Lite. In: Proceedings of FroCoS 2013, pp. 165–180 (2013)
8.
Zurück zum Zitat Borgwardt, S., Lippmann, M., Thost, V.: Temporalizing rewritable query languages over knowledge bases. J. Web Semant. 33, 50–70 (2015). Ontology-Based Data AccessCrossRef Borgwardt, S., Lippmann, M., Thost, V.: Temporalizing rewritable query languages over knowledge bases. J. Web Semant. 33, 50–70 (2015). Ontology-Based Data AccessCrossRef
9.
Zurück zum Zitat Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reason. 39(3), 385–429 (2007)MathSciNetCrossRefMATH Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reason. 39(3), 385–429 (2007)MathSciNetCrossRefMATH
10.
Zurück zum Zitat Gao, D., Jensen, C.S., Snodgrass, R.T., Soo, M.D.: Join operations in temporal databases. VLDB J. 14(1), 2–29 (2005)CrossRef Gao, D., Jensen, C.S., Snodgrass, R.T., Soo, M.D.: Join operations in temporal databases. VLDB J. 14(1), 2–29 (2005)CrossRef
11.
Zurück zum Zitat Giese, M., Soylu, A., Vega-Gorgojo, G., Waaler, A., Haase, P., Jiménez-Ruiz, E., Lanti, D., Rezk, M., Xiao, G., Özçep, Ö.L., Rosati, R.: Optique - zooming in on big data access. IEEE Comput. 48(3), 60–67 (2015)CrossRef Giese, M., Soylu, A., Vega-Gorgojo, G., Waaler, A., Haase, P., Jiménez-Ruiz, E., Lanti, D., Rezk, M., Xiao, G., Özçep, Ö.L., Rosati, R.: Optique - zooming in on big data access. IEEE Comput. 48(3), 60–67 (2015)CrossRef
12.
Zurück zum Zitat Gutiérrez-Basulto, V., Klarman, S.: Towards a unifying approach to representing and querying temporal data in description logics. In: Krötzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 90–105. Springer, Heidelberg (2012) Gutiérrez-Basulto, V., Klarman, S.: Towards a unifying approach to representing and querying temporal data in description logics. In: Krötzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 90–105. Springer, Heidelberg (2012)
13.
Zurück zum Zitat Kharlamov, E., et al.: How semantic technologies can enhance data access at siemens energy. In: Mika, P., et al. (eds.) ISWC 2014, Part I. LNCS, vol. 8796, pp. 601–619. Springer, Heidelberg (2014) Kharlamov, E., et al.: How semantic technologies can enhance data access at siemens energy. In: Mika, P., et al. (eds.) ISWC 2014, Part I. LNCS, vol. 8796, pp. 601–619. Springer, Heidelberg (2014)
14.
Zurück zum Zitat Klarman, S., Meyer, T.: Querying temporal databases via OWL 2 QL. In: Kontchakov, R., Mugnier, M.-L. (eds.) RR 2014. LNCS, vol. 8741, pp. 92–107. Springer, Heidelberg (2014) Klarman, S., Meyer, T.: Querying temporal databases via OWL 2 QL. In: Kontchakov, R., Mugnier, M.-L. (eds.) RR 2014. LNCS, vol. 8741, pp. 92–107. Springer, Heidelberg (2014)
15.
Zurück zum Zitat Kontchakov, R., Pandolfo, L., Pulina, L., Ryzhikov, V., Zakharyaschev, M.: Temporal and spatial OBDA with many-dimensional Halpern-Shoham logic. In: Proceedings of 25th International Joint Conference on Artificial Intelligence (IJCAI-2016). AAAI Press (2016) Kontchakov, R., Pandolfo, L., Pulina, L., Ryzhikov, V., Zakharyaschev, M.: Temporal and spatial OBDA with many-dimensional Halpern-Shoham logic. In: Proceedings of 25th International Joint Conference on Artificial Intelligence (IJCAI-2016). AAAI Press (2016)
16.
Zurück zum Zitat Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255–299 (1990)CrossRef Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255–299 (1990)CrossRef
17.
Zurück zum Zitat Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: a survey. In: Proceedings of TIME 2008, pp. 3–14. IEEE Computer Society (2008) Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: a survey. In: Proceedings of TIME 2008, pp. 3–14. IEEE Computer Society (2008)
19.
Zurück zum Zitat Özçep, Ö., Möller, R., Neuenstadt, C., Zheleznyakov, C., Kharlamov, E.: OBDA with temporal and stream-oriented queries: optimization techniques, D5.2. Technical report, FP7-318338, EU (2014) Özçep, Ö., Möller, R., Neuenstadt, C., Zheleznyakov, C., Kharlamov, E.: OBDA with temporal and stream-oriented queries: optimization techniques, D5.2. Technical report, FP7-318338, EU (2014)
20.
Zurück zum Zitat Özçep, Ö.L., Möller, R., Neuenstadt, C.: A stream-temporal query language for ontology based data access. In: Lutz, C., Thielscher, M. (eds.) KI 2014. LNCS, vol. 8736, pp. 183–194. Springer, Heidelberg (2014) Özçep, Ö.L., Möller, R., Neuenstadt, C.: A stream-temporal query language for ontology based data access. In: Lutz, C., Thielscher, M. (eds.) KI 2014. LNCS, vol. 8736, pp. 183–194. Springer, Heidelberg (2014)
21.
Zurück zum Zitat Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol. 4900, pp. 133–173. Springer, Heidelberg (2008)CrossRef Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol. 4900, pp. 133–173. Springer, Heidelberg (2008)CrossRef
Metadaten
Titel
Towards Practical OBDA with Temporal Ontologies
verfasst von
Diego Calvanese
Elem Güzel Kalaycı
Vladislav Ryzhikov
Guohui Xiao
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-45276-0_2

Premium Partner