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": "Dept. of Math. and Comp. Sci., Ben-Gurion Univ., Israel", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Dept. of Math. and Comp. Sci., Ben-Gurion Univ., Israel"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Codish", 
        "givenName": "M.", 
        "id": "sg:person.011114565523.56", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011114565523.56"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Spain", 
          "id": "http://www.grid.ac/institutes/grid.5690.a", 
          "name": [
            "Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "de la Banda", 
        "givenName": "M. Garc\u00eda", 
        "id": "sg:person.016350443307.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Dept. of Comp. Sci., Katholieke Universiteit Leuven, Belgium", 
          "id": "http://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Dept. of Comp. Sci., Katholieke Universiteit Leuven, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bruynooghe", 
        "givenName": "M.", 
        "id": "sg:person.012034523241.20", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012034523241.20"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Spain", 
          "id": "http://www.grid.ac/institutes/grid.5690.a", 
          "name": [
            "Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Hermenegildo", 
        "givenName": "M.", 
        "id": "sg:person.016231041373.11", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016231041373.11"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1994", 
    "datePublishedReg": "1994-01-01", 
    "description": "Goal independent analysis of logic programs is commonly discussed in the context of the bottom-up approach. However, while the literature is rich in descriptions of top-down analysers and their application, practical experience with bottom-up analysis is still in a preliminary stage. Moreover, the practical use of existing top-down frameworks for goal independent analysis has not been addressed in a practical system. We illustrate the efficient use of existing goal dependent, top-down frameworks for abstract interpretation in performing goal independent analyses of logic programs much the same as those usually derived from bottom-up frameworks. We present several optimizations for this flavour of top-down analysis. The approach is fully implemented within an existing top-down framework. Several implementation tradeoffs are discussed as well as the influence of domain characteristics. An experimental evaluation including a comparison with a bottom-up analysis for the domain Prop is presented. We conclude that the technique can offer advantages with respect to standard goal dependent analyses.", 
    "editor": [
      {
        "familyName": "Pfenning", 
        "givenName": "Frank", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-58216-9_46", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-58216-8", 
        "978-3-540-48573-5"
      ], 
      "name": "Logic Programming and Automated Reasoning", 
      "type": "Book"
    }, 
    "keywords": [
      "practical experience", 
      "framework", 
      "context", 
      "bottom", 
      "preliminary stage", 
      "practical use", 
      "practical systems", 
      "efficient use", 
      "goal", 
      "interpretation", 
      "optimization", 
      "implementation tradeoffs", 
      "domain characteristics", 
      "experimental evaluation", 
      "respect", 
      "dependent analysis", 
      "goal-independent analysis", 
      "independent analysis", 
      "analysis", 
      "logic programs", 
      "program", 
      "approach", 
      "literature", 
      "description", 
      "analyzer", 
      "applications", 
      "experience", 
      "stage", 
      "use", 
      "system", 
      "abstract interpretation", 
      "flavor", 
      "tradeoff", 
      "influence", 
      "characteristics", 
      "evaluation", 
      "comparison", 
      "domain Prop", 
      "props", 
      "technique", 
      "advantages"
    ], 
    "name": "Goal dependent vs. goal independent analysis of logic programs", 
    "pagination": "305-319", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1004913431"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-58216-9_46"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-58216-9_46", 
      "https://app.dimensions.ai/details/publication/pub.1004913431"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:46", 
    "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_348.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-58216-9_46"
  }
]

Download the RDF metadata as:  json-ld nt turtle xml License info

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

128 TRIPLES      23 PREDICATES      67 URIs      60 LITERALS      7 BLANK NODES