Incremental Reasoning over Multiple Ontologies

  • Jing Lu
  • Xingzhi Sun
  • Linhao Xu
  • Haofen Wang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6897)

Abstract

Semantic web data management on top of relational database has been regarded as a promising solution for scalable ontology storing, querying and reasoning. In order to reduce query response time, inferred results often need to be pre-computed and materialized. However, this approach faces the great challenge when data is updated, since the repositories need to perform reasoning from scratch to guarantee the consistency of the inferred results. This paper proposes a novel solution to enable the incremental data update on the context that ontology reasoning and user-defined rule reasoning are performed over multiple ontologies. We propose an effective data organization method that uniformly organizes both original ontologies and inferred results for ontology and user-defined rule reasoning, with the support of named graph. Inspired by the Rete algorithm, we design an inference network to link the ontology data, inferred results, and intermediate inferred results. As a consequence, when the ontology data update, changes can be effectively propagated in the network based on their named graphs. We implement the proposed approach on our previous ontology store and the experimental results show that our solution can significantly improve the reasoning performance when ontology data update happens.

Keywords

Inference Network SPARQL Query Ontology Reasoning Ontology Data Multiple Ontology 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baader, R., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)MATHGoogle Scholar
  2. 2.
    Bizer, C., Heath, T., Idehen, K., Berners-Lee, T.: Linked data on the web. In: Proc. of World Wide Web, pp. 1265–1266 (2008)Google Scholar
  3. 3.
    Ceri, S., Gottlob, G., Tanca, L.: Logic programming and databases. Springer-Verlag New York, Inc., New York (1990)CrossRefGoogle Scholar
  4. 4.
    Forgy, C.: Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19, 17–37 (1982)CrossRefGoogle Scholar
  5. 5.
    Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48–57 (2003)Google Scholar
  6. 6.
    Ma, L., Wang, C., Lu, J., Cao, F., Pan, Y., Yu, Y.: Effective and efficient semantic web data management on db2. In: Proc. of SIGMOD (2008)Google Scholar
  7. 7.
    Ma, L., Yang, Y., Qiu, Z., Xie, G., Pan, Y.: Towards a complete OWL ontology benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 125–139. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  8. 8.
    Motik, B., Sattler, U., Studer, R.: Query answering for owl-dl with rules. Web Semantics: Science, Services and Agents on the World Wide Web 3(1), 41–60 (2005)CrossRefGoogle Scholar
  9. 9.
    SPARQL Query Language for RDF, http://www.w3.org/TR/rdf-sparql-query/
  10. 10.
    Staudt, M., Jarke, M.: Incremental maintenance of externally materialized views. In: VLDB, pp. 75–86 (1996)Google Scholar
  11. 11.
    Steffen, R.V., Staab, S., Motik, B.: Incremental maintenance of materialized ontologies. In: Chung, S., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol. 2888, pp. 707–724. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  12. 12.
    Wilkinson, K., Sayers, C., Kuno, H., Reynolds, D.: Efficient rdf storage and retrieval in jena2. In: Proc. of SWDB (2003)Google Scholar
  13. 13.
    Wu, Z., Eaden, G., Das, S., Chong, E.I., Kolovski, V., Annamalai, M., Srinivasan, J.: Implementing an inference engine for rdfs/owl constructs and user-defined rules in oracle. In: Proc. of ICDE (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jing Lu
    • 1
  • Xingzhi Sun
    • 2
  • Linhao Xu
    • 2
  • Haofen Wang
    • 1
  1. 1.Shanghai Jiaotong UniversityChina
  2. 2.IBM China Research LabChina

Personalised recommendations