Ontology type: schema:Chapter
2005
AUTHORSRaphael Volz , Steffen Staab , Boris Motik
ABSTRACTThis 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... »
PAGES1-34
Journal on Data Semantics II
ISBN
978-3-540-24208-6
978-3-540-30567-5
http://scigraph.springernature.com/pub.10.1007/978-3-540-30567-5_1
DOIhttp://dx.doi.org/10.1007/978-3-540-30567-5_1
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1040042339
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
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