Fixpoint Evaluation with Subsumption for Probabilistic Uncertainty View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1993

AUTHORS

Werner Kießling , Gerhard Köstler , Ulrich Güntzer

ABSTRACT

The deep complexity of uncertain data modelling has resisted to general solutions so far. Instead, a diversity of modelling approaches has been proposed over the years, but few systems actually have been built. The DUCK calculus is one recent ambitious rule-based attempt to model uncertainty on the grounds of established probability theory as typically used e.g. in medical diagnosis. This paper describes how deductive database technology can be exploited for prototyping of a system for uncertain reasoning. In particular we discuss the issues of ADT-ideas in Datalog by using interpreted predicates. Moreover we show that for safety reasons logic programming and current Datalog optimizers must be upgraded to deal with semantic optimization in form of subsumption. New differential least fixpoint operators, customized for subsumption optimization, are provided. Finally we outline the design and implementation of DUCK-Demonstrator/1.1 which serves as a research vehicle for ongoing studies of uncertain reasoning phenomena and for optimization of vague queries. More... »

PAGES

316-333

Book

TITLE

Datenbanksysteme in Büro, Technik und Wissenschaft

ISBN

978-3-540-56487-4
978-3-642-86096-6

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-86096-6_22

DOI

http://dx.doi.org/10.1007/978-3-642-86096-6_22

DIMENSIONS

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


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": "Technical University Munich", 
          "id": "https://www.grid.ac/institutes/grid.6936.a", 
          "name": [
            "Fakult\u00e4t f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Orleansstr. 34, 8000\u00a0M\u00fcnchen 80, Germany"
          ], 
          "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": "Technical University Munich", 
          "id": "https://www.grid.ac/institutes/grid.6936.a", 
          "name": [
            "Fakult\u00e4t f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Orleansstr. 34, 8000\u00a0M\u00fcnchen 80, 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 T\u00fcbingen", 
          "id": "https://www.grid.ac/institutes/grid.10392.39", 
          "name": [
            "Wilhelm-Schickard-Institut, Universit\u00e4t T\u00fcbingen, Sand 13, 7400\u00a0T\u00fcbingen 1, 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.1145/73721.73738", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1020619232"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0004-3702(90)90060-d", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1021522393"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0004-3702(90)90060-d", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1021522393"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0167-9236(92)90038-q", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1021843841"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0167-9236(92)90038-q", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1021843841"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0022-0000(89)90005-6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034291301"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1111/j.1467-8640.1991.tb00391.x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035612991"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1111/j.1467-8640.1991.tb00391.x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035612991"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1993", 
    "datePublishedReg": "1993-01-01", 
    "description": "The deep complexity of uncertain data modelling has resisted to general solutions so far. Instead, a diversity of modelling approaches has been proposed over the years, but few systems actually have been built. The DUCK calculus is one recent ambitious rule-based attempt to model uncertainty on the grounds of established probability theory as typically used e.g. in medical diagnosis. This paper describes how deductive database technology can be exploited for prototyping of a system for uncertain reasoning. In particular we discuss the issues of ADT-ideas in Datalog by using interpreted predicates. Moreover we show that for safety reasons logic programming and current Datalog optimizers must be upgraded to deal with semantic optimization in form of subsumption. New differential least fixpoint operators, customized for subsumption optimization, are provided. Finally we outline the design and implementation of DUCK-Demonstrator/1.1 which serves as a research vehicle for ongoing studies of uncertain reasoning phenomena and for optimization of vague queries.", 
    "editor": [
      {
        "familyName": "Stucky", 
        "givenName": "Wolffried", 
        "type": "Person"
      }, 
      {
        "familyName": "Oberweis", 
        "givenName": "Andreas", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-86096-6_22", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-56487-4", 
        "978-3-642-86096-6"
      ], 
      "name": "Datenbanksysteme in B\u00fcro, Technik und Wissenschaft", 
      "type": "Book"
    }, 
    "name": "Fixpoint Evaluation with Subsumption for Probabilistic Uncertainty", 
    "pagination": "316-333", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-86096-6_22"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "a3a0f23b1cdfee575906325a47adabc945c61675dee49c318d887bb532010726"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1034349834"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-86096-6_22", 
      "https://app.dimensions.ai/details/publication/pub.1034349834"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T15:22", 
    "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_8672_00000264.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-642-86096-6_22"
  }
]
 

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-642-86096-6_22'

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-642-86096-6_22'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-86096-6_22'

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-642-86096-6_22'


 

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

