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...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2007
|
| _version_ | 1797060806151503872 |
|---|---|
| author | Grau, B Halaschek−Wiener, C Kazakov, Y |
| author_facet | Grau, B Halaschek−Wiener, C Kazakov, Y |
| author_sort | Grau, B |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-03-06T20:22:06Z |
| format | Conference item |
| id | oxford-uuid:2e2a1bb6-fee5-4060-b6cd-2732472968ad |
| institution | University of Oxford |
| last_indexed | 2024-03-06T20:22:06Z |
| publishDate | 2007 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:2e2a1bb6-fee5-4060-b6cd-2732472968ad2022-03-26T12:47:22ZHistory Matters: Incremental Ontology Reasoning Using ModulesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:2e2a1bb6-fee5-4060-b6cd-2732472968adDepartment of Computer ScienceSpringer2007Grau, BHalaschek−Wiener, CKazakov, YThe 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. |
| spellingShingle | Grau, B Halaschek−Wiener, C Kazakov, Y History Matters: Incremental Ontology Reasoning Using Modules |
| title | History Matters: Incremental Ontology Reasoning Using Modules |
| title_full | History Matters: Incremental Ontology Reasoning Using Modules |
| title_fullStr | History Matters: Incremental Ontology Reasoning Using Modules |
| title_full_unstemmed | History Matters: Incremental Ontology Reasoning Using Modules |
| title_short | History Matters: Incremental Ontology Reasoning Using Modules |
| title_sort | history matters incremental ontology reasoning using modules |
| work_keys_str_mv | AT graub historymattersincrementalontologyreasoningusingmodules AT halaschekwienerc historymattersincrementalontologyreasoningusingmodules AT kazakovy historymattersincrementalontologyreasoningusingmodules |