Meta-Level Properties for Reasoning on Dynamic Data

  • Yuting ZhaoEmail author
  • Guido Vetere
  • Jeff Z. Pan
  • Alessandro Faraotti
  • Marco Monti
  • Honghan Wu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9544)


Dynamic features are important for data processing when dealing with real applications. In this paper we introduce a methodology for validating the construction of ontological knowledge base and optimising the query answering with such ontologies. In this paper, we firstly introduce some meta-properties of dynamic for ontologies. These meta-properties impose several constraints on the taxonomic structure of an ontology. We then investigate how to build up a meta-ontology with the constrains on these meta-properties. The goal of our methodology is not to help on providing strict logical conditions for judging inconsistency, but rather to help as heuristics for validating ontologies. Furthermore, some results on how to improve the reasoning on dynamic data by using these properties are also introduced.


Data Item First Order Logic Conjunctive Query Continuous Query Query Answering 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



This work is partially supported by the FP7 K-Drive project (No. 286348) and the EPSRC WhatIf project (No. EP/J014354/1).


  1. 1.
    Anicic, D., Fodor, P., Rudolph, S., Stojanovic, N.: EP-SPARQL: a unified language for event processing and stream reasoning. In: Proceedings of the 20th International Conference on World Wide Web, pp. 635–644. ACM (2011)Google Scholar
  2. 2.
    Arasu, A., Babu, S., Widom, J.: The CQL continuous query language: semantic foundations and query execution. VLDB J. 15(2), 121–142 (2006)CrossRefGoogle Scholar
  3. 3.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  4. 4.
    Barbieri, D.F., Braga, D., Ceri, S., Valle, E.D., Grossniklaus, M.: C-SPARQL: a continuous query language for RDF data streams. Int. J. Semant. Comput. 4(1), 3–25 (2010)CrossRefzbMATHGoogle Scholar
  5. 5.
    Botan, I., Derakhshan, R., Dindar, N., Haas, L., Miller, R.J., Tatbul, N.: Secret: a model for analysis of the execution semantics of stream processing systems. Proc. VLDB Endow. 3(1–2), 232–243 (2010)CrossRefGoogle Scholar
  6. 6.
    Calbimonte, J.-P., Jeung, H.Y., Corcho, O., Aberer, K.: Enabling query technologies for the semantic sensor web. Int. J. Semant. Web Inf. Syst. 8(1), 43–63 (2012)CrossRefGoogle Scholar
  7. 7.
    Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: Proceedings of AAAI 2006, pp. 1295–1300 (2006)Google Scholar
  8. 8.
    Guarino, N.: Concepts, attributes, and arbitrary relations - some linguistic and ontological criteria for structuring knowledge bases. Data Knowl. Eng. 8, 249–261 (1992)CrossRefGoogle Scholar
  9. 9.
    Guarino, N., Welty, C.: An overview of ontoclean. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 151–159. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  10. 10.
    Guarino, N., Welty, C.A.: A formal ontology of properties. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 97–112. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  11. 11.
    Le-Phuoc, D., Dao-Tran, M., Parreira, J.X., Hauswirth, M.: A native and adaptive approach for unified processing of linked streams and linked data. 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. 370–388. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  12. 12.
    Ren, Y., Pan, J.Z.: Optimising ontology stream reasoning with truth maintenance system. In: Proceedings of the ACM Conference on Information and Knowledge Management (CIKM) (2011)Google Scholar
  13. 13.
    Tamma, V.A.M., Capon, T.J.M.B.: Attribute meta-properties for formal ontological analysis. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, pp. 301–316. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  14. 14.
    Wang, S., Pan, J.Z., Zhao, Y., Li, W., Han, S., Han, D.: Belief base revision for datalog+/- ontologies. In: Kim, W., Ding, Y., Kim, H.-G. (eds.) JIST 2013. LNCS, vol. 8388, pp. 175–186. Springer, Heidelberg (2014)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Yuting Zhao
    • 1
    Email author
  • Guido Vetere
    • 1
  • Jeff Z. Pan
    • 2
  • Alessandro Faraotti
    • 1
  • Marco Monti
    • 1
  • Honghan Wu
    • 2
  1. 1.IBM Italia S.p.A.RomaItaly
  2. 2.Department of Computer ScienceUniversity of AberdeenAberdeenUK

Personalised recommendations