Database reasoning — A deductive framework for solving large and complex problems by means of subsumption View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1994

AUTHORS

Werner Kießling , Ulrich Güntzer

ABSTRACT

After two decades of experience with relational databases and almost one decade with deductive databases a substantial amount of knowledge for efficient query processing methods and query optimizer technology is broadly available. So far, however, these research and development efforts have not paid too much attention to optimizations based on semantic or heuristic information as it is often demanded in AI. This paper coins the notion of database reasoning as an approach to open deductive databases for more user-supplied semantic knowledge, both on the object level and meta-control level. We describe how application-specific semantic knowledge in the form of subsumption information can be combined with logic programming and fixpoint semantics, proposing the Datalog-S language extension. We experiment also with declarative meta-programming, specifying intelligent search procedures known from AI and executing them in a deductive database system. Thus database reasoning has the potential to amalgamate the power of deductive databases and of heuristic search, hence it can be applied for solving large and complex problems in a database environment. More... »

PAGES

118-138

Book

TITLE

Management and Processing of Complex Data Structures

ISBN

978-3-540-57802-4
978-3-540-48335-9

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-57802-1_7

DOI

http://dx.doi.org/10.1007/3-540-57802-1_7

DIMENSIONS

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


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/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Augsburg", 
          "id": "https://www.grid.ac/institutes/grid.7307.3", 
          "name": [
            "Lehrstuhl f\u00fcr Informatik 2, Universit\u00e4t Augsburg, D-86135\u00a0Augsburg"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kie\u00dfling", 
        "givenName": "Werner", 
        "id": "sg:person.07355710125.73", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07355710125.73"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of T\u00fcbingen", 
          "id": "https://www.grid.ac/institutes/grid.10392.39", 
          "name": [
            "Wilhelm-Schickard-Institut, Universit\u00e4t T\u00fcbingen, Sand 13, D-72076\u00a0T\u00fcbingen"
          ], 
          "type": "Organization"
        }, 
        "familyName": "G\u00fcntzer", 
        "givenName": "Ulrich", 
        "id": "sg:person.013324511711.75", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013324511711.75"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1994", 
    "datePublishedReg": "1994-01-01", 
    "description": "After two decades of experience with relational databases and almost one decade with deductive databases a substantial amount of knowledge for efficient query processing methods and query optimizer technology is broadly available. So far, however, these research and development efforts have not paid too much attention to optimizations based on semantic or heuristic information as it is often demanded in AI. This paper coins the notion of database reasoning as an approach to open deductive databases for more user-supplied semantic knowledge, both on the object level and meta-control level. We describe how application-specific semantic knowledge in the form of subsumption information can be combined with logic programming and fixpoint semantics, proposing the Datalog-S language extension. We experiment also with declarative meta-programming, specifying intelligent search procedures known from AI and executing them in a deductive database system. Thus database reasoning has the potential to amalgamate the power of deductive databases and of heuristic search, hence it can be applied for solving large and complex problems in a database environment.", 
    "editor": [
      {
        "familyName": "Luck", 
        "givenName": "Kai", 
        "type": "Person"
      }, 
      {
        "familyName": "Marburger", 
        "givenName": "Heinz", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-57802-1_7", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-57802-4", 
        "978-3-540-48335-9"
      ], 
      "name": "Management and Processing of Complex Data Structures", 
      "type": "Book"
    }, 
    "name": "Database reasoning \u2014 A deductive framework for solving large and complex problems by means of subsumption", 
    "pagination": "118-138", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-57802-1_7"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "a4044e890c5eea95d4ca199d7796047dbd287fdf52b18fa49dccbef40caa105d"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1034431316"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-57802-1_7", 
      "https://app.dimensions.ai/details/publication/pub.1034431316"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T14:12", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8669_00000059.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-57802-1_7"
  }
]
 

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/3-540-57802-1_7'

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/3-540-57802-1_7'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-57802-1_7'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-57802-1_7'


 

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

