Incremental update of datalog materialisation: The Backward/Forward algorithm

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2015, Pages 1560-1568

  Motik, Boris ^a   Nenov, Yavor ^a   Piro, Robert ^a   Horrocks, Ian ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

DATALOG; DATALOG PROGRAMS; INCREMENTAL UPDATES; INPUT DATAS; ORDERS OF MAGNITUDE;

ALGORITHMS;

EID: 84955578395     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. Abiteboul, S.; Hull, R.; and Vianu, V. 1995. Foundations of Databases. Addison Wesley.
2. Barbieri, D. F.; Braga, D.; Ceri, S.; Valle, E. D.; and Gross-niklaus, M. 2010. Incremental Reasoning on Streams and Rich Background Knowledge. In Proc. ESWC, 1-15.
3. Bishop, B.; Kiryakov, A.; Ognyanoff, D.; Peikov, I.; Tashev, Z.; and Velkov, R. 2011. OWLIM: A family of scalable semantic repositories. Semantic Web 2(1):33-42.
4. de Kleer, J. 1986. An Assumption-Based TMS. Artificial Intelligence 28(2): 127-162.
5. Doyle, J. 1979. A Truth Maintenance System. Artificial Intelligence 12(3):231-272.
6. Grosof, B. N.; Horrocks, I.; Volz, R.; and Decker, S. 2003. Description Logic Programs: Combining Logic Programs with Description Logic. In Proc. WWW, 48-57.
7. Guo, Y.; Pan, Z.; and Heiiin, J. 2005. LUBM: A benchmark for OWL knowledge base systems. Journal of Web Seman-tics 3(2-3): 158-182.
8. Gupta, A., and Mumick, 1. S. 1995. Maintenance of Materialized Views: Problems, Techniques, and Applications. IEEE Data Engineering Bulletin 18(2):3-18.
9. Gupta, A.; Katiyar, D.; and Mumick, I. S. 1992. Counting solutions to the View Maintenance Problem. In Proc. of the Workshop on Deductive Databases, 185-194.
10. Gupta, A.; Mumick, I. S.; and Subrahmanian, V. S. 1993. Maintaining Views Incrementally. In Proc. SIGMOD, 157-166.
11. Harrison, J. V, and Dietrich, S. W. 1992. Maintenance of materialized views in a deductive database: An update propagation approach. In Proc. of the Workshop on Deductive Databases, 56-65.
12. Horrocks, I.; Patel-Schneider, P. F.; Boley, H.; Tabet, S.; Grosof, B.; and Dean, M. 2004. SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission.
13. Kazakov, Y., and Klinov, P. 2013. Incremental Reasoning in OWL EL without Bookkeeping. In Proc. ISWC, 232-247.
14. Kuchenhoff, V. 1991. On the Efficient Computation of the Difference Between Consecutive Database States. In Proc. DOOD, 478-502.
15. Ma, L.; Yang, Y; Qiu, Z.; Xie, G. T.; Pan, Y; and Liu, S. 2006. Towards a Complete OWL Ontology Benchmark. In Proc. ESWC, 125-139.
16. Motik, B.; Cuenca Grau, B.; Horrocks, I.; Wu, Z.; Fokoue, A.; and Lutz, C. 2012. OWL 2: Web Ontology Language Profiles (Second Edition). W3C Recommendation.
17. Motik, B.; Nenov, Y; Piro, R.; Horrocks, I.; and Olteanu, D. 2014. Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. In Proc. AAAI, 129-137.
18. Nicolas, J.-M., and Yazdanian, K. 1983. An outline of bd-gen: A deductive dbms. In Proc. 1FIP Congress, 711-717.
19. Ognyanov, D., and Velkov, R. 2014. Correcting inferred knowledge for expired explicit knowledge. US Patent App. 13/924, 209.
20. Ren, Y, and Pan, J. Z. 2011. Optimising ontology stream reasoning with truth maintenance system. In Proc. CIKM, 831-836.
21. Staudt, M., and Jarke, M. 1996. Incremental Maintenance of Externally Materialized Views. In Proc. VLDB, 75-86.
22. Stocker, M., and Smith, M. 2008. Owlgres: A Scalable OWL Reasoner. In Proc. OWLED, 26-27.
23. Urbani, J.; Kotoulas, S.; Maassen, J.; van Harmelen, F.; and Bal, H. E. 2012. WebPIE: A Web-scale Parallel Inference Engine using MapReduce. Journal of Web Semantics 10:59-75.
24. Urbani, J.; Margara, A.; Jacobs, C. J. H.; van Harmelen, F.; and Bal, H. E. 2013. Dynamite: Parallel materialization of dynamic RDF data. In Proc. ISWC, 657-672.
25. Urpi, T., and Olive, A. 1992. A method for change computation in deductive databases. In Proc. VLDB, 225-237.
26. Wu, Z.; Eadon, G.; Das, S.; Chong, E. L; Kolovski, V.; Annamalai, M.; and Srinivasan, J. 2008. Implementing an Inference Engine for RDFS/OWL Constructs and User-Defined Rules in Oracle. In Proc. ICDE, 1239-1248.
27. Zhou, Y; Cuenca Grau, B.; Horrocks, I.; Wu, Z.; and Baner-jee, J. 2013. Making the most of your triple store: query answering in OWL 2 using an RL reasoner. In Proc. WWW, 1569-1580.