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-12-01T19:56", 
    "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_140.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 Nb57eee1e1e6a42088d61dab62de247ed
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 Nda484d244e7c426191cc4713c9752789
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nab8b7c7236f54d91813997fc1ec825a8
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 N191eacdbb4d54dcbbb5d903b1ed021dd
29 Nfc6a4cbc8c654e0c9efd90b677002b6f
30 schema:publisher N996b2937ef6d49c0b3db232310612484
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-12-01T19:56
34 schema:sdLicense https://scigraph.springernature.com/explorer/license/
35 schema:sdPublisher Ne35c9b0955cb457aaf50a5c644e6d815
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 N00830c3a58bd4ab7ba4a49fa49be93a3 schema:familyName Virbitskaite
41 schema:givenName Irina
42 rdf:type schema:Person
43 N191eacdbb4d54dcbbb5d903b1ed021dd schema:name dimensions_id
44 schema:value pub.1032904132
45 rdf:type schema:PropertyValue
46 N3406e23f18ba47549a52b3bba7d5476b schema:familyName Voronkov
47 schema:givenName Andrei
48 rdf:type schema:Person
49 N4dc72e8dbcf34d30ada32859585719e3 rdf:first N3406e23f18ba47549a52b3bba7d5476b
50 rdf:rest rdf:nil
51 N996b2937ef6d49c0b3db232310612484 schema:name Springer Nature
52 rdf:type schema:Organisation
53 Nab8b7c7236f54d91813997fc1ec825a8 schema:isbn 978-3-540-70880-3
54 978-3-540-70881-0
55 schema:name Perspectives of Systems Informatics
56 rdf:type schema:Book
57 Nb57eee1e1e6a42088d61dab62de247ed rdf:first sg:person.016655503425.67
58 rdf:rest rdf:nil
59 Nda484d244e7c426191cc4713c9752789 rdf:first N00830c3a58bd4ab7ba4a49fa49be93a3
60 rdf:rest N4dc72e8dbcf34d30ada32859585719e3
61 Ne35c9b0955cb457aaf50a5c644e6d815 schema:name Springer Nature - SN SciGraph project
62 rdf:type schema:Organization
63 Nfc6a4cbc8c654e0c9efd90b677002b6f schema:name doi
64 schema:value 10.1007/978-3-540-70881-0_28
65 rdf:type schema:PropertyValue
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)


...