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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Cornell University, Ithaca, NY, USA", 
          "id": "http://www.grid.ac/institutes/grid.5386.8", 
          "name": [
            "Department of Computer Science, Cornell University, Ithaca, NY, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Lorigo", 
        "givenName": "Lori", 
        "id": "sg:person.012263354457.22", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012263354457.22"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Cornell University, Ithaca, NY, USA", 
          "id": "http://www.grid.ac/institutes/grid.5386.8", 
          "name": [
            "Department of Computer Science, Cornell University, Ithaca, NY, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kleinberg", 
        "givenName": "Jon", 
        "id": "sg:person.011522233557.04", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011522233557.04"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Cornell University, Ithaca, NY, USA", 
          "id": "http://www.grid.ac/institutes/grid.5386.8", 
          "name": [
            "Department of Computer Science, Cornell University, Ithaca, NY, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Eaton", 
        "givenName": "Richard", 
        "id": "sg:person.07707043675.63", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07707043675.63"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Cornell University, Ithaca, NY, USA", 
          "id": "http://www.grid.ac/institutes/grid.5386.8", 
          "name": [
            "Department of Computer Science, Cornell University, Ithaca, NY, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Constable", 
        "givenName": "Robert", 
        "id": "sg:person.01077226370.60", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01077226370.60"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2004", 
    "datePublishedReg": "2004-01-01", 
    "description": "As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, it becomes increasingly valuable to find automated means to manage this data and capture semantics such as relatedness and significance. We apply graph-based approaches, such as HITS, or Hyperlink Induced Topic Search, [11] used for World Wide Web document search and analysis, to formal mathematical data collections. The nodes of the graphs we analyze are theorems and definitions, and the links are logical dependencies. By exploiting this link structure, we show how one may extract organizational and relatedness information from a collection of digital formal math. We discuss the value of the information we can extract, yielding potential applications in math search tools, theorem proving, and education.", 
    "editor": [
      {
        "familyName": "Asperti", 
        "givenName": "Andrea", 
        "type": "Person"
      }, 
      {
        "familyName": "Bancerek", 
        "givenName": "Grzegorz", 
        "type": "Person"
      }, 
      {
        "familyName": "Trybulec", 
        "givenName": "Andrzej", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-27818-4_16", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-23029-8", 
        "978-3-540-27818-4"
      ], 
      "name": "Mathematical Knowledge Management", 
      "type": "Book"
    }, 
    "keywords": [
      "digital libraries", 
      "Formal Digital Library", 
      "graph-based approach", 
      "captures semantics", 
      "document search", 
      "link structure", 
      "theorem proving", 
      "topic search", 
      "logical dependencies", 
      "search tools", 
      "relatedness information", 
      "formal mathematics", 
      "inherent structure", 
      "graph", 
      "formal math", 
      "data collection", 
      "MOWGLI", 
      "semantics", 
      "HITS", 
      "information", 
      "search", 
      "mathematical content", 
      "proving", 
      "library", 
      "nodes", 
      "collection", 
      "FDL", 
      "tool", 
      "applications", 
      "dependency", 
      "example", 
      "link", 
      "definition", 
      "mathematics", 
      "efforts", 
      "data", 
      "potential applications", 
      "structure", 
      "means", 
      "active efforts", 
      "amount", 
      "theorem", 
      "content", 
      "analysis", 
      "education", 
      "values", 
      "math", 
      "significance", 
      "approach", 
      "online formal mathematical content", 
      "formal mathematical content", 
      "Mathweb", 
      "Hyperlink Induced Topic Search", 
      "Induced Topic Search", 
      "World Wide Web document search", 
      "Wide Web document search", 
      "Web document search", 
      "formal mathematical data collections", 
      "mathematical data collections", 
      "digital formal math", 
      "math search tools"
    ], 
    "name": "A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics", 
    "pagination": "220-235", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1033005674"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-27818-4_16"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-27818-4_16", 
      "https://app.dimensions.ai/details/publication/pub.1033005674"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:11", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/chapter/chapter_178.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-27818-4_16"
  }
]

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.

160 TRIPLES      23 PREDICATES      89 URIs      80 LITERALS      7 BLANK NODES