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


Ontology type: schema:Chapter     


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

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/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/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "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": "Lehrstuhl f\u00fcr Informatik 2, Universit\u00e4t Augsburg, D-86135, Augsburg", 
          "id": "http://www.grid.ac/institutes/grid.7307.3", 
          "name": [
            "Lehrstuhl f\u00fcr Informatik 2, Universit\u00e4t Augsburg, D-86135, Augsburg"
          ], 
          "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": "Wilhelm-Schickard-Institut, Universit\u00e4t T\u00fcbingen, Sand 13, D-72076, T\u00fcbingen", 
          "id": "http://www.grid.ac/institutes/grid.10392.39", 
          "name": [
            "Wilhelm-Schickard-Institut, Universit\u00e4t T\u00fcbingen, Sand 13, D-72076, T\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": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-57802-4", 
        "978-3-540-48335-9"
      ], 
      "name": "Management and Processing of Complex Data Structures", 
      "type": "Book"
    }, 
    "keywords": [
      "database reasoning", 
      "deductive databases", 
      "efficient query processing method", 
      "query processing method", 
      "deductive database system", 
      "semantic knowledge", 
      "intelligent search procedure", 
      "complex problems", 
      "database environment", 
      "language extensions", 
      "database systems", 
      "relational database", 
      "logic programming", 
      "heuristic search", 
      "heuristic information", 
      "object level", 
      "fixpoint semantics", 
      "search procedure", 
      "deductive framework", 
      "development efforts", 
      "reasoning", 
      "processing methods", 
      "database", 
      "AI", 
      "Datalog", 
      "semantics", 
      "information", 
      "programming", 
      "subsumption", 
      "knowledge", 
      "framework", 
      "technology", 
      "optimization", 
      "search", 
      "environment", 
      "system", 
      "extension", 
      "decades of experience", 
      "method", 
      "efforts", 
      "notion", 
      "power", 
      "research", 
      "substantial amount", 
      "attention", 
      "decades", 
      "experience", 
      "means", 
      "amount", 
      "procedure", 
      "form", 
      "levels", 
      "potential", 
      "problem", 
      "approach", 
      "paper", 
      "query optimizer technology", 
      "optimizer technology", 
      "more user-supplied semantic knowledge", 
      "user-supplied semantic knowledge", 
      "meta-control level", 
      "application-specific semantic knowledge", 
      "subsumption information", 
      "means of subsumption"
    ], 
    "name": "Database reasoning \u2014 A deductive framework for solving large and complex problems by means of subsumption", 
    "pagination": "118-138", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1034431316"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-57802-1_7"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-57802-1_7", 
      "https://app.dimensions.ai/details/publication/pub.1034431316"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T19:55", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_123.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/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.

