Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015-09-09

AUTHORS

Manfred Droste , Doreen Heusel , Heiko Vogler

ABSTRACT

We introduce a new behavior of weighted unranked tree automata. We prove a characterization of this behavior by two fragments of weighted MSO logic and thereby provide a solution of an open equivalence problem of Droste and Vogler. The characterization works for valuation monoids as weight structures; they include all semirings and, in addition, enable us to cope with average. More... »

PAGES

90-102

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-23021-4_9

DOI

http://dx.doi.org/10.1007/978-3-319-23021-4_9

DIMENSIONS

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


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/15", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Commerce, Management, Tourism and Services", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1502", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Banking, Finance and Investment", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Institut f\u00fcr Informatik, Universit\u00e4t Leipzig, D-04109, Leipzig, Germany", 
          "id": "http://www.grid.ac/institutes/grid.9647.c", 
          "name": [
            "Institut f\u00fcr Informatik, Universit\u00e4t Leipzig, D-04109, Leipzig, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Droste", 
        "givenName": "Manfred", 
        "id": "sg:person.010545141652.14", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010545141652.14"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institut f\u00fcr Informatik, Universit\u00e4t Leipzig, D-04109, Leipzig, Germany", 
          "id": "http://www.grid.ac/institutes/grid.9647.c", 
          "name": [
            "Institut f\u00fcr Informatik, Universit\u00e4t Leipzig, D-04109, Leipzig, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Heusel", 
        "givenName": "Doreen", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institut f\u00fcr Theoretische Informatik, Technische Universit\u00e4t Dresden, D-01062, Dresden, Germany", 
          "id": "http://www.grid.ac/institutes/grid.4488.0", 
          "name": [
            "Institut f\u00fcr Theoretische Informatik, Technische Universit\u00e4t Dresden, D-01062, Dresden, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Vogler", 
        "givenName": "Heiko", 
        "id": "sg:person.014562633673.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014562633673.93"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2015-09-09", 
    "datePublishedReg": "2015-09-09", 
    "description": "We introduce a new behavior of weighted unranked tree automata. We prove a characterization of this behavior by two fragments of weighted MSO logic and thereby provide a solution of an open equivalence problem of Droste and Vogler. The characterization works for valuation monoids as weight structures; they include all semirings and, in addition, enable us to cope with average.", 
    "editor": [
      {
        "familyName": "Maletti", 
        "givenName": "Andreas", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-23021-4_9", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-23020-7", 
        "978-3-319-23021-4"
      ], 
      "name": "Algebraic Informatics", 
      "type": "Book"
    }, 
    "keywords": [
      "weight structures", 
      "behavior", 
      "characterization", 
      "logic", 
      "solution", 
      "problem", 
      "structure", 
      "new behaviors", 
      "automata", 
      "addition", 
      "average", 
      "fragments", 
      "Vogler", 
      "weighted logic", 
      "equivalence problem", 
      "unranked tree automata", 
      "tree automata", 
      "MSO logic", 
      "Droste", 
      "valuation monoids", 
      "monoids", 
      "semirings"
    ], 
    "name": "Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics", 
    "pagination": "90-102", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1016480234"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-23021-4_9"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-23021-4_9", 
      "https://app.dimensions.ai/details/publication/pub.1016480234"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:48", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_460.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-23021-4_9"
  }
]
 

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-319-23021-4_9'

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-319-23021-4_9'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-23021-4_9'

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-319-23021-4_9'


 

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

98 TRIPLES      23 PREDICATES      47 URIs      40 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-23021-4_9 schema:about anzsrc-for:15
2 anzsrc-for:1502
3 schema:author N5f070aa16d514e23a2a8a6b4bf59b575
4 schema:datePublished 2015-09-09
5 schema:datePublishedReg 2015-09-09
6 schema:description We introduce a new behavior of weighted unranked tree automata. We prove a characterization of this behavior by two fragments of weighted MSO logic and thereby provide a solution of an open equivalence problem of Droste and Vogler. The characterization works for valuation monoids as weight structures; they include all semirings and, in addition, enable us to cope with average.
7 schema:editor N6b6059164aa24067a88a804a4817c541
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nd653fe42a72a4a04972f63c051c73a51
12 schema:keywords Droste
13 MSO logic
14 Vogler
15 addition
16 automata
17 average
18 behavior
19 characterization
20 equivalence problem
21 fragments
22 logic
23 monoids
24 new behaviors
25 problem
26 semirings
27 solution
28 structure
29 tree automata
30 unranked tree automata
31 valuation monoids
32 weight structures
33 weighted logic
34 schema:name Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics
35 schema:pagination 90-102
36 schema:productId N6e15c216b9c94612938307f82f210d28
37 N793026217eef41fbabdcb03df821622d
38 schema:publisher N19eeda22ff8c4676b224dae29a7e5170
39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016480234
40 https://doi.org/10.1007/978-3-319-23021-4_9
41 schema:sdDatePublished 2022-05-20T07:48
42 schema:sdLicense https://scigraph.springernature.com/explorer/license/
43 schema:sdPublisher Nfc2f2e827747420bb50a0ec8f2607152
44 schema:url https://doi.org/10.1007/978-3-319-23021-4_9
45 sgo:license sg:explorer/license/
46 sgo:sdDataset chapters
47 rdf:type schema:Chapter
48 N19eeda22ff8c4676b224dae29a7e5170 schema:name Springer Nature
49 rdf:type schema:Organisation
50 N323f5fde32814686a8585e18935547fc schema:affiliation grid-institutes:grid.9647.c
51 schema:familyName Heusel
52 schema:givenName Doreen
53 rdf:type schema:Person
54 N5f070aa16d514e23a2a8a6b4bf59b575 rdf:first sg:person.010545141652.14
55 rdf:rest N600a52be244140dead8b4b97daec4b30
56 N600a52be244140dead8b4b97daec4b30 rdf:first N323f5fde32814686a8585e18935547fc
57 rdf:rest Nad71f59ab4094c1e92b8716f52585ca2
58 N6b6059164aa24067a88a804a4817c541 rdf:first Ncd81da29b6f4433ab97f7f8361bef988
59 rdf:rest rdf:nil
60 N6e15c216b9c94612938307f82f210d28 schema:name doi
61 schema:value 10.1007/978-3-319-23021-4_9
62 rdf:type schema:PropertyValue
63 N793026217eef41fbabdcb03df821622d schema:name dimensions_id
64 schema:value pub.1016480234
65 rdf:type schema:PropertyValue
66 Nad71f59ab4094c1e92b8716f52585ca2 rdf:first sg:person.014562633673.93
67 rdf:rest rdf:nil
68 Ncd81da29b6f4433ab97f7f8361bef988 schema:familyName Maletti
69 schema:givenName Andreas
70 rdf:type schema:Person
71 Nd653fe42a72a4a04972f63c051c73a51 schema:isbn 978-3-319-23020-7
72 978-3-319-23021-4
73 schema:name Algebraic Informatics
74 rdf:type schema:Book
75 Nfc2f2e827747420bb50a0ec8f2607152 schema:name Springer Nature - SN SciGraph project
76 rdf:type schema:Organization
77 anzsrc-for:15 schema:inDefinedTermSet anzsrc-for:
78 schema:name Commerce, Management, Tourism and Services
79 rdf:type schema:DefinedTerm
80 anzsrc-for:1502 schema:inDefinedTermSet anzsrc-for:
81 schema:name Banking, Finance and Investment
82 rdf:type schema:DefinedTerm
83 sg:person.010545141652.14 schema:affiliation grid-institutes:grid.9647.c
84 schema:familyName Droste
85 schema:givenName Manfred
86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010545141652.14
87 rdf:type schema:Person
88 sg:person.014562633673.93 schema:affiliation grid-institutes:grid.4488.0
89 schema:familyName Vogler
90 schema:givenName Heiko
91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014562633673.93
92 rdf:type schema:Person
93 grid-institutes:grid.4488.0 schema:alternateName Institut für Theoretische Informatik, Technische Universität Dresden, D-01062, Dresden, Germany
94 schema:name Institut für Theoretische Informatik, Technische Universität Dresden, D-01062, Dresden, Germany
95 rdf:type schema:Organization
96 grid-institutes:grid.9647.c schema:alternateName Institut für Informatik, Universität Leipzig, D-04109, Leipzig, Germany
97 schema:name Institut für Informatik, Universität Leipzig, D-04109, Leipzig, Germany
98 rdf:type schema:Organization
 




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


...