Automata, Logic, and XML View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2002-09-02

AUTHORS

Frank Neven

ABSTRACT

We survey some recent developments in the broad area of automata and logic which are motivated by the advent of XML. In particular, we consider unranked tree automata, tree-walking automata, and automata over infinite alphabets. We focus on their connection with logic and on questions imposed by XML.

PAGES

2-26

Book

TITLE

Computer Science Logic

ISBN

978-3-540-44240-0
978-3-540-45793-0

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-45793-3_2

DOI

http://dx.doi.org/10.1007/3-540-45793-3_2

DIMENSIONS

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


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/22", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy and Religious Studies", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2203", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Limburg, USA", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "University of Limburg, USA"
          ], 
          "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": "2002-09-02", 
    "datePublishedReg": "2002-09-02", 
    "description": "We survey some recent developments in the broad area of automata and logic which are motivated by the advent of XML. In particular, we consider unranked tree automata, tree-walking automata, and automata over infinite alphabets. We focus on their connection with logic and on questions imposed by XML.", 
    "editor": [
      {
        "familyName": "Bradfield", 
        "givenName": "Julian", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-45793-3_2", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-44240-0", 
        "978-3-540-45793-0"
      ], 
      "name": "Computer Science Logic", 
      "type": "Book"
    }, 
    "keywords": [
      "logic", 
      "recent developments", 
      "broad areas", 
      "questions", 
      "connection", 
      "advent", 
      "development", 
      "alphabet", 
      "area", 
      "automata", 
      "advent of XML", 
      "XML", 
      "unranked tree automata", 
      "tree automata", 
      "tree-walking automata", 
      "infinite alphabets"
    ], 
    "name": "Automata, Logic, and XML", 
    "pagination": "2-26", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1002630146"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-45793-3_2"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-45793-3_2", 
      "https://app.dimensions.ai/details/publication/pub.1002630146"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-06-01T22:32", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220601/entities/gbq_results/chapter/chapter_326.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-45793-3_2"
  }
]
 

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-45793-3_2'

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-45793-3_2'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-45793-3_2'

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-45793-3_2'


 

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

76 TRIPLES      23 PREDICATES      41 URIs      34 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-45793-3_2 schema:about anzsrc-for:22
2 anzsrc-for:2203
3 schema:author N88ff4356e2a943de942fe6f7e88cd0e6
4 schema:datePublished 2002-09-02
5 schema:datePublishedReg 2002-09-02
6 schema:description We survey some recent developments in the broad area of automata and logic which are motivated by the advent of XML. In particular, we consider unranked tree automata, tree-walking automata, and automata over infinite alphabets. We focus on their connection with logic and on questions imposed by XML.
7 schema:editor N6821aad436704416ab9220f25d09ac73
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Na3dcc61fe64745af908f3eee22ae1921
12 schema:keywords XML
13 advent
14 advent of XML
15 alphabet
16 area
17 automata
18 broad areas
19 connection
20 development
21 infinite alphabets
22 logic
23 questions
24 recent developments
25 tree automata
26 tree-walking automata
27 unranked tree automata
28 schema:name Automata, Logic, and XML
29 schema:pagination 2-26
30 schema:productId N0243a8a0f58e4d47996183bc981e94da
31 Nea47062f2823404495da0299ab7609c0
32 schema:publisher N25de26931ad44d6fa0a31c617157298c
33 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002630146
34 https://doi.org/10.1007/3-540-45793-3_2
35 schema:sdDatePublished 2022-06-01T22:32
36 schema:sdLicense https://scigraph.springernature.com/explorer/license/
37 schema:sdPublisher Nc0abfc6703b245398ba925970cb664d2
38 schema:url https://doi.org/10.1007/3-540-45793-3_2
39 sgo:license sg:explorer/license/
40 sgo:sdDataset chapters
41 rdf:type schema:Chapter
42 N0243a8a0f58e4d47996183bc981e94da schema:name dimensions_id
43 schema:value pub.1002630146
44 rdf:type schema:PropertyValue
45 N25de26931ad44d6fa0a31c617157298c schema:name Springer Nature
46 rdf:type schema:Organisation
47 N548a8ec3e3c84bdaa1bd52d5e161aa2b schema:familyName Bradfield
48 schema:givenName Julian
49 rdf:type schema:Person
50 N6821aad436704416ab9220f25d09ac73 rdf:first N548a8ec3e3c84bdaa1bd52d5e161aa2b
51 rdf:rest rdf:nil
52 N88ff4356e2a943de942fe6f7e88cd0e6 rdf:first sg:person.012454216177.42
53 rdf:rest rdf:nil
54 Na3dcc61fe64745af908f3eee22ae1921 schema:isbn 978-3-540-44240-0
55 978-3-540-45793-0
56 schema:name Computer Science Logic
57 rdf:type schema:Book
58 Nc0abfc6703b245398ba925970cb664d2 schema:name Springer Nature - SN SciGraph project
59 rdf:type schema:Organization
60 Nea47062f2823404495da0299ab7609c0 schema:name doi
61 schema:value 10.1007/3-540-45793-3_2
62 rdf:type schema:PropertyValue
63 anzsrc-for:22 schema:inDefinedTermSet anzsrc-for:
64 schema:name Philosophy and Religious Studies
65 rdf:type schema:DefinedTerm
66 anzsrc-for:2203 schema:inDefinedTermSet anzsrc-for:
67 schema:name Philosophy
68 rdf:type schema:DefinedTerm
69 sg:person.012454216177.42 schema:affiliation grid-institutes:None
70 schema:familyName Neven
71 schema:givenName Frank
72 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012454216177.42
73 rdf:type schema:Person
74 grid-institutes:None schema:alternateName University of Limburg, USA
75 schema:name University of Limburg, USA
76 rdf:type schema:Organization
 




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


...