147 TRIPLES      23 PREDICATES      92 URIs      83 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-57802-1_7 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 anzsrc-for:0802
4 anzsrc-for:0806
5 schema:author Na3d471344be840758df0eedb025d2cdf
6 schema:datePublished 1994
7 schema:datePublishedReg 1994-01-01
8 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.
9 schema:editor Ne7f72df639ff4dd79f547e1efb9b21bf
10 schema:genre chapter
11 schema:inLanguage en
12 schema:isAccessibleForFree false
13 schema:isPartOf N14449fb636e0465cb31620ff81cc67eb
14 schema:keywords AI
15 Datalog
16 amount
17 application-specific semantic knowledge
18 approach
19 attention
20 complex problems
21 database
22 database environment
23 database reasoning
24 database systems
25 decades
26 decades of experience
27 deductive database system
28 deductive databases
29 deductive framework
30 development efforts
31 efficient query processing method
32 efforts
33 environment
34 experience
35 extension
36 fixpoint semantics
37 form
38 framework
39 heuristic information
40 heuristic search
41 information
42 intelligent search procedure
43 knowledge
44 language extensions
45 levels
46 logic programming
47 means
48 means of subsumption
49 meta-control level
50 method
51 more user-supplied semantic knowledge
52 notion
53 object level
54 optimization
55 optimizer technology
56 paper
57 potential
58 power
59 problem
60 procedure
61 processing methods
62 programming
63 query optimizer technology
64 query processing method
65 reasoning
66 relational database
67 research
68 search
69 search procedure
70 semantic knowledge
71 semantics
72 substantial amount
73 subsumption
74 subsumption information
75 system
76 technology
77 user-supplied semantic knowledge
78 schema:name Database reasoning — A deductive framework for solving large and complex problems by means of subsumption
79 schema:pagination 118-138
80 schema:productId Nd34f74b4fd5e40ec95faafc23239af45
81 Nd99153312c7545ab802a2d6257261377
82 schema:publisher N4d7626197e6b49c784698c3a65d3c626
83 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034431316
84 https://doi.org/10.1007/3-540-57802-1_7
85 schema:sdDatePublished 2021-12-01T19:55
86 schema:sdLicense https://scigraph.springernature.com/explorer/license/
87 schema:sdPublisher Naaab9212c8c744078a7057550ead1f3c
88 schema:url https://doi.org/10.1007/3-540-57802-1_7
89 sgo:license sg:explorer/license/
90 sgo:sdDataset chapters
91 rdf:type schema:Chapter
92 N00f19df03323435498208d86c67dbc4d rdf:first sg:person.013324511711.75
93 rdf:rest rdf:nil
94 N14449fb636e0465cb31620ff81cc67eb schema:isbn 978-3-540-48335-9
95 978-3-540-57802-4
96 schema:name Management and Processing of Complex Data Structures
97 rdf:type schema:Book
98 N4d7626197e6b49c784698c3a65d3c626 schema:name Springer Nature
99 rdf:type schema:Organisation
100 N9d335b2b69e949069485a8d1989d4ece rdf:first Na91685d589ce46929e7176d0af98779b
101 rdf:rest rdf:nil
102 Na3d471344be840758df0eedb025d2cdf rdf:first sg:person.07355710125.73
103 rdf:rest N00f19df03323435498208d86c67dbc4d
104 Na91685d589ce46929e7176d0af98779b schema:familyName Marburger
105 schema:givenName Heinz
106 rdf:type schema:Person
107 Naaab9212c8c744078a7057550ead1f3c schema:name Springer Nature - SN SciGraph project
108 rdf:type schema:Organization
109 Nd34f74b4fd5e40ec95faafc23239af45 schema:name dimensions_id
110 schema:value pub.1034431316
111 rdf:type schema:PropertyValue
112 Nd99153312c7545ab802a2d6257261377 schema:name doi
113 schema:value 10.1007/3-540-57802-1_7
114 rdf:type schema:PropertyValue
115 Ndb44b4bbd0544e84a732a853b9f605a5 schema:familyName Luck
116 schema:givenName Kai
117 rdf:type schema:Person
118 Ne7f72df639ff4dd79f547e1efb9b21bf rdf:first Ndb44b4bbd0544e84a732a853b9f605a5
119 rdf:rest N9d335b2b69e949069485a8d1989d4ece
120 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
121 schema:name Information and Computing Sciences
122 rdf:type schema:DefinedTerm
123 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
124 schema:name Artificial Intelligence and Image Processing
125 rdf:type schema:DefinedTerm
126 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
127 schema:name Computation Theory and Mathematics
128 rdf:type schema:DefinedTerm
129 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
130 schema:name Information Systems
131 rdf:type schema:DefinedTerm
132 sg:person.013324511711.75 schema:affiliation grid-institutes:grid.10392.39
133 schema:familyName Güntzer
134 schema:givenName Ulrich
135 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013324511711.75
136 rdf:type schema:Person
137 sg:person.07355710125.73 schema:affiliation grid-institutes:grid.7307.3
138 schema:familyName Kießling
139 schema:givenName Werner
140 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07355710125.73
141 rdf:type schema:Person
142 grid-institutes:grid.10392.39 schema:alternateName Wilhelm-Schickard-Institut, Universität Tübingen, Sand 13, D-72076, Tübingen
143 schema:name Wilhelm-Schickard-Institut, Universität Tübingen, Sand 13, D-72076, Tübingen
144 rdf:type schema:Organization
145 grid-institutes:grid.7307.3 schema:alternateName Lehrstuhl für Informatik 2, Universität Augsburg, D-86135, Augsburg
146 schema:name Lehrstuhl für Informatik 2, Universität Augsburg, D-86135, Augsburg
147 rdf:type schema:Organization
 




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


...