Abstract
The development of ontologies involves continuous but relatively small modifications. Existing ontology reasoners, however, do not take advantage of the similarities between different versions of an ontology. In this paper, we propose a technique for incremental reasoning—that is, reasoning that reuses information obtained from previous versions of an ontology—based on the notion of a module. Our technique does not depend on a particular reasoning calculus and thus can be used in combination with any reasoner. We have applied our results to incremental classification of OWL DL ontologies and found significant improvement over regular classification time on a set of real-world ontologies.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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)
Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: Extracting modules from ontologies. In: Proc. of WWW2007 (2007)
Kleer, J.d.: An assumption-based TMS. Artif. Intell. 28(2), 127–162 (1986)
Dong, G., Su, J., Topor, R.W.: Nonrecursive incremental evaluation of datalog queries. Annals of Mathematics and Artificial Intelligence 14(2-4) (1995)
Dong, G., Topor, R.W.: Incremental evaluation of datalog queries. In: Proc. of the 4th Int. Conference on Database Theory (1992)
Doyle, J.: A truth maintenance system. Readings in nonmonotonic reasoning , 259–279 (1987)
Haarslev, V., Möller, R.: Incremental query answering for implementing document retrieval services. In: Proc. of DL-2003, pp. 85–94 (2003)
Halaschek-Wiener, C., Hendler, J.: Toward expressive syndication on the web. In: WWWÂ 2007. Proc. of the 16th Int. World Wide Web Conference (2007)
Halaschek-Wiener, C., Parsia, B., Sirin, E.: Description logic reasoning with syntactic updates. In: Proc. of ODBase2006 (2006)
Horrocks, I.: Implementation and optimisation techniques. In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 313–355. Cambridge University Press, Cambridge (2003)
Horrocks, I., Sattler, U.: A tableaux decision procedure for SHOIQ. In: Proc. of IJCAI 2005, pp. 448–453. Professional Book Center (2005)
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)
Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: WWW, pp. 633–640 (2005)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cuenca Grau, B., Halaschek-Wiener, C., Kazakov, Y. (2007). History Matters: Incremental Ontology Reasoning Using Modules. In: Aberer, K., et al. The Semantic Web. ISWC ASWC 2007 2007. Lecture Notes in Computer Science, vol 4825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76298-0_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-76298-0_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76297-3
Online ISBN: 978-3-540-76298-0
eBook Packages: Computer ScienceComputer Science (R0)