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": "2021-12-01T20:00", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_210.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 N46922916574345fa89290140e10148cf
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 N752e7f3d432c47fb85723493353791f0
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N06d86b56cbe54884854eec40bd3e1f9e
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 N9d5ad79b48814e638fca286fe1efc55a
44 Nafc506bf853c49df83ec8817ecc2fdf5
45 schema:publisher N387277727bff48888845b45234d5386b
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 2021-12-01T20:00
49 schema:sdLicense https://scigraph.springernature.com/explorer/license/
50 schema:sdPublisher N69c7297b743e47e5a489313dc4ee359e
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 N06d86b56cbe54884854eec40bd3e1f9e schema:isbn 978-3-540-44957-7
56 978-3-540-67797-0
57 schema:name Computational Logic — CL 2000
58 rdf:type schema:Book
59 N0bf580100fcc4c1e99398610c6ab0f52 schema:familyName Pereira
60 schema:givenName Luís Moniz
61 rdf:type schema:Person
62 N0d85db84776940c787d7f85115d4e138 schema:familyName Lau
63 schema:givenName Kung-Kiu
64 rdf:type schema:Person
65 N1be89133d7014a8da769a64a9a55670a rdf:first N2c3ab3709b5e4649b17a9d2c28b5652d
66 rdf:rest Ncde7e5b72d9c410b9a935f3b4f36251e
67 N2c3ab3709b5e4649b17a9d2c28b5652d schema:familyName Sagiv
68 schema:givenName Yehoshua
69 rdf:type schema:Person
70 N2c768032808b459285a01d7bf86ceb0d rdf:first Nc44b396e393f40e09bd2edc1f20db364
71 rdf:rest Ncbaf46809f904026a402083965f9845b
72 N387277727bff48888845b45234d5386b schema:name Springer Nature
73 rdf:type schema:Organisation
74 N4137dad74dc345499e12d74258b3697a schema:familyName Lloyd
75 schema:givenName John
76 rdf:type schema:Person
77 N442fa6e6d64f432ab33334f85c3dffef schema:familyName Dahl
78 schema:givenName Veronica
79 rdf:type schema:Person
80 N46922916574345fa89290140e10148cf rdf:first sg:person.07777231461.76
81 rdf:rest Na38aa81218474ca28229e5d29feeafd2
82 N69c7297b743e47e5a489313dc4ee359e schema:name Springer Nature - SN SciGraph project
83 rdf:type schema:Organization
84 N752e7f3d432c47fb85723493353791f0 rdf:first N4137dad74dc345499e12d74258b3697a
85 rdf:rest N8873c5b979d944e3ad883f6edca32927
86 N8873c5b979d944e3ad883f6edca32927 rdf:first N442fa6e6d64f432ab33334f85c3dffef
87 rdf:rest N2c768032808b459285a01d7bf86ceb0d
88 N9d5ad79b48814e638fca286fe1efc55a schema:name dimensions_id
89 schema:value pub.1046556733
90 rdf:type schema:PropertyValue
91 Na38aa81218474ca28229e5d29feeafd2 rdf:first sg:person.016240662443.33
92 rdf:rest Nc661f26883d14726a12cd39746c6f30e
93 Na4f432ed87f447519eeddbbcfd8ab698 schema:familyName Palamidessi
94 schema:givenName Catuscia
95 rdf:type schema:Person
96 Nafc506bf853c49df83ec8817ecc2fdf5 schema:name doi
97 schema:value 10.1007/3-540-44957-4_76
98 rdf:type schema:PropertyValue
99 Nbf49ce5b1f5c4cbdb361094ea497f808 schema:familyName Kerber
100 schema:givenName Manfred
101 rdf:type schema:Person
102 Nc2ac50c0c464449fa76f390ebcc280e1 rdf:first N0d85db84776940c787d7f85115d4e138
103 rdf:rest Nc53a9e5e225843c0998c2213d620fdd3
104 Nc40ecded1bc74e52921e0a3095985529 rdf:first N0bf580100fcc4c1e99398610c6ab0f52
105 rdf:rest N1be89133d7014a8da769a64a9a55670a
106 Nc44b396e393f40e09bd2edc1f20db364 schema:familyName Furbach
107 schema:givenName Ulrich
108 rdf:type schema:Person
109 Nc53a9e5e225843c0998c2213d620fdd3 rdf:first Na4f432ed87f447519eeddbbcfd8ab698
110 rdf:rest Nc40ecded1bc74e52921e0a3095985529
111 Nc661f26883d14726a12cd39746c6f30e rdf:first sg:person.012454216177.42
112 rdf:rest rdf:nil
113 Ncbaf46809f904026a402083965f9845b rdf:first Nbf49ce5b1f5c4cbdb361094ea497f808
114 rdf:rest Nc2ac50c0c464449fa76f390ebcc280e1
115 Ncde7e5b72d9c410b9a935f3b4f36251e rdf:first Nff1f41574dd9403db843cd95e8f52bcd
116 rdf:rest rdf:nil
117 Nff1f41574dd9403db843cd95e8f52bcd schema:familyName Stuckey
118 schema:givenName Peter J.
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)


...