An Experimental CLP Platform for Integrity Constraints and Abduction View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2001

AUTHORS

Slim Abdennadher , Henning Christiansen

ABSTRACT

Integrity constraint and abduction are important in query-answering systems for enhanced query processing and for expressing knowledge in databases. A straightforward characterization of the two is given in a subset of the language CHRv, originally intended for writing constraint solvers to be applied for CLP languages. This subset has a strikingly simple computational model that can be executed using existing, Prolog-based technology. Together with earlier results, this confirms CHRv as a multiparadigm platform for experimenting with combinations of top-down and bottom-up evaluation, disjunctive databases and, as shown here, integrity constraint and abduction More... »

PAGES

141-152

Book

TITLE

Flexible Query Answering Systems

ISBN

978-3-7908-1347-0
978-3-7908-1834-5

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-7908-1834-5_13

DOI

http://dx.doi.org/10.1007/978-3-7908-1834-5_13

DIMENSIONS

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


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/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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Ludwig Maximilian University of Munich", 
          "id": "https://www.grid.ac/institutes/grid.5252.0", 
          "name": [
            "Computer Science Department, University of Munich, Oettingenstr. 67, 80538\u00a0M\u00fcnchen, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Abdennadher", 
        "givenName": "Slim", 
        "id": "sg:person.010445445574.13", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Roskilde University", 
          "id": "https://www.grid.ac/institutes/grid.11702.35", 
          "name": [
            "Department of Computer Science, Roskilde University, P.O.Box 260, DK-4000\u00a0Roskilde, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Christiansen", 
        "givenName": "Henning", 
        "id": "sg:person.015500543177.87", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015500543177.87"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/0743-1066(94)90033-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1004885944"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2001", 
    "datePublishedReg": "2001-01-01", 
    "description": "Integrity constraint and abduction are important in query-answering systems for enhanced query processing and for expressing knowledge in databases. A straightforward characterization of the two is given in a subset of the language CHRv, originally intended for writing constraint solvers to be applied for CLP languages. This subset has a strikingly simple computational model that can be executed using existing, Prolog-based technology. Together with earlier results, this confirms CHRv as a multiparadigm platform for experimenting with combinations of top-down and bottom-up evaluation, disjunctive databases and, as shown here, integrity constraint and abduction", 
    "editor": [
      {
        "familyName": "Larsen", 
        "givenName": "Henrik L.", 
        "type": "Person"
      }, 
      {
        "familyName": "Andreasen", 
        "givenName": "Troels", 
        "type": "Person"
      }, 
      {
        "familyName": "Christiansen", 
        "givenName": "Henning", 
        "type": "Person"
      }, 
      {
        "familyName": "Kacprzyk", 
        "givenName": "Janusz", 
        "type": "Person"
      }, 
      {
        "familyName": "Zadro\u017cny", 
        "givenName": "S\u0142awomir", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-7908-1834-5_13", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-7908-1347-0", 
        "978-3-7908-1834-5"
      ], 
      "name": "Flexible Query Answering Systems", 
      "type": "Book"
    }, 
    "name": "An Experimental CLP Platform for Integrity Constraints and Abduction", 
    "pagination": "141-152", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-7908-1834-5_13"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "4f96f01d000d3d92264b29745d36879a03a7be6557109c4630dffb30e458f4a6"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1016704385"
        ]
      }
    ], 
    "publisher": {
      "location": "Heidelberg", 
      "name": "Physica-Verlag HD", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-7908-1834-5_13", 
      "https://app.dimensions.ai/details/publication/pub.1016704385"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T10:32", 
    "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_8659_00000253.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-7908-1834-5_13"
  }
]
 

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-7908-1834-5_13'

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-7908-1834-5_13'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-7908-1834-5_13'

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-7908-1834-5_13'


 

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

