A Formal Model for an Expressive Fragment of XSLT View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2000-12-15

AUTHORS

Geert Jan Bex , Sebastian Maneth , Frank Neven

ABSTRACT

The aim of this paper is two-fold. First, we want to show that the recent extension of XSL with variables and passing of data values between template rules has increased its expressiveness beyond that of most other current XML query languages. Second, in an attempt to increase the understanding of this already wide-spread but not so transparent language, we provide an essential and powerful fragment with a formal syntax and a precise semantics. More... »

PAGES

1137-1151

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-44957-4_76

DOI

http://dx.doi.org/10.1007/3-540-44957-4_76

DIMENSIONS

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


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/20", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Language, Communication and Culture", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2004", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Linguistics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Dept. WNI, Infolab, Limburgs Universitair Centrum, Universitaire Campus, B-3590, Diepenbeek, Belgium", 
          "id": "http://www.grid.ac/institutes/grid.12155.32", 
          "name": [
            "Dept. WNI, Infolab, Limburgs Universitair Centrum, Universitaire Campus, B-3590, Diepenbeek, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bex", 
        "givenName": "Geert Jan", 
        "id": "sg:person.07777231461.76", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07777231461.76"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "LIACS, Leiden University, PO Box 9512, 2300 RA, Leiden, The Netherlands", 
          "id": "http://www.grid.ac/institutes/grid.5132.5", 
          "name": [
            "LIACS, Leiden University, PO Box 9512, 2300 RA, Leiden, The Netherlands"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Maneth", 
        "givenName": "Sebastian", 
        "id": "sg:person.016240662443.33", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016240662443.33"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Dept. WNI, Infolab, Limburgs Universitair Centrum, Universitaire Campus, B-3590, Diepenbeek, Belgium", 
          "id": "http://www.grid.ac/institutes/grid.12155.32", 
          "name": [
            "Dept. WNI, Infolab, Limburgs Universitair Centrum, Universitaire Campus, B-3590, Diepenbeek, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Neven", 
        "givenName": "Frank", 
        "id": "sg:person.012454216177.42", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012454216177.42"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2000-12-15", 
    "datePublishedReg": "2000-12-15", 
    "description": "The aim of this paper is two-fold. First, we want to show that the recent extension of XSL with variables and passing of data values between template rules has increased its expressiveness beyond that of most other current XML query languages. Second, in an attempt to increase the understanding of this already wide-spread but not so transparent language, we provide an essential and powerful fragment with a formal syntax and a precise semantics.", 
    "editor": [
      {
        "familyName": "Lloyd", 
        "givenName": "John", 
        "type": "Person"
      }, 
      {
        "familyName": "Dahl", 
        "givenName": "Veronica", 
        "type": "Person"
      }, 
      {
        "familyName": "Furbach", 
        "givenName": "Ulrich", 
        "type": "Person"
      }, 
      {
        "familyName": "Kerber", 
        "givenName": "Manfred", 
        "type": "Person"
      }, 
      {
        "familyName": "Lau", 
        "givenName": "Kung-Kiu", 
        "type": "Person"
      }, 
      {
        "familyName": "Palamidessi", 
        "givenName": "Catuscia", 
        "type": "Person"
      }, 
      {
        "familyName": "Pereira", 
        "givenName": "Lu\u00eds Moniz", 
        "type": "Person"
      }, 
      {
        "familyName": "Sagiv", 
        "givenName": "Yehoshua", 
        "type": "Person"
      }, 
      {
        "familyName": "Stuckey", 
        "givenName": "Peter J.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-44957-4_76", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-67797-0", 
        "978-3-540-44957-7"
      ], 
      "name": "Computational Logic \u2014 CL 2000", 
      "type": "Book"
    }, 
    "keywords": [
      "transparent language", 
      "XML query languages", 
      "formal syntax", 
      "language", 
      "template rules", 
      "query language", 
      "precise semantics", 
      "syntax", 
      "semantics", 
      "expressiveness", 
      "XSLT", 
      "two-fold", 
      "expressive fragment", 
      "formal model", 
      "attempt", 
      "understanding", 
      "XSL", 
      "rules", 
      "recent extension", 
      "paper", 
      "current XML query languages", 
      "aim", 
      "data values", 
      "values", 
      "extension", 
      "fragments", 
      "powerful fragment", 
      "variables", 
      "model"
    ], 
    "name": "A Formal Model for an Expressive Fragment of XSLT", 
    "pagination": "1137-1151", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1046556733"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-44957-4_76"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-44957-4_76", 
      "https://app.dimensions.ai/details/publication/pub.1046556733"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:15", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/chapter/chapter_268.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-44957-4_76"
  }
]
 

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-44957-4_76'

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-44957-4_76'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-44957-4_76'

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-44957-4_76'


 

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

146 TRIPLES      23 PREDICATES      54 URIs      47 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-44957-4_76 schema:about anzsrc-for:20
2 anzsrc-for:2004
3 schema:author Neb57943659a1449b9fe2df8a8371741c
4 schema:datePublished 2000-12-15
5 schema:datePublishedReg 2000-12-15
6 schema:description The aim of this paper is two-fold. First, we want to show that the recent extension of XSL with variables and passing of data values between template rules has increased its expressiveness beyond that of most other current XML query languages. Second, in an attempt to increase the understanding of this already wide-spread but not so transparent language, we provide an essential and powerful fragment with a formal syntax and a precise semantics.
7 schema:editor Ne169f8536c944e0db2a3fe07091233cd
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N65cfb22c03024e46a50d8a6ae2fe19e6
12 schema:keywords XML query languages
13 XSL
14 XSLT
15 aim
16 attempt
17 current XML query languages
18 data values
19 expressive fragment
20 expressiveness
21 extension
22 formal model
23 formal syntax
24 fragments
25 language
26 model
27 paper
28 powerful fragment
29 precise semantics
30 query language
31 recent extension
32 rules
33 semantics
34 syntax
35 template rules
36 transparent language
37 two-fold
38 understanding
39 values
40 variables
41 schema:name A Formal Model for an Expressive Fragment of XSLT
42 schema:pagination 1137-1151
43 schema:productId N393ba2918ebc4b4eb4479c1b212f7b30
44 Na8a3b2edd6c4483bb6f0177a55599716
45 schema:publisher Nf4b7ea63b26640d9aaad9875b2d33ff0
46 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046556733
47 https://doi.org/10.1007/3-540-44957-4_76
48 schema:sdDatePublished 2022-01-01T19:15
49 schema:sdLicense https://scigraph.springernature.com/explorer/license/
50 schema:sdPublisher N919fd878cbb543b28e2ba94066062754
51 schema:url https://doi.org/10.1007/3-540-44957-4_76
52 sgo:license sg:explorer/license/
53 sgo:sdDataset chapters
54 rdf:type schema:Chapter
55 N161273fdb06d444fb67355bb81b7693a schema:familyName Sagiv
56 schema:givenName Yehoshua
57 rdf:type schema:Person
58 N249757c42043426dab778bd50d43e4d4 rdf:first N37d2c59b7c244d008ad47116fa07b721
59 rdf:rest Nae3d7c45d5354d378ccaa882c8b169ee
60 N24f150270e8e46248c5687cc7c89cbe2 rdf:first N2c4689269f7e4e9c8e4650fc33bb6ac2
61 rdf:rest Nacdb3c8a3e124247945e1437cd59df35
62 N2c4689269f7e4e9c8e4650fc33bb6ac2 schema:familyName Kerber
63 schema:givenName Manfred
64 rdf:type schema:Person
65 N2ddb9c33054b49978e057cabcaa88444 schema:familyName Pereira
66 schema:givenName Luís Moniz
67 rdf:type schema:Person
68 N3240805ff4984a5d9b20224f553a9791 rdf:first sg:person.012454216177.42
69 rdf:rest rdf:nil
70 N37d2c59b7c244d008ad47116fa07b721 schema:familyName Palamidessi
71 schema:givenName Catuscia
72 rdf:type schema:Person
73 N393ba2918ebc4b4eb4479c1b212f7b30 schema:name dimensions_id
74 schema:value pub.1046556733
75 rdf:type schema:PropertyValue
76 N46acdf42d68b4b31835230510bff6dde rdf:first Nfab642e1703d4cd080f5b9fa08c8f6ce
77 rdf:rest N4d5283d99c044529ae224de240fc052c
78 N4d5283d99c044529ae224de240fc052c rdf:first N9f69d9a2d4f4410ab709026cdda2f2e5
79 rdf:rest N24f150270e8e46248c5687cc7c89cbe2
80 N65cfb22c03024e46a50d8a6ae2fe19e6 schema:isbn 978-3-540-44957-7
81 978-3-540-67797-0
82 schema:name Computational Logic — CL 2000
83 rdf:type schema:Book
84 N78f2fcb9375b4240a15a4c00aaa0c605 schema:familyName Lloyd
85 schema:givenName John
86 rdf:type schema:Person
87 N836d12639b71459e839c71df60249da1 schema:familyName Lau
88 schema:givenName Kung-Kiu
89 rdf:type schema:Person
90 N919fd878cbb543b28e2ba94066062754 schema:name Springer Nature - SN SciGraph project
91 rdf:type schema:Organization
92 N9f69d9a2d4f4410ab709026cdda2f2e5 schema:familyName Furbach
93 schema:givenName Ulrich
94 rdf:type schema:Person
95 Na452e1ae68414d95a89ddfca5694826a rdf:first sg:person.016240662443.33
96 rdf:rest N3240805ff4984a5d9b20224f553a9791
97 Na8a3b2edd6c4483bb6f0177a55599716 schema:name doi
98 schema:value 10.1007/3-540-44957-4_76
99 rdf:type schema:PropertyValue
100 Nacdb3c8a3e124247945e1437cd59df35 rdf:first N836d12639b71459e839c71df60249da1
101 rdf:rest N249757c42043426dab778bd50d43e4d4
102 Nae3d7c45d5354d378ccaa882c8b169ee rdf:first N2ddb9c33054b49978e057cabcaa88444
103 rdf:rest Nc64dd24ff571437580e49a289e4f96ae
104 Nc0193d15fa754feb9fa84d61b05dad36 rdf:first Nf266b445d962427791b2541e9aaa8fee
105 rdf:rest rdf:nil
106 Nc64dd24ff571437580e49a289e4f96ae rdf:first N161273fdb06d444fb67355bb81b7693a
107 rdf:rest Nc0193d15fa754feb9fa84d61b05dad36
108 Ne169f8536c944e0db2a3fe07091233cd rdf:first N78f2fcb9375b4240a15a4c00aaa0c605
109 rdf:rest N46acdf42d68b4b31835230510bff6dde
110 Neb57943659a1449b9fe2df8a8371741c rdf:first sg:person.07777231461.76
111 rdf:rest Na452e1ae68414d95a89ddfca5694826a
112 Nf266b445d962427791b2541e9aaa8fee schema:familyName Stuckey
113 schema:givenName Peter J.
114 rdf:type schema:Person
115 Nf4b7ea63b26640d9aaad9875b2d33ff0 schema:name Springer Nature
116 rdf:type schema:Organisation
117 Nfab642e1703d4cd080f5b9fa08c8f6ce schema:familyName Dahl
118 schema:givenName Veronica
119 rdf:type schema:Person
120 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
121 schema:name Language, Communication and Culture
122 rdf:type schema:DefinedTerm
123 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
124 schema:name Linguistics
125 rdf:type schema:DefinedTerm
126 sg:person.012454216177.42 schema:affiliation grid-institutes:grid.12155.32
127 schema:familyName Neven
128 schema:givenName Frank
129 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012454216177.42
130 rdf:type schema:Person
131 sg:person.016240662443.33 schema:affiliation grid-institutes:grid.5132.5
132 schema:familyName Maneth
133 schema:givenName Sebastian
134 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016240662443.33
135 rdf:type schema:Person
136 sg:person.07777231461.76 schema:affiliation grid-institutes:grid.12155.32
137 schema:familyName Bex
138 schema:givenName Geert Jan
139 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07777231461.76
140 rdf:type schema:Person
141 grid-institutes:grid.12155.32 schema:alternateName Dept. WNI, Infolab, Limburgs Universitair Centrum, Universitaire Campus, B-3590, Diepenbeek, Belgium
142 schema:name Dept. WNI, Infolab, Limburgs Universitair Centrum, Universitaire Campus, B-3590, Diepenbeek, Belgium
143 rdf:type schema:Organization
144 grid-institutes:grid.5132.5 schema:alternateName LIACS, Leiden University, PO Box 9512, 2300 RA, Leiden, The Netherlands
145 schema:name LIACS, Leiden University, PO Box 9512, 2300 RA, Leiden, The Netherlands
146 rdf:type schema:Organization
 




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


...