Ontology type: schema:Chapter
2015-09-09
AUTHORSManfred Droste , Doreen Heusel , Heiko Vogler
ABSTRACTWe 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... »
PAGES90-102
Algebraic Informatics
ISBN
978-3-319-23020-7
978-3-319-23021-4
http://scigraph.springernature.com/pub.10.1007/978-3-319-23021-4_9
DOIhttp://dx.doi.org/10.1007/978-3-319-23021-4_9
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1016480234
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
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