98 TRIPLES      23 PREDICATES      28 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-7908-1834-5_13 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N13f07e5acc6040739ea23ebcd1600eec
4 schema:citation https://doi.org/10.1016/0743-1066(94)90033-7
5 schema:datePublished 2001
6 schema:datePublishedReg 2001-01-01
7 schema:description Integrity constraint and abduction are important in query-answering systems for enhanced query processing and for expressing knowledge in databases. A straightforward characterization of the two is given in a subset of the language CHRv, originally intended for writing constraint solvers to be applied for CLP languages. This subset has a strikingly simple computational model that can be executed using existing, Prolog-based technology. Together with earlier results, this confirms CHRv as a multiparadigm platform for experimenting with combinations of top-down and bottom-up evaluation, disjunctive databases and, as shown here, integrity constraint and abduction
8 schema:editor N4cb98b6dd9454384a224b22e736d89b5
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree true
12 schema:isPartOf N245324fa7912472bbe209a6ea070e187
13 schema:name An Experimental CLP Platform for Integrity Constraints and Abduction
14 schema:pagination 141-152
15 schema:productId N62ceba4e893e46228cd1533bf9b1805f
16 N7ec7aa4f7394408092fd642dab96751b
17 Nf496865e84524a13944bc9d00468b0e4
18 schema:publisher N6a0e1b760684459083a252fadc2ea954
19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016704385
20 https://doi.org/10.1007/978-3-7908-1834-5_13
21 schema:sdDatePublished 2019-04-15T10:32
22 schema:sdLicense https://scigraph.springernature.com/explorer/license/
23 schema:sdPublisher N53245e6900894e5283c6eb4cb08b7be9
24 schema:url http://link.springer.com/10.1007/978-3-7908-1834-5_13
25 sgo:license sg:explorer/license/
26 sgo:sdDataset chapters
27 rdf:type schema:Chapter
28 N008031eeb0c646d5a32ef1545e7d6c77 rdf:first N24da1182b5d3460fb66039099f114631
29 rdf:rest rdf:nil
30 N13f07e5acc6040739ea23ebcd1600eec rdf:first sg:person.010445445574.13
31 rdf:rest Nc43ba2cb683440f3a77e227b53f69585
32 N245324fa7912472bbe209a6ea070e187 schema:isbn 978-3-7908-1347-0
33 978-3-7908-1834-5
34 schema:name Flexible Query Answering Systems
35 rdf:type schema:Book
36 N24da1182b5d3460fb66039099f114631 schema:familyName Zadrożny
37 schema:givenName Sławomir
38 rdf:type schema:Person
39 N403b1da5fceb4e918606d87092bbf44c rdf:first Ne15f9d09770048c4aac269411fd908b4
40 rdf:rest Ne9ddae299a054380a49942d4f513bdc2
41 N4cb98b6dd9454384a224b22e736d89b5 rdf:first N9a1010f2518342e2ae939cfe58d612b9
42 rdf:rest N403b1da5fceb4e918606d87092bbf44c
43 N53245e6900894e5283c6eb4cb08b7be9 schema:name Springer Nature - SN SciGraph project
44 rdf:type schema:Organization
45 N62ceba4e893e46228cd1533bf9b1805f schema:name dimensions_id
46 schema:value pub.1016704385
47 rdf:type schema:PropertyValue
48 N6a0e1b760684459083a252fadc2ea954 schema:location Heidelberg
49 schema:name Physica-Verlag HD
50 rdf:type schema:Organisation
51 N7ec7aa4f7394408092fd642dab96751b schema:name readcube_id
52 schema:value 4f96f01d000d3d92264b29745d36879a03a7be6557109c4630dffb30e458f4a6
53 rdf:type schema:PropertyValue
54 N925e1dcdc33343e4a67770b2ce4497c6 rdf:first Ndc862d133ca0482b8fdb7858b69743dc
55 rdf:rest N008031eeb0c646d5a32ef1545e7d6c77
56 N9a1010f2518342e2ae939cfe58d612b9 schema:familyName Larsen
57 schema:givenName Henrik L.
58 rdf:type schema:Person
59 Nc43ba2cb683440f3a77e227b53f69585 rdf:first sg:person.015500543177.87
60 rdf:rest rdf:nil
61 Nd7e327f2f2cd4c1c9df4a17e723829a9 schema:familyName Christiansen
62 schema:givenName Henning
63 rdf:type schema:Person
64 Ndc862d133ca0482b8fdb7858b69743dc schema:familyName Kacprzyk
65 schema:givenName Janusz
66 rdf:type schema:Person
67 Ne15f9d09770048c4aac269411fd908b4 schema:familyName Andreasen
68 schema:givenName Troels
69 rdf:type schema:Person
70 Ne9ddae299a054380a49942d4f513bdc2 rdf:first Nd7e327f2f2cd4c1c9df4a17e723829a9
71 rdf:rest N925e1dcdc33343e4a67770b2ce4497c6
72 Nf496865e84524a13944bc9d00468b0e4 schema:name doi
73 schema:value 10.1007/978-3-7908-1834-5_13
74 rdf:type schema:PropertyValue
75 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
76 schema:name Information and Computing Sciences
77 rdf:type schema:DefinedTerm
78 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
79 schema:name Artificial Intelligence and Image Processing
80 rdf:type schema:DefinedTerm
81 sg:person.010445445574.13 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
82 schema:familyName Abdennadher
83 schema:givenName Slim
84 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13
85 rdf:type schema:Person
86 sg:person.015500543177.87 schema:affiliation https://www.grid.ac/institutes/grid.11702.35
87 schema:familyName Christiansen
88 schema:givenName Henning
89 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015500543177.87
90 rdf:type schema:Person
91 https://doi.org/10.1016/0743-1066(94)90033-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004885944
92 rdf:type schema:CreativeWork
93 https://www.grid.ac/institutes/grid.11702.35 schema:alternateName Roskilde University
94 schema:name Department of Computer Science, Roskilde University, P.O.Box 260, DK-4000 Roskilde, Denmark
95 rdf:type schema:Organization
96 https://www.grid.ac/institutes/grid.5252.0 schema:alternateName Ludwig Maximilian University of Munich
97 schema:name Computer Science Department, University of Munich, Oettingenstr. 67, 80538 München, Germany
98 rdf:type schema:Organization
 




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


...