Fixpoint iteration with subsumption in deductive databases View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1995-03

AUTHORS

Gerhard Köstler, Werner Kiessling, Helmut Thöne, Ulrich Güntzer

ABSTRACT

Declarative languages for deductive and object-oriented databases require some high-level mechanism for specifying semantic control knowledge. This paper proposes user-supplied subsumption information as a paradigm to specify desired, prefered or useful deductions at the meta level. For this purpose we augment logic programming by subsumption relations and succeed to extend the classical theorems for least models, fixpoints and bottom-up evaluation accordingly. Moreover, we provide a differential fixpoint operator for efficient query evaluation in deductive databases. This operator discards subsumed tuples on the fly. We also exemplify the ease of use of this programming methodology. In particular, we demonstrate how heuristic AI search procedures can be integrated into deductive databases in this way. More... »

PAGES

123-148

References to SciGraph publications

  • 1987. Foundations of Logic Programming in NONE
  • 1991. Introducing knowledge representation techniques in database models in TRENDS IN ARTIFICIAL INTELLIGENCE
  • 1993. Fixpoint Evaluation with Subsumption for Probabilistic Uncertainty in DATENBANKSYSTEME IN BÜRO, TECHNIK UND WISSENSCHAFT
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/bf00961871

    DOI

    http://dx.doi.org/10.1007/bf00961871

    DIMENSIONS

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


    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 II, Universit\u00e4t Augsburg, D-86135, Augsburg, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "K\u00f6stler", 
            "givenName": "Gerhard", 
            "id": "sg:person.011546231525.30", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011546231525.30"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Augsburg", 
              "id": "https://www.grid.ac/institutes/grid.7307.3", 
              "name": [
                "Lehrstuhl f\u00fcr Informatik II, Universit\u00e4t Augsburg, D-86135, Augsburg, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Kiessling", 
            "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, D-72076, T\u00fcbingen, Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Th\u00f6ne", 
            "givenName": "Helmut", 
            "id": "sg:person.015345233121.45", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015345233121.45"
            ], 
            "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, D-72076, T\u00fcbingen, Germany"
              ], 
              "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"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1016/0022-0000(93)90021-n", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000843503"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(92)90016-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003214891"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(89)90069-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006780154"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(89)90069-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006780154"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-54712-6_249", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011355114", 
              "https://doi.org/10.1007/3-540-54712-6_249"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-83189-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016029570", 
              "https://doi.org/10.1007/978-3-642-83189-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-83189-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016029570", 
              "https://doi.org/10.1007/978-3-642-83189-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0743-1066(87)90004-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032090701"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-86096-6_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034349834", 
              "https://doi.org/10.1007/978-3-642-86096-6_22"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/78922.78924", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046535224"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(89)90036-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047777346"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(89)90036-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047777346"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2140/pjm.1955.5.285", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1069062386"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1995-03", 
        "datePublishedReg": "1995-03-01", 
        "description": "Declarative languages for deductive and object-oriented databases require some high-level mechanism for specifying semantic control knowledge. This paper proposes user-supplied subsumption information as a paradigm to specify desired, prefered or useful deductions at the meta level. For this purpose we augment logic programming by subsumption relations and succeed to extend the classical theorems for least models, fixpoints and bottom-up evaluation accordingly. Moreover, we provide a differential fixpoint operator for efficient query evaluation in deductive databases. This operator discards subsumed tuples on the fly. We also exemplify the ease of use of this programming methodology. In particular, we demonstrate how heuristic AI search procedures can be integrated into deductive databases in this way.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/bf00961871", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1327483", 
            "issn": [
              "0925-9902", 
              "1573-7675"
            ], 
            "name": "Journal of Intelligent Information Systems", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "2", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "4"
          }
        ], 
        "name": "Fixpoint iteration with subsumption in deductive databases", 
        "pagination": "123-148", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "9cbc5ee391d5bd93918dc794cd03e9396ccd566942454daf01fd2df327989b3c"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/bf00961871"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1032900728"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/bf00961871", 
          "https://app.dimensions.ai/details/publication/pub.1032900728"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-11T00:11", 
        "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_8695_00000489.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "http://link.springer.com/10.1007/BF00961871"
      }
    ]
     

    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/bf00961871'

    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/bf00961871'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bf00961871'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bf00961871'


     

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

    118 TRIPLES      21 PREDICATES      37 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/bf00961871 schema:about anzsrc-for:08
    2 anzsrc-for:0806
    3 schema:author N1054534a6c9b4945800180720754fc74
    4 schema:citation sg:pub.10.1007/3-540-54712-6_249
    5 sg:pub.10.1007/978-3-642-83189-8
    6 sg:pub.10.1007/978-3-642-86096-6_22
    7 https://doi.org/10.1016/0004-3702(89)90036-2
    8 https://doi.org/10.1016/0004-3702(89)90069-6
    9 https://doi.org/10.1016/0022-0000(93)90021-n
    10 https://doi.org/10.1016/0304-3975(92)90016-9
    11 https://doi.org/10.1016/0743-1066(87)90004-5
    12 https://doi.org/10.1145/78922.78924
    13 https://doi.org/10.2140/pjm.1955.5.285
    14 schema:datePublished 1995-03
    15 schema:datePublishedReg 1995-03-01
    16 schema:description Declarative languages for deductive and object-oriented databases require some high-level mechanism for specifying semantic control knowledge. This paper proposes user-supplied subsumption information as a paradigm to specify desired, prefered or useful deductions at the meta level. For this purpose we augment logic programming by subsumption relations and succeed to extend the classical theorems for least models, fixpoints and bottom-up evaluation accordingly. Moreover, we provide a differential fixpoint operator for efficient query evaluation in deductive databases. This operator discards subsumed tuples on the fly. We also exemplify the ease of use of this programming methodology. In particular, we demonstrate how heuristic AI search procedures can be integrated into deductive databases in this way.
    17 schema:genre research_article
    18 schema:inLanguage en
    19 schema:isAccessibleForFree false
    20 schema:isPartOf N52ca0e491dd8483085e6273c6451427d
    21 Ncdc6a9a54cdb4120a0981f7d744b5838
    22 sg:journal.1327483
    23 schema:name Fixpoint iteration with subsumption in deductive databases
    24 schema:pagination 123-148
    25 schema:productId N1ed8c732fc9244b19eb174cf25f5e656
    26 N508fbbc4350b404db194c4af373bcca9
    27 Nd7a677458c6846eba73dc855ca0eada7
    28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032900728
    29 https://doi.org/10.1007/bf00961871
    30 schema:sdDatePublished 2019-04-11T00:11
    31 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    32 schema:sdPublisher N19e73848560d4629934d3d09d264e5e1
    33 schema:url http://link.springer.com/10.1007/BF00961871
    34 sgo:license sg:explorer/license/
    35 sgo:sdDataset articles
    36 rdf:type schema:ScholarlyArticle
    37 N1054534a6c9b4945800180720754fc74 rdf:first sg:person.011546231525.30
    38 rdf:rest N6106d60c25294f36b49c0b201f463ed4
    39 N19e73848560d4629934d3d09d264e5e1 schema:name Springer Nature - SN SciGraph project
    40 rdf:type schema:Organization
    41 N1ed8c732fc9244b19eb174cf25f5e656 schema:name dimensions_id
    42 schema:value pub.1032900728
    43 rdf:type schema:PropertyValue
    44 N45eb97b1a2e543f396fe1d9506e0a368 rdf:first sg:person.013324511711.75
    45 rdf:rest rdf:nil
    46 N508fbbc4350b404db194c4af373bcca9 schema:name readcube_id
    47 schema:value 9cbc5ee391d5bd93918dc794cd03e9396ccd566942454daf01fd2df327989b3c
    48 rdf:type schema:PropertyValue
    49 N52ca0e491dd8483085e6273c6451427d schema:issueNumber 2
    50 rdf:type schema:PublicationIssue
    51 N6106d60c25294f36b49c0b201f463ed4 rdf:first sg:person.07355710125.73
    52 rdf:rest N9c7ebcfa18594721b25399aaae6471e2
    53 N9c7ebcfa18594721b25399aaae6471e2 rdf:first sg:person.015345233121.45
    54 rdf:rest N45eb97b1a2e543f396fe1d9506e0a368
    55 Ncdc6a9a54cdb4120a0981f7d744b5838 schema:volumeNumber 4
    56 rdf:type schema:PublicationVolume
    57 Nd7a677458c6846eba73dc855ca0eada7 schema:name doi
    58 schema:value 10.1007/bf00961871
    59 rdf:type schema:PropertyValue
    60 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    61 schema:name Information and Computing Sciences
    62 rdf:type schema:DefinedTerm
    63 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
    64 schema:name Information Systems
    65 rdf:type schema:DefinedTerm
    66 sg:journal.1327483 schema:issn 0925-9902
    67 1573-7675
    68 schema:name Journal of Intelligent Information Systems
    69 rdf:type schema:Periodical
    70 sg:person.011546231525.30 schema:affiliation https://www.grid.ac/institutes/grid.7307.3
    71 schema:familyName Köstler
    72 schema:givenName Gerhard
    73 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011546231525.30
    74 rdf:type schema:Person
    75 sg:person.013324511711.75 schema:affiliation https://www.grid.ac/institutes/grid.10392.39
    76 schema:familyName Güntzer
    77 schema:givenName Ulrich
    78 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013324511711.75
    79 rdf:type schema:Person
    80 sg:person.015345233121.45 schema:affiliation https://www.grid.ac/institutes/grid.10392.39
    81 schema:familyName Thöne
    82 schema:givenName Helmut
    83 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015345233121.45
    84 rdf:type schema:Person
    85 sg:person.07355710125.73 schema:affiliation https://www.grid.ac/institutes/grid.7307.3
    86 schema:familyName Kiessling
    87 schema:givenName Werner
    88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07355710125.73
    89 rdf:type schema:Person
    90 sg:pub.10.1007/3-540-54712-6_249 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011355114
    91 https://doi.org/10.1007/3-540-54712-6_249
    92 rdf:type schema:CreativeWork
    93 sg:pub.10.1007/978-3-642-83189-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016029570
    94 https://doi.org/10.1007/978-3-642-83189-8
    95 rdf:type schema:CreativeWork
    96 sg:pub.10.1007/978-3-642-86096-6_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034349834
    97 https://doi.org/10.1007/978-3-642-86096-6_22
    98 rdf:type schema:CreativeWork
    99 https://doi.org/10.1016/0004-3702(89)90036-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047777346
    100 rdf:type schema:CreativeWork
    101 https://doi.org/10.1016/0004-3702(89)90069-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006780154
    102 rdf:type schema:CreativeWork
    103 https://doi.org/10.1016/0022-0000(93)90021-n schema:sameAs https://app.dimensions.ai/details/publication/pub.1000843503
    104 rdf:type schema:CreativeWork
    105 https://doi.org/10.1016/0304-3975(92)90016-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003214891
    106 rdf:type schema:CreativeWork
    107 https://doi.org/10.1016/0743-1066(87)90004-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032090701
    108 rdf:type schema:CreativeWork
    109 https://doi.org/10.1145/78922.78924 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046535224
    110 rdf:type schema:CreativeWork
    111 https://doi.org/10.2140/pjm.1955.5.285 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069062386
    112 rdf:type schema:CreativeWork
    113 https://www.grid.ac/institutes/grid.10392.39 schema:alternateName University of Tübingen
    114 schema:name Wilhelm-Schickard-Institut, Universität Tübingen, D-72076, Tübingen, Germany
    115 rdf:type schema:Organization
    116 https://www.grid.ac/institutes/grid.7307.3 schema:alternateName University of Augsburg
    117 schema:name Lehrstuhl für Informatik II, Universität Augsburg, D-86135, Augsburg, Germany
    118 rdf:type schema:Organization
     




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


    ...