Spatio-temporal Annotated Constraint Logic Programming View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2001-03-29

AUTHORS

Alessandra Raffaetà , Thom Frühwirth

ABSTRACT

We extend Temporal Annotated Constraint Logic Programming (TACLP) in order to obtain a framework where both temporal and spatial information can be dealt with and reasoned about. This results in a conceptually simple, uniform setting, called STACLP (Spatio-Temporal Annotated Constraint Logic Programming), where temporal and spatial data are represented by means of annotations that label atomic first- order formulae. The expressiveness and conciseness of the approach are illustrated by means of some examples: Definite, periodic and indefinite spatio-temporal information involving time-varying objects and properties can be handled in a natural way. More... »

PAGES

259-273

References to SciGraph publications

Book

TITLE

Practical Aspects of Declarative Languages

ISBN

978-3-540-41768-2
978-3-540-45241-6

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-45241-9_18

DOI

http://dx.doi.org/10.1007/3-540-45241-9_18

DIMENSIONS

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


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": "Ludwig Maximilian University of Munich", 
          "id": "https://www.grid.ac/institutes/grid.5252.0", 
          "name": [
            "Institut f\u00fcr Informatik - Ludwig-Maximilians, Universit\u00e4t M\u00fcnchen, M\u00fcnchen"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Raffaet\u00e0", 
        "givenName": "Alessandra", 
        "id": "sg:person.011433704744.55", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011433704744.55"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Pisa", 
          "id": "https://www.grid.ac/institutes/grid.5395.a", 
          "name": [
            "Dipartimento di Informatica, Universit\u00e0 di Pisa, Pisa"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Fr\u00fchwirth", 
        "givenName": "Thom", 
        "id": "sg:person.013750414271.15", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/3-540-58907-4_2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009003953", 
          "https://doi.org/10.1007/3-540-58907-4_2"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/288692.288712", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1011171337"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0014004", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1014639813", 
          "https://doi.org/10.1007/bfb0014004"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0014004", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1014639813", 
          "https://doi.org/10.1007/bfb0014004"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1023/a:1009849314891", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018493052", 
          "https://doi.org/10.1023/a:1009849314891"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/jcss.1995.1051", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1021703969"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01231602", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1042058432", 
          "https://doi.org/10.1007/bf01231602"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01231602", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1042058432", 
          "https://doi.org/10.1007/bf01231602"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-94-011-4040-9_9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043571848", 
          "https://doi.org/10.1007/978-94-011-4040-9_9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-94-011-4040-9_9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043571848", 
          "https://doi.org/10.1007/978-94-011-4040-9_9"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/jsco.1996.0066", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052488690"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/69.729722", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061213700"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1110622512", 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2001-03-29", 
    "datePublishedReg": "2001-03-29", 
    "description": "We extend Temporal Annotated Constraint Logic Programming (TACLP) in order to obtain a framework where both temporal and spatial information can be dealt with and reasoned about. This results in a conceptually simple, uniform setting, called STACLP (Spatio-Temporal Annotated Constraint Logic Programming), where temporal and spatial data are represented by means of annotations that label atomic first- order formulae. The expressiveness and conciseness of the approach are illustrated by means of some examples: Definite, periodic and indefinite spatio-temporal information involving time-varying objects and properties can be handled in a natural way.", 
    "editor": [
      {
        "familyName": "Ramakrishnan", 
        "givenName": "I. V.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-45241-9_18", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-41768-2", 
        "978-3-540-45241-6"
      ], 
      "name": "Practical Aspects of Declarative Languages", 
      "type": "Book"
    }, 
    "name": "Spatio-temporal Annotated Constraint Logic Programming", 
    "pagination": "259-273", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-45241-9_18"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "bd1d82a0b8e046743bae0b1d76281d9bdc9bc78e06253f9f9884f1c34d4793c1"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1039700471"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-45241-9_18", 
      "https://app.dimensions.ai/details/publication/pub.1039700471"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T05:24", 
    "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/0000000345_0000000345/records_64085_00000001.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F3-540-45241-9_18"
  }
]
 

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-45241-9_18'

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-45241-9_18'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-45241-9_18'

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-45241-9_18'


 

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

