History matters: Incremental ontology reasoning using modules

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

Volumn 4825 LNCS, Issue , 2007, Pages 183-196

  Cuenca Grau, Bernardo ^a   Halaschek Wiener, Christian ^b   Kazakov, Yevgeny ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b Institute of Advanced Computer Science   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION (OF INFORMATION); INFORMATION THEORY; SEMANTIC WEB; SEMANTICS;

CLASSIFICATION TIME; INCREMENTAL REASONING; REAL-WORLD;

ONTOLOGY;

EID: 49949095383     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76298-0_14     Document Type: Conference Paper

References (16)

1. Blakeley, J.A., Larson, P.-A., Tompa, F.W.: Efficiently updating materialized views. In: Proc. of SIGMOD 1986. ACM SIGMOD International Conference on Management of Data, pp. 61-71. ACM Press, New York (1986)
2. Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: Extracting modules from ontologies. In: Proc. of WWW2007 (2007)
3. Kleer, J.d.: An assumption-based TMS. Artif. Intell. 28(2), 127-162 (1986)
4. Dong, G., Su, J., Topor, R.W.: Nonrecursive incremental evaluation of datalog queries. Annals of Mathematics and Artificial Intelligence 14(2-4) (1995)
5. Dong, G., Topor, R.W.: Incremental evaluation of datalog queries. In: Proc. of the 4th Int. Conference on Database Theory (1992)
6. Doyle, J.: A truth maintenance system. Readings in nonmonotonic reasoning , 259-279 (1987)
7. Haarslev, V., Möller, R.: Incremental query answering for implementing document retrieval services. In: Proc. of DL-2003, pp. 85-94 (2003)
8. Halaschek-Wiener, C., Hendler, J.: Toward expressive syndication on the web. In: WWW 2007. Proc. of the 16th Int. World Wide Web Conference (2007)
9. Halaschek-Wiener, C., Parsia, B., Sirin, E.: Description logic reasoning with syntactic updates. In: Proc. of ODBase2006 (2006)
10. Horrocks, I.: Implementation and optimisation techniques. In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 313-355. Cambridge University Press, Cambridge (2003)
11. Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proc. of IJCAI 2005, pp. 448-453. Professional Book Center (2005)
12. Parsia, B., Halaschek-Wiener, C., Sirin, E.: Towards incremental reasoning through updates in OWL-DL. In: Reasoning on the Web - Workshop at WWW 2006 (2006)
13. Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: WWW, pp. 633-640 (2005)
14. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI, 2003, pp. 355-362. Morgan Kaufmann, San Francisco (2003)
15. Stonebraker, M.: Implementation of integrity constraints and views by query modification. In: SIGMOD 1975. Proc. of the 1975 ACM SIGMOD international conference on Management of data, San Jose, California, pp. 65-78. ACM Press, New York. (1975)
16. Terry, D.B., Goldberg, D., Nichols, D., Oki, B.M.: Continuous queries over append-only databases. In: Proc. of the Intl. Conf. on Management of Data (1992)