Report on an Implementation of a Semi-inverter View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2007-01-01

AUTHORS

Torben Ægidius Mogensen

ABSTRACT

Semi-inversion is a generalisation of inversion: A semi-inverse of a program takes some of the inputs and outputs of the original program and returns the remaining inputs and outputs.We report on an implementation of a semi-inversion method. We will show some examples of semi-inversions made by the implementation and discuss limitations and possible extensions. More... »

PAGES

322-334

Book

TITLE

Perspectives of Systems Informatics

ISBN

978-3-540-70880-3
978-3-540-70881-0

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-70881-0_28

DOI

http://dx.doi.org/10.1007/978-3-540-70881-0_28

DIMENSIONS

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


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/11", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Medical and Health Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1117", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Public Health and Health Services", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "DIKU, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen O, Denmark", 
          "id": "http://www.grid.ac/institutes/grid.5254.6", 
          "name": [
            "DIKU, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen O, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Mogensen", 
        "givenName": "Torben \u00c6gidius", 
        "id": "sg:person.016655503425.67", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016655503425.67"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2007-01-01", 
    "datePublishedReg": "2007-01-01", 
    "description": "Semi-inversion is a generalisation of inversion: A semi-inverse of a program takes some of the inputs and outputs of the original program and returns the remaining inputs and outputs.We report on an implementation of a semi-inversion method. We will show some examples of semi-inversions made by the implementation and discuss limitations and possible extensions.", 
    "editor": [
      {
        "familyName": "Virbitskaite", 
        "givenName": "Irina", 
        "type": "Person"
      }, 
      {
        "familyName": "Voronkov", 
        "givenName": "Andrei", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-70881-0_28", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-70880-3", 
        "978-3-540-70881-0"
      ], 
      "name": "Perspectives of Systems Informatics", 
      "type": "Book"
    }, 
    "keywords": [
      "program", 
      "original program", 
      "implementation", 
      "input", 
      "output", 
      "possible extensions", 
      "method", 
      "limitations", 
      "generalisation", 
      "example", 
      "extension", 
      "inversion", 
      "generalisation of inversion", 
      "semi-inversion method"
    ], 
    "name": "Report on an Implementation of a Semi-inverter", 
    "pagination": "322-334", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1032904132"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-70881-0_28"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-70881-0_28", 
      "https://app.dimensions.ai/details/publication/pub.1032904132"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T18:49", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/chapter/chapter_189.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-70881-0_28"
  }
]
 

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-540-70881-0_28'

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-540-70881-0_28'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-70881-0_28'

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-540-70881-0_28'


 

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

79 TRIPLES      23 PREDICATES      39 URIs      32 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-70881-0_28 schema:about anzsrc-for:11
2 anzsrc-for:1117
3 schema:author N69d9eee1c66f49488ff88e65487cb4c8
4 schema:datePublished 2007-01-01
5 schema:datePublishedReg 2007-01-01
6 schema:description Semi-inversion is a generalisation of inversion: A semi-inverse of a program takes some of the inputs and outputs of the original program and returns the remaining inputs and outputs.We report on an implementation of a semi-inversion method. We will show some examples of semi-inversions made by the implementation and discuss limitations and possible extensions.
7 schema:editor Nc5b522f5e1864503a8837a8ebf367d21
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N78ca5679736e49c39fe83b4eb43b828b
12 schema:keywords example
13 extension
14 generalisation
15 generalisation of inversion
16 implementation
17 input
18 inversion
19 limitations
20 method
21 original program
22 output
23 possible extensions
24 program
25 semi-inversion method
26 schema:name Report on an Implementation of a Semi-inverter
27 schema:pagination 322-334
28 schema:productId N142454becc284206a61b2fd439189719
29 Nb5d6f8701dbd4ad6b02b8fcd627bdec0
30 schema:publisher N86c44814086c489d9f5286a132c6ad4c
31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032904132
32 https://doi.org/10.1007/978-3-540-70881-0_28
33 schema:sdDatePublished 2021-11-01T18:49
34 schema:sdLicense https://scigraph.springernature.com/explorer/license/
35 schema:sdPublisher Nb8989e664b0e41e7a915c02736c3302a
36 schema:url https://doi.org/10.1007/978-3-540-70881-0_28
37 sgo:license sg:explorer/license/
38 sgo:sdDataset chapters
39 rdf:type schema:Chapter
40 N142454becc284206a61b2fd439189719 schema:name doi
41 schema:value 10.1007/978-3-540-70881-0_28
42 rdf:type schema:PropertyValue
43 N40547aafceae4797b8bdfb3f3eae4646 schema:familyName Voronkov
44 schema:givenName Andrei
45 rdf:type schema:Person
46 N69d9eee1c66f49488ff88e65487cb4c8 rdf:first sg:person.016655503425.67
47 rdf:rest rdf:nil
48 N78ca5679736e49c39fe83b4eb43b828b schema:isbn 978-3-540-70880-3
49 978-3-540-70881-0
50 schema:name Perspectives of Systems Informatics
51 rdf:type schema:Book
52 N79d78e9b13474c56b8f49cab1c749009 rdf:first N40547aafceae4797b8bdfb3f3eae4646
53 rdf:rest rdf:nil
54 N86c44814086c489d9f5286a132c6ad4c schema:name Springer Nature
55 rdf:type schema:Organisation
56 Na8a239d77b1e4d83a2d053145ec309f4 schema:familyName Virbitskaite
57 schema:givenName Irina
58 rdf:type schema:Person
59 Nb5d6f8701dbd4ad6b02b8fcd627bdec0 schema:name dimensions_id
60 schema:value pub.1032904132
61 rdf:type schema:PropertyValue
62 Nb8989e664b0e41e7a915c02736c3302a schema:name Springer Nature - SN SciGraph project
63 rdf:type schema:Organization
64 Nc5b522f5e1864503a8837a8ebf367d21 rdf:first Na8a239d77b1e4d83a2d053145ec309f4
65 rdf:rest N79d78e9b13474c56b8f49cab1c749009
66 anzsrc-for:11 schema:inDefinedTermSet anzsrc-for:
67 schema:name Medical and Health Sciences
68 rdf:type schema:DefinedTerm
69 anzsrc-for:1117 schema:inDefinedTermSet anzsrc-for:
70 schema:name Public Health and Health Services
71 rdf:type schema:DefinedTerm
72 sg:person.016655503425.67 schema:affiliation grid-institutes:grid.5254.6
73 schema:familyName Mogensen
74 schema:givenName Torben Ægidius
75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016655503425.67
76 rdf:type schema:Person
77 grid-institutes:grid.5254.6 schema:alternateName DIKU, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen O, Denmark
78 schema:name DIKU, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen O, Denmark
79 rdf:type schema:Organization
 




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


...