History Matters: Incremental Ontology Reasoning Using Modules

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 reu...

Full description

Bibliographic Details
Main Authors: Grau, B, Halaschek−Wiener, C, Kazakov, Y
Format: Conference item
Published: Springer 2007