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", 
      "ontological entailments", 
      "implicit entailments", 
      "crucial queries", 
      "rule-enabled ontology languages", 
      "deductive database context", 
      "particular ontology language", 
      "arbitrary ontology languages", 
      "Materializations of Ontologies"
    ], 
    "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-01-01T19:09", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/chapter/chapter_149.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.

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




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


...