102 TRIPLES      23 PREDICATES      32 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-86096-6_22 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author N953963c896aa47bdaa088de91c70fc12
4 schema:citation https://doi.org/10.1016/0004-3702(90)90060-d
5 https://doi.org/10.1016/0022-0000(89)90005-6
6 https://doi.org/10.1016/0167-9236(92)90038-q
7 https://doi.org/10.1111/j.1467-8640.1991.tb00391.x
8 https://doi.org/10.1145/73721.73738
9 schema:datePublished 1993
10 schema:datePublishedReg 1993-01-01
11 schema:description The deep complexity of uncertain data modelling has resisted to general solutions so far. Instead, a diversity of modelling approaches has been proposed over the years, but few systems actually have been built. The DUCK calculus is one recent ambitious rule-based attempt to model uncertainty on the grounds of established probability theory as typically used e.g. in medical diagnosis. This paper describes how deductive database technology can be exploited for prototyping of a system for uncertain reasoning. In particular we discuss the issues of ADT-ideas in Datalog by using interpreted predicates. Moreover we show that for safety reasons logic programming and current Datalog optimizers must be upgraded to deal with semantic optimization in form of subsumption. New differential least fixpoint operators, customized for subsumption optimization, are provided. Finally we outline the design and implementation of DUCK-Demonstrator/1.1 which serves as a research vehicle for ongoing studies of uncertain reasoning phenomena and for optimization of vague queries.
12 schema:editor N3a557f38e9ae472fa2e990e690bac097
13 schema:genre chapter
14 schema:inLanguage en
15 schema:isAccessibleForFree false
16 schema:isPartOf N1d4719a2b6e640c3bac8ccddce26658c
17 schema:name Fixpoint Evaluation with Subsumption for Probabilistic Uncertainty
18 schema:pagination 316-333
19 schema:productId N4f5de593b722447389779edff709b108
20 N704affea9655459baac96610c413ac07
21 Na3f5734284cd4d6088097680e450ce84
22 schema:publisher N04b0254148ad48ef9917caaf21efeca6
23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034349834
24 https://doi.org/10.1007/978-3-642-86096-6_22
25 schema:sdDatePublished 2019-04-15T15:22
26 schema:sdLicense https://scigraph.springernature.com/explorer/license/
27 schema:sdPublisher Ne52b3a6686e248ccbaad4b1365e7e64b
28 schema:url http://link.springer.com/10.1007/978-3-642-86096-6_22
29 sgo:license sg:explorer/license/
30 sgo:sdDataset chapters
31 rdf:type schema:Chapter
32 N03f6b052b8364b31aa6bfd316f645686 rdf:first sg:person.011546231525.30
33 rdf:rest Nb52324d7b732440fab05c49a7a2c49db
34 N04b0254148ad48ef9917caaf21efeca6 schema:location Berlin, Heidelberg
35 schema:name Springer Berlin Heidelberg
36 rdf:type schema:Organisation
37 N1d4719a2b6e640c3bac8ccddce26658c schema:isbn 978-3-540-56487-4
38 978-3-642-86096-6
39 schema:name Datenbanksysteme in Büro, Technik und Wissenschaft
40 rdf:type schema:Book
41 N3a557f38e9ae472fa2e990e690bac097 rdf:first Na08ae96e132946ceab25b69b96e3ce7d
42 rdf:rest Na81d8adfabb24ecc97ebac784bef0ba3
43 N4f5de593b722447389779edff709b108 schema:name readcube_id
44 schema:value a3a0f23b1cdfee575906325a47adabc945c61675dee49c318d887bb532010726
45 rdf:type schema:PropertyValue
46 N704affea9655459baac96610c413ac07 schema:name doi
47 schema:value 10.1007/978-3-642-86096-6_22
48 rdf:type schema:PropertyValue
49 N8d73f10e40384a11942a56347232fdcb schema:familyName Oberweis
50 schema:givenName Andreas
51 rdf:type schema:Person
52 N953963c896aa47bdaa088de91c70fc12 rdf:first sg:person.07355710125.73
53 rdf:rest N03f6b052b8364b31aa6bfd316f645686
54 Na08ae96e132946ceab25b69b96e3ce7d schema:familyName Stucky
55 schema:givenName Wolffried
56 rdf:type schema:Person
57 Na3f5734284cd4d6088097680e450ce84 schema:name dimensions_id
58 schema:value pub.1034349834
59 rdf:type schema:PropertyValue
60 Na81d8adfabb24ecc97ebac784bef0ba3 rdf:first N8d73f10e40384a11942a56347232fdcb
61 rdf:rest rdf:nil
62 Nb52324d7b732440fab05c49a7a2c49db rdf:first sg:person.013324511711.75
63 rdf:rest rdf:nil
64 Ne52b3a6686e248ccbaad4b1365e7e64b schema:name Springer Nature - SN SciGraph project
65 rdf:type schema:Organization
66 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
67 schema:name Information and Computing Sciences
68 rdf:type schema:DefinedTerm
69 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
70 schema:name Information Systems
71 rdf:type schema:DefinedTerm
72 sg:person.011546231525.30 schema:affiliation https://www.grid.ac/institutes/grid.6936.a
73 schema:familyName Köstler
74 schema:givenName Gerhard
75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011546231525.30
76 rdf:type schema:Person
77 sg:person.013324511711.75 schema:affiliation https://www.grid.ac/institutes/grid.10392.39
78 schema:familyName Güntzer
79 schema:givenName Ulrich
80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013324511711.75
81 rdf:type schema:Person
82 sg:person.07355710125.73 schema:affiliation https://www.grid.ac/institutes/grid.6936.a
83 schema:familyName Kießling
84 schema:givenName Werner
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07355710125.73
86 rdf:type schema:Person
87 https://doi.org/10.1016/0004-3702(90)90060-d schema:sameAs https://app.dimensions.ai/details/publication/pub.1021522393
88 rdf:type schema:CreativeWork
89 https://doi.org/10.1016/0022-0000(89)90005-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034291301
90 rdf:type schema:CreativeWork
91 https://doi.org/10.1016/0167-9236(92)90038-q schema:sameAs https://app.dimensions.ai/details/publication/pub.1021843841
92 rdf:type schema:CreativeWork
93 https://doi.org/10.1111/j.1467-8640.1991.tb00391.x schema:sameAs https://app.dimensions.ai/details/publication/pub.1035612991
94 rdf:type schema:CreativeWork
95 https://doi.org/10.1145/73721.73738 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020619232
96 rdf:type schema:CreativeWork
97 https://www.grid.ac/institutes/grid.10392.39 schema:alternateName University of Tübingen
98 schema:name Wilhelm-Schickard-Institut, Universität Tübingen, Sand 13, 7400 Tübingen 1, Germany
99 rdf:type schema:Organization
100 https://www.grid.ac/institutes/grid.6936.a schema:alternateName Technical University Munich
101 schema:name Fakultät für Informatik, Technische Universität München, Orleansstr. 34, 8000 München 80, Germany
102 rdf:type schema:Organization
 




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


...