Incrementally maintaining materializations of ontologies stored in logic databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3360 LNCS, Issue , 2005, Pages 1-34

  Volz, Raphael ^a   Staab, Steifen ^a   Motik, Boris ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA STORAGE EQUIPMENT; DATABASE SYSTEMS; LOGIC PROGRAMMING; PROBLEM SOLVING;

LOGIC DATABASES; ONTOLOGICAL ENTAILMENTS; ONTOLOGY LANGUAGES;

ONTOLOGY;

EID: 36849088582     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30567-5_1     Document Type: Conference Paper

References (34)

1. K. Apt and J.-M. Pugin. Maintenance of stratified databases viewed as belief revision system. In Proc. of the 6th Symposium on Principles of Database Systems (PODS), pages 136-145, San Diego, CA, USA, March 1987.
2. S. Bechhofer, I. Horrocks, C. Goble, and R. Stevens. OiIEd: A reasonable ontology editor for the Semantic Web. In Proceedings of KI2001, Joint German/Austrian conference on Artificial Intelligence, volume 2174 of LNAI, pages 396-408. Springer, 2001.
3. S. Bechhofer, R. Volz, and P. Lord. Cooking the Semantic Web with the OWL API. In [10], pages 659-675, 2003.
4. T. Berners-Lee. CWM - closed world machine. Internet: http://www.w3.org/2000/10/swap/doc/cwm.html, 2000.
5. D. Brickley and R. V. Guha. RDF vocabulary description language 1.0: RDF Schema. W3C Working Draft, 10 October 2003, October 2003. Internet: http://www.w3.org/TR/2003/WD-rdf-schema-20031010/.
6. J. de Kleer. An assumption-based truth maintenance system. Artificial Intelligence, 28:127-162, 1986.
7. S. Decker, D. Brickley, J. Saarela, and J. Angele. A query and inference service for RDF. In QL98 - Query Languages Workshop, December 1998.
8. S. Decker, M. Erdmann, D. Fensel, and R. Studer. Ontobroker: Ontology based Access to Distributed and Semi-structured Information. In Database Semantics: Semantic Issues in Multimedia Systems., pages 351-369. Kluwer Academic, 1999.
9. J. Doyle. A truth maintenance system. In B. Webber and N. J. Nilsson, editors, Readings in Artifcial Intelligence, pages 496-516. Morgan Kaufmann, Los Altos, California, 1981.
10. A. Gupta, I. S. Mumick, and K. A. Ross. Adapting materialized views after redefinitions. In M. J. Carey and D. A. Schneider, editors, Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, San Jose, California, May 22-25, 1995, pages 211-222. ACM Press, 1995.
11. Ashish Gupta, Inderpal Singh Mumick, and V. S. Subrahmanian. Maintaining views incrementally. In Proceedings of the 1993 ACM SIGMOD international conference on Management of data, pages 157-166. ACM Press, 1993.
12. J. Harrison and S. Dietrich. Maintenance of materialized views in a deductive database: An update propagation approach. In Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming (JICSLP), pages 56-65, Washington, D.C., November 1992.
13. P. Hayes. RDF Semantics. W3C Working Draft, 10 October 2003, October 2003. Internet: http://www.w3.org/TR/rdf-mt/.
14. J. Heflin, J. Hendler, and S. Luke. SHOE: A knowledge representation language for internet applications. Technical Report CS-TR-4078, Institute for Advanced Computer Studies, University of Maryland, 1999.
15. M. Jarke, R. Gallersdoerfer, M. A. Jeusfeld, and M. Staudt. ConceptBase - A Deductive Object Base for Meta Data Management. JIIS, 4(2): 167-192, 1995.
16. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42:741-843, 1995.
17. V. Kuchenhoff. On the efficient computation of the difference betwen consecutive database states. In C. Delobel, M. Kifer, and Y. Masunaga, editors, Proc. of 2nd Int. Conf. on Deductive and Object-Oriented Databases, volume 566 of Lecture Notes in Computer Science (LNCS), pages 478-502, Munich, Germany, December 1991. Springer.
18. L. Liu, C. Pu, and W. Tang. Continual queries for internet scale event-driven information delivery. IEEE TKDE, 11(4), 1999.
19. A. Maedche, B. Motik, L. Stojanovic, R. Studer, and R. Volz. Managing multiple ontologies and ontology evolution in ontologging. In Proc. of IIP-2002, Montreal, Canada, 08 2002.
20. A. Maedche, B. Motik, L. Stojanovic, R. Studer, and R. Volz. An infrastructure for searching, reusing and evolving distributed ontologies. In Proc. of WWW-2003, Budapest, Hungary, 05 2003.
21. D. L. McGuinness and F. van Harmelen. OWL Web Ontology Language Overview. Technical report, World Wide Web Consortium (W3C), August 2003. Internet: http://www.w3.org/TR/owl-features/.
22. B. Motik, A. Maedche, and R. Volz. A conceptual modeling approach for semantics-driven enterprise applications. In Proc. 1st Int'l Conf. on Ontologies, Databases and Application of Semantics (ODBASE-2002), October 2002.
23. P. P. Nayak and B. C. Williams. Fast context switching in real-time propositional reasoning. In T. Senator and B. Buchanan, editors, Proceedings of the Fourteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, pages 50-56, Menlo Park, California, 1998. AAAI Press.
24. R. Ramakrishnan, D. Srivastava, S. Sudarshan, and P. Seshadri. The CORAL Deductive System. VLDB Journal: Very Large Data Bases, 3(2):161-210, 1994.
25. J. De Roo. Euler proof mechanism. Internet: http://www.agfa.com/w3c/ euler/, 2002.
26. K. Sagonas, T. Swift, and D. S. Warren. XSB as an efficient deductive database engine. In R. T. Snodgrass and M. Winslett, editors, Proc. of the 1994 ACM SIGMOD Int. Conf. on Management of Data (SIGMOD'94), pages 442-453, 1994.
27. M. Sintek and S. Decker. TRIPLE - an RDF query, inference and transformation language. In Deductive Databases and Knowledge Management (DDLP), 2001.
28. P. Spyns, D. Oberle, R. Volz, J. Zheng, M. Jarrar, Y. Sure, R. Studer, and R. Meersman. OntoWeb - A Semantic Web community portal. In Proc. ofProc. Fourth International Conference on Practical Aspects of Knowledge Management (PAKM), pages 189-200, Vienna, Austria, 2002.
29. M. Staudt and M. Jarke. Incremental maintenance of externally materialized views. Technical Report AIB-95-13, RWTH Aachen, 1995.
30. M. Staudt and M. Jarke. Incremental maintenance of externally materialized views. In T. M. Vijayaraman, A. P. Buchmann, C. Mohan, and N. L. Sarda, editors, VLDB'96, Proceedings of 22th International Conference on Very Large Data Bases, September 3-6, 1996, Mumbai (Bombay), India, pages 75-86. Morgan Kaufmann, 1996.
31. R. Studer, Y. Sure, and R. Volz. Managing user focused access to distributed knowledge. Journal of Universal Computer Science (J. UCS), 8(6):662-672, 2002.
32. R. Volz, S. Staab, and B. Motik. Incremental maintenance of dynamic datalog programs. In [?], 2003.
33. R. Volz, S. Staab, and B. Motik. Incremental Maintenance of Materialized Ontologies. In R. Meersman, Z. Tari, D. C. Schmidt, B. Kraemer, M. van Steen, S. Vinoski, R. King, M. Orlowska, R. Studer, E. Bertino, and D. McLeod, editors, Proc. of CoopIS/DOA/ODBASE 2003, volume 2888 of LNCS, pages 707-724, Sicily, 2003.
34. Raphael Volz. Web Ontology Reasoning in Logic Databases. PhD thesis, Universitaet Fridericiana zu Karlsruhe (TH), http://www.ubka.uni- karlsruhe.de/cgi-bin/psview?document=20042, February 2004.