80 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-57802-1_7 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author Nc09a9e56c7ee49249e879fa9b7011154
4 schema:datePublished 1994
5 schema:datePublishedReg 1994-01-01
6 schema:description After two decades of experience with relational databases and almost one decade with deductive databases a substantial amount of knowledge for efficient query processing methods and query optimizer technology is broadly available. So far, however, these research and development efforts have not paid too much attention to optimizations based on semantic or heuristic information as it is often demanded in AI. This paper coins the notion of database reasoning as an approach to open deductive databases for more user-supplied semantic knowledge, both on the object level and meta-control level. We describe how application-specific semantic knowledge in the form of subsumption information can be combined with logic programming and fixpoint semantics, proposing the Datalog-S language extension. We experiment also with declarative meta-programming, specifying intelligent search procedures known from AI and executing them in a deductive database system. Thus database reasoning has the potential to amalgamate the power of deductive databases and of heuristic search, hence it can be applied for solving large and complex problems in a database environment.
7 schema:editor N181329bd01e746f18dd54cb3c35393b0
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf Nc35877b66fc243f4bb1563c3b7ac6417
12 schema:name Database reasoning — A deductive framework for solving large and complex problems by means of subsumption
13 schema:pagination 118-138
14 schema:productId N8713d80c33f64a248d0aabf597361de6
15 Nd91c14825793495c9db933a3e056fe91
16 Nded491864a414b4eaddc0203509aff34
17 schema:publisher N32ed1518f01f42fa8b60c083b46f255a
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034431316
19 https://doi.org/10.1007/3-540-57802-1_7
20 schema:sdDatePublished 2019-04-15T14:12
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher N99df644291d9440a95ffb2dd186c3f22
23 schema:url http://link.springer.com/10.1007/3-540-57802-1_7
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N126c23df1f254428b7b76d32d4f6909b rdf:first N7f701613f83e4e22af40568d91686a0e
28 rdf:rest rdf:nil
29 N181329bd01e746f18dd54cb3c35393b0 rdf:first Na5eff5b9ee7b4eff94c782b7d59874e6
30 rdf:rest N126c23df1f254428b7b76d32d4f6909b
31 N32ed1518f01f42fa8b60c083b46f255a schema:location Berlin, Heidelberg
32 schema:name Springer Berlin Heidelberg
33 rdf:type schema:Organisation
34 N7f701613f83e4e22af40568d91686a0e schema:familyName Marburger
35 schema:givenName Heinz
36 rdf:type schema:Person
37 N8713d80c33f64a248d0aabf597361de6 schema:name dimensions_id
38 schema:value pub.1034431316
39 rdf:type schema:PropertyValue
40 N9780c780cc7f411d968bdaa5b3884d25 rdf:first sg:person.013324511711.75
41 rdf:rest rdf:nil
42 N99df644291d9440a95ffb2dd186c3f22 schema:name Springer Nature - SN SciGraph project
43 rdf:type schema:Organization
44 Na5eff5b9ee7b4eff94c782b7d59874e6 schema:familyName Luck
45 schema:givenName Kai
46 rdf:type schema:Person
47 Nc09a9e56c7ee49249e879fa9b7011154 rdf:first sg:person.07355710125.73
48 rdf:rest N9780c780cc7f411d968bdaa5b3884d25
49 Nc35877b66fc243f4bb1563c3b7ac6417 schema:isbn 978-3-540-48335-9
50 978-3-540-57802-4
51 schema:name Management and Processing of Complex Data Structures
52 rdf:type schema:Book
53 Nd91c14825793495c9db933a3e056fe91 schema:name readcube_id
54 schema:value a4044e890c5eea95d4ca199d7796047dbd287fdf52b18fa49dccbef40caa105d
55 rdf:type schema:PropertyValue
56 Nded491864a414b4eaddc0203509aff34 schema:name doi
57 schema:value 10.1007/3-540-57802-1_7
58 rdf:type schema:PropertyValue
59 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
60 schema:name Information and Computing Sciences
61 rdf:type schema:DefinedTerm
62 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
63 schema:name Information Systems
64 rdf:type schema:DefinedTerm
65 sg:person.013324511711.75 schema:affiliation https://www.grid.ac/institutes/grid.10392.39
66 schema:familyName Güntzer
67 schema:givenName Ulrich
68 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013324511711.75
69 rdf:type schema:Person
70 sg:person.07355710125.73 schema:affiliation https://www.grid.ac/institutes/grid.7307.3
71 schema:familyName Kießling
72 schema:givenName Werner
73 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07355710125.73
74 rdf:type schema:Person
75 https://www.grid.ac/institutes/grid.10392.39 schema:alternateName University of Tübingen
76 schema:name Wilhelm-Schickard-Institut, Universität Tübingen, Sand 13, D-72076 Tübingen
77 rdf:type schema:Organization
78 https://www.grid.ac/institutes/grid.7307.3 schema:alternateName University of Augsburg
79 schema:name Lehrstuhl für Informatik 2, Universität Augsburg, D-86135 Augsburg
80 rdf:type schema:Organization
 




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


...