Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases.
This article presents a technique to incrementally maintain materializations of ontological entailments. Materialization consists in precomputing and storing a set of implicit entailments, such that frequent and/or crucial queries to the ontology can be solved more efficiently. The central problem t...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Journal article |
| Language: | English |
| Published: |
Springer
2005
|
| _version_ | 1826260056908234752 |
|---|---|
| author | Volz, R Staab, S Motik, B |
| author2 | Spaccapietra, S |
| author_facet | Spaccapietra, S Volz, R Staab, S Motik, B |
| author_sort | Volz, R |
| collection | OXFORD |
| description | This article presents a technique to incrementally maintain materializations of ontological entailments. Materialization consists in precomputing and storing a set of implicit entailments, such that frequent and/or crucial queries to the ontology can be solved more efficiently. The central problem that arises with materialization is its maintenance when axioms change, viz. the process of propagating changes in explicit axioms to the stored implicit entailments. When considering rule-enabled ontology languages that are operationalized in logic databases, we can distinguish two types of changes. Changes to the ontology will typically manifest themselves in changes to the rules of the logic program, whereas changes to facts will typically lead to changes in the extensions of logical predicates. The incremental maintenance of the latter type of changes has been studied extensively in the deductive database context and we apply the technique proposed in [30] for our purpose. The former type of changes has, however, not been tackled before. In this article we elaborate on our previous papers [32, 33], which extend the approach of [30] to deal with changes in the logic program. Our approach is not limited to a particular ontology language but can be generally applied to arbitrary ontology languages that can be translated to Datalog programs, i.e. such as O-Telos, F-Logic [16] RDF(S), or Description Logic Programs [34]. © Springer-Verlag Berlin Heidelberg 2004. |
| first_indexed | 2024-03-06T18:59:34Z |
| format | Journal article |
| id | oxford-uuid:130b6585-30af-409f-8dc9-f361900f432d |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T18:59:34Z |
| publishDate | 2005 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:130b6585-30af-409f-8dc9-f361900f432d2022-03-26T10:11:35ZIncrementally Maintaining Materializations of Ontologies Stored in Logic Databases.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:130b6585-30af-409f-8dc9-f361900f432dEnglishSymplectic Elements at OxfordSpringer2005Volz, RStaab, SMotik, BSpaccapietra, SBertino, EJajodia, SKing, RMcLeod, DOrlowska, MStrous, LThis article presents a technique to incrementally maintain materializations of ontological entailments. Materialization consists in precomputing and storing a set of implicit entailments, such that frequent and/or crucial queries to the ontology can be solved more efficiently. The central problem that arises with materialization is its maintenance when axioms change, viz. the process of propagating changes in explicit axioms to the stored implicit entailments. When considering rule-enabled ontology languages that are operationalized in logic databases, we can distinguish two types of changes. Changes to the ontology will typically manifest themselves in changes to the rules of the logic program, whereas changes to facts will typically lead to changes in the extensions of logical predicates. The incremental maintenance of the latter type of changes has been studied extensively in the deductive database context and we apply the technique proposed in [30] for our purpose. The former type of changes has, however, not been tackled before. In this article we elaborate on our previous papers [32, 33], which extend the approach of [30] to deal with changes in the logic program. Our approach is not limited to a particular ontology language but can be generally applied to arbitrary ontology languages that can be translated to Datalog programs, i.e. such as O-Telos, F-Logic [16] RDF(S), or Description Logic Programs [34]. © Springer-Verlag Berlin Heidelberg 2004. |
| spellingShingle | Volz, R Staab, S Motik, B Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. |
| title | Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. |
| title_full | Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. |
| title_fullStr | Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. |
| title_full_unstemmed | Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. |
| title_short | Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. |
| title_sort | incrementally maintaining materializations of ontologies stored in logic databases |
| work_keys_str_mv | AT volzr incrementallymaintainingmaterializationsofontologiesstoredinlogicdatabases AT staabs incrementallymaintainingmaterializationsofontologiesstoredinlogicdatabases AT motikb incrementallymaintainingmaterializationsofontologiesstoredinlogicdatabases |