109 TRIPLES      23 PREDICATES      36 URIs      19 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-45241-9_18 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author Ne8e5317aedf648d88d37822bfb91d460
4 schema:citation sg:pub.10.1007/3-540-58907-4_2
5 sg:pub.10.1007/978-94-011-4040-9_9
6 sg:pub.10.1007/bf01231602
7 sg:pub.10.1007/bfb0014004
8 sg:pub.10.1023/a:1009849314891
9 https://app.dimensions.ai/details/publication/pub.1110622512
10 https://doi.org/10.1006/jcss.1995.1051
11 https://doi.org/10.1006/jsco.1996.0066
12 https://doi.org/10.1109/69.729722
13 https://doi.org/10.1145/288692.288712
14 schema:datePublished 2001-03-29
15 schema:datePublishedReg 2001-03-29
16 schema:description We extend Temporal Annotated Constraint Logic Programming (TACLP) in order to obtain a framework where both temporal and spatial information can be dealt with and reasoned about. This results in a conceptually simple, uniform setting, called STACLP (Spatio-Temporal Annotated Constraint Logic Programming), where temporal and spatial data are represented by means of annotations that label atomic first- order formulae. The expressiveness and conciseness of the approach are illustrated by means of some examples: Definite, periodic and indefinite spatio-temporal information involving time-varying objects and properties can be handled in a natural way.
17 schema:editor N43ccb6c0298146c3bdc91e99c27d84cf
18 schema:genre chapter
19 schema:inLanguage en
20 schema:isAccessibleForFree true
21 schema:isPartOf Nbe249b78125a46a297e6dd1e9f51112b
22 schema:name Spatio-temporal Annotated Constraint Logic Programming
23 schema:pagination 259-273
24 schema:productId N6377915614394c779aaf280c0b3de5fb
25 Nb5f08eb7b2504378974fd67eaba5a079
26 Ne68343af45f54cc7a24317259925fe27
27 schema:publisher N1abccb41d7264b2e98ff41d8e153214a
28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039700471
29 https://doi.org/10.1007/3-540-45241-9_18
30 schema:sdDatePublished 2019-04-16T05:24
31 schema:sdLicense https://scigraph.springernature.com/explorer/license/
32 schema:sdPublisher N2276455d2a884d0d908af7f42b709c9b
33 schema:url https://link.springer.com/10.1007%2F3-540-45241-9_18
34 sgo:license sg:explorer/license/
35 sgo:sdDataset chapters
36 rdf:type schema:Chapter
37 N1abccb41d7264b2e98ff41d8e153214a schema:location Berlin, Heidelberg
38 schema:name Springer Berlin Heidelberg
39 rdf:type schema:Organisation
40 N2276455d2a884d0d908af7f42b709c9b schema:name Springer Nature - SN SciGraph project
41 rdf:type schema:Organization
42 N43ccb6c0298146c3bdc91e99c27d84cf rdf:first N555ac9970b3a46c793f62d4be5b33058
43 rdf:rest rdf:nil
44 N555ac9970b3a46c793f62d4be5b33058 schema:familyName Ramakrishnan
45 schema:givenName I. V.
46 rdf:type schema:Person
47 N6377915614394c779aaf280c0b3de5fb schema:name dimensions_id
48 schema:value pub.1039700471
49 rdf:type schema:PropertyValue
50 Nb5f08eb7b2504378974fd67eaba5a079 schema:name readcube_id
51 schema:value bd1d82a0b8e046743bae0b1d76281d9bdc9bc78e06253f9f9884f1c34d4793c1
52 rdf:type schema:PropertyValue
53 Nbe249b78125a46a297e6dd1e9f51112b schema:isbn 978-3-540-41768-2
54 978-3-540-45241-6
55 schema:name Practical Aspects of Declarative Languages
56 rdf:type schema:Book
57 Nd6723996dc5d49408ebaffd630f6a495 rdf:first sg:person.013750414271.15
58 rdf:rest rdf:nil
59 Ne68343af45f54cc7a24317259925fe27 schema:name doi
60 schema:value 10.1007/3-540-45241-9_18
61 rdf:type schema:PropertyValue
62 Ne8e5317aedf648d88d37822bfb91d460 rdf:first sg:person.011433704744.55
63 rdf:rest Nd6723996dc5d49408ebaffd630f6a495
64 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
65 schema:name Information and Computing Sciences
66 rdf:type schema:DefinedTerm
67 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
68 schema:name Information Systems
69 rdf:type schema:DefinedTerm
70 sg:person.011433704744.55 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
71 schema:familyName Raffaetà
72 schema:givenName Alessandra
73 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011433704744.55
74 rdf:type schema:Person
75 sg:person.013750414271.15 schema:affiliation https://www.grid.ac/institutes/grid.5395.a
76 schema:familyName Frühwirth
77 schema:givenName Thom
78 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15
79 rdf:type schema:Person
80 sg:pub.10.1007/3-540-58907-4_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009003953
81 https://doi.org/10.1007/3-540-58907-4_2
82 rdf:type schema:CreativeWork
83 sg:pub.10.1007/978-94-011-4040-9_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043571848
84 https://doi.org/10.1007/978-94-011-4040-9_9
85 rdf:type schema:CreativeWork
86 sg:pub.10.1007/bf01231602 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042058432
87 https://doi.org/10.1007/bf01231602
88 rdf:type schema:CreativeWork
89 sg:pub.10.1007/bfb0014004 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014639813
90 https://doi.org/10.1007/bfb0014004
91 rdf:type schema:CreativeWork
92 sg:pub.10.1023/a:1009849314891 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018493052
93 https://doi.org/10.1023/a:1009849314891
94 rdf:type schema:CreativeWork
95 https://app.dimensions.ai/details/publication/pub.1110622512 schema:CreativeWork
96 https://doi.org/10.1006/jcss.1995.1051 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021703969
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1006/jsco.1996.0066 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052488690
99 rdf:type schema:CreativeWork
100 https://doi.org/10.1109/69.729722 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061213700
101 rdf:type schema:CreativeWork
102 https://doi.org/10.1145/288692.288712 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011171337
103 rdf:type schema:CreativeWork
104 https://www.grid.ac/institutes/grid.5252.0 schema:alternateName Ludwig Maximilian University of Munich
105 schema:name Institut für Informatik - Ludwig-Maximilians, Universität München, München
106 rdf:type schema:Organization
107 https://www.grid.ac/institutes/grid.5395.a schema:alternateName University of Pisa
108 schema:name Dipartimento di Informatica, Università di Pisa, Pisa
109 rdf:type schema:Organization
 




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


...