Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2005

AUTHORS

Raphael Volz , Steffen Staab , Boris Motik

ABSTRACT

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]. More... »

PAGES

1-34

Book

TITLE

Journal on Data Semantics II

ISBN

978-3-540-24208-6
978-3-540-30567-5

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-30567-5_1

DOI

http://dx.doi.org/10.1007/978-3-540-30567-5_1

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1040042339


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "FZI, University of Karlsruhe, Germany", 
          "id": "http://www.grid.ac/institutes/grid.7892.4", 
          "name": [
            "Institute AIFB, University of Karlsruhe, Germany", 
            "FZI, University of Karlsruhe, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Volz", 
        "givenName": "Raphael", 
        "id": "sg:person.011242774163.21", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011242774163.21"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institute AIFB, University of Karlsruhe, Germany", 
          "id": "http://www.grid.ac/institutes/grid.7892.4", 
          "name": [
            "Institute AIFB, University of Karlsruhe, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Staab", 
        "givenName": "Steffen", 
        "id": "sg:person.013146116631.23", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013146116631.23"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "FZI, University of Karlsruhe, Germany", 
          "id": "http://www.grid.ac/institutes/grid.7892.4", 
          "name": [
            "FZI, University of Karlsruhe, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Motik", 
        "givenName": "Boris", 
        "id": "sg:person.07401076267.36", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2005", 
    "datePublishedReg": "2005-01-01", 
    "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\u00a0[30] for our purpose. The former type of changes has, however, not been tackled before.In this article we elaborate on our previous papers\u00a0[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\u00a0[16] RDF(S), or Description Logic Programs\u00a0[34].", 
    "editor": [
      {
        "familyName": "Spaccapietra", 
        "givenName": "Stefano", 
        "type": "Person"
      }, 
      {
        "familyName": "Bertino", 
        "givenName": "Elisa", 
        "type": "Person"
      }, 
      {
        "familyName": "Jajodia", 
        "givenName": "Sushil", 
        "type": "Person"
      }, 
      {
        "familyName": "King", 
        "givenName": "Roger", 
        "type": "Person"
      }, 
      {
        "familyName": "McLeod", 
        "givenName": "Dennis", 
        "type": "Person"
      }, 
      {
        "familyName": "Orlowska", 
        "givenName": "Maria E.", 
        "type": "Person"
      }, 
      {
        "familyName": "Strous", 
        "givenName": "Leon", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-30567-5_1", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-24208-6", 
        "978-3-540-30567-5"
      ], 
      "name": "Journal on Data Semantics II", 
      "type": "Book"
    }, 
    "keywords": [
      "Ontology Language", 
      "logic databases", 
      "logic programs", 
      "description logic programs", 
      "database context", 
      "incremental maintenance", 
      "Datalog programs", 
      "logical predicates", 
      "ontology", 
      "explicit axioms", 
      "materialization", 
      "language", 
      "entailment", 
      "central problem", 
      "queries", 
      "database", 
      "predicates", 
      "logic", 
      "technique", 
      "axioms", 
      "types of changes", 
      "set", 
      "rules", 
      "program", 
      "extension", 
      "maintenance", 
      "context", 
      "previous paper", 
      "article", 
      "types", 
      "process", 
      "purpose", 
      "fact", 
      "telos", 
      "former type", 
      "viz", 
      "latter type", 
      "changes", 
      "approach", 
      "problem", 
      "paper"
    ], 
    "name": "Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases", 
    "pagination": "1-34", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1040042339"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-30567-5_1"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-30567-5_1", 
      "https://app.dimensions.ai/details/publication/pub.1040042339"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:48", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_426.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-30567-5_1"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-30567-5_1'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-30567-5_1'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-30567-5_1'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-30567-5_1'


 

This table displays all metadata directly associated to this object as RDF triples.

147 TRIPLES      23 PREDICATES      67 URIs      60 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-30567-5_1 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author N9a6e86e82f514894b11a4766267ce059
4 schema:datePublished 2005
5 schema:datePublishedReg 2005-01-01
6 schema: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].
7 schema:editor N55547b7ea48445509fba0bef8ec54a73
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N1b1a5ad5f14b4ae6be1380cddc5cca47
12 schema:keywords Datalog programs
13 Ontology Language
14 approach
15 article
16 axioms
17 central problem
18 changes
19 context
20 database
21 database context
22 description logic programs
23 entailment
24 explicit axioms
25 extension
26 fact
27 former type
28 incremental maintenance
29 language
30 latter type
31 logic
32 logic databases
33 logic programs
34 logical predicates
35 maintenance
36 materialization
37 ontology
38 paper
39 predicates
40 previous paper
41 problem
42 process
43 program
44 purpose
45 queries
46 rules
47 set
48 technique
49 telos
50 types
51 types of changes
52 viz
53 schema:name Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases
54 schema:pagination 1-34
55 schema:productId N8f2072d2186a413faa1809a7d6659847
56 Nba0860033c174f9dbe68b4a5d8d5b93e
57 schema:publisher N134fa94183ae48d183942ef4e84920f7
58 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040042339
59 https://doi.org/10.1007/978-3-540-30567-5_1
60 schema:sdDatePublished 2022-05-20T07:48
61 schema:sdLicense https://scigraph.springernature.com/explorer/license/
62 schema:sdPublisher N79fb39a57454413793bacb78af1b0fa1
63 schema:url https://doi.org/10.1007/978-3-540-30567-5_1
64 sgo:license sg:explorer/license/
65 sgo:sdDataset chapters
66 rdf:type schema:Chapter
67 N103fca519a7642d78e95083cde9c1513 schema:familyName Bertino
68 schema:givenName Elisa
69 rdf:type schema:Person
70 N134fa94183ae48d183942ef4e84920f7 schema:name Springer Nature
71 rdf:type schema:Organisation
72 N1b1a5ad5f14b4ae6be1380cddc5cca47 schema:isbn 978-3-540-24208-6
73 978-3-540-30567-5
74 schema:name Journal on Data Semantics II
75 rdf:type schema:Book
76 N21babd7a0e0547e695a474e8107356a8 rdf:first sg:person.07401076267.36
77 rdf:rest rdf:nil
78 N37f01ea1f40344fb8ce3fc081a82d38d schema:familyName Orlowska
79 schema:givenName Maria E.
80 rdf:type schema:Person
81 N3e9530f0440546b8aec888c1529f305c schema:familyName Jajodia
82 schema:givenName Sushil
83 rdf:type schema:Person
84 N55547b7ea48445509fba0bef8ec54a73 rdf:first N9cfbb5bc385f47b3ad6177168d704356
85 rdf:rest Nb4c254f4080f40d0838165bb442f991c
86 N5f629d63420941e58bfa705582dcc4f5 rdf:first sg:person.013146116631.23
87 rdf:rest N21babd7a0e0547e695a474e8107356a8
88 N6247b1c7e86a4b4a9837461eda6fe545 schema:familyName McLeod
89 schema:givenName Dennis
90 rdf:type schema:Person
91 N6a55247aa37a44eb84bc7a9d3e45c360 schema:familyName Strous
92 schema:givenName Leon
93 rdf:type schema:Person
94 N6f8fab9a0cc84be098534a3b6f07e9c7 rdf:first N3e9530f0440546b8aec888c1529f305c
95 rdf:rest Nf7e99538b53c48ada69db664ef302f85
96 N75681d2f33b3464990db47f0396eefcf schema:familyName King
97 schema:givenName Roger
98 rdf:type schema:Person
99 N79fb39a57454413793bacb78af1b0fa1 schema:name Springer Nature - SN SciGraph project
100 rdf:type schema:Organization
101 N8f2072d2186a413faa1809a7d6659847 schema:name doi
102 schema:value 10.1007/978-3-540-30567-5_1
103 rdf:type schema:PropertyValue
104 N9a6e86e82f514894b11a4766267ce059 rdf:first sg:person.011242774163.21
105 rdf:rest N5f629d63420941e58bfa705582dcc4f5
106 N9cfbb5bc385f47b3ad6177168d704356 schema:familyName Spaccapietra
107 schema:givenName Stefano
108 rdf:type schema:Person
109 Nb4c254f4080f40d0838165bb442f991c rdf:first N103fca519a7642d78e95083cde9c1513
110 rdf:rest N6f8fab9a0cc84be098534a3b6f07e9c7
111 Nba0860033c174f9dbe68b4a5d8d5b93e schema:name dimensions_id
112 schema:value pub.1040042339
113 rdf:type schema:PropertyValue
114 Nceca439e66ed46a7aaaa88163939c034 rdf:first N6a55247aa37a44eb84bc7a9d3e45c360
115 rdf:rest rdf:nil
116 Nee89fb9886174c4abc5de913c9f63b2e rdf:first N37f01ea1f40344fb8ce3fc081a82d38d
117 rdf:rest Nceca439e66ed46a7aaaa88163939c034
118 Nf7e99538b53c48ada69db664ef302f85 rdf:first N75681d2f33b3464990db47f0396eefcf
119 rdf:rest Nfc9dc6bdfd31448bac723e8983230d1a
120 Nfc9dc6bdfd31448bac723e8983230d1a rdf:first N6247b1c7e86a4b4a9837461eda6fe545
121 rdf:rest Nee89fb9886174c4abc5de913c9f63b2e
122 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
123 schema:name Information and Computing Sciences
124 rdf:type schema:DefinedTerm
125 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
126 schema:name Information Systems
127 rdf:type schema:DefinedTerm
128 sg:person.011242774163.21 schema:affiliation grid-institutes:grid.7892.4
129 schema:familyName Volz
130 schema:givenName Raphael
131 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011242774163.21
132 rdf:type schema:Person
133 sg:person.013146116631.23 schema:affiliation grid-institutes:grid.7892.4
134 schema:familyName Staab
135 schema:givenName Steffen
136 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013146116631.23
137 rdf:type schema:Person
138 sg:person.07401076267.36 schema:affiliation grid-institutes:grid.7892.4
139 schema:familyName Motik
140 schema:givenName Boris
141 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36
142 rdf:type schema:Person
143 grid-institutes:grid.7892.4 schema:alternateName FZI, University of Karlsruhe, Germany
144 Institute AIFB, University of Karlsruhe, Germany
145 schema:name FZI, University of Karlsruhe, Germany
146 Institute AIFB, University of Karlsruhe, Germany
147 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...