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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Ulm, Ulm, Germany", 
          "id": "http://www.grid.ac/institutes/grid.6582.9", 
          "name": [
            "University of Ulm, Ulm, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Steigmiller", 
        "givenName": "Andreas", 
        "id": "sg:person.013641624343.88", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013641624343.88"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Ulm, Ulm, Germany", 
          "id": "http://www.grid.ac/institutes/grid.6582.9", 
          "name": [
            "University of Ulm, Ulm, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Glimm", 
        "givenName": "Birte", 
        "id": "sg:person.015234565343.35", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015234565343.35"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "derivo GmbH, Ulm, Germany", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "derivo GmbH, Ulm, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Liebig", 
        "givenName": "Thorsten", 
        "id": "sg:person.014437204743.19", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014437204743.19"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2014", 
    "datePublishedReg": "2014-01-01", 
    "description": "Nowadays, saturation-based reasoners for the OWL EL profile are able to handle large ontologies such as SNOMED very efficiently. However, saturation-based reasoning procedures become incomplete if the ontology is extended with axioms that use features of more expressive Description Logics, e.g., disjunctions. Tableau-based procedures, on the other hand, are not limited to a specific OWL profile, but even highly optimised reasoners might not be efficient enough to handle large ontologies such as SNOMED. In this paper, we present an approach for tightly coupling tableau- and saturation-based procedures that we implement in the OWL DL reasoner Konclude. Our detailed evaluation shows that this combination significantly improves the reasoning performance on a wide range of ontologies.", 
    "editor": [
      {
        "familyName": "Demri", 
        "givenName": "St\u00e9phane", 
        "type": "Person"
      }, 
      {
        "familyName": "Kapur", 
        "givenName": "Deepak", 
        "type": "Person"
      }, 
      {
        "familyName": "Weidenbach", 
        "givenName": "Christoph", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-08587-6_35", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-08586-9", 
        "978-3-319-08587-6"
      ], 
      "name": "Automated Reasoning", 
      "type": "Book"
    }, 
    "keywords": [
      "expressive description logics", 
      "large ontologies", 
      "description logics", 
      "OWL profiles", 
      "reasoning procedures", 
      "tableau algorithm", 
      "EL profile", 
      "ontology", 
      "reasoner", 
      "SNOMED", 
      "logic", 
      "algorithm", 
      "tableaux", 
      "detailed evaluation", 
      "saturation procedure", 
      "performance", 
      "wide range", 
      "features", 
      "axioms", 
      "disjunction", 
      "evaluation", 
      "procedure", 
      "hand", 
      "combination", 
      "completion", 
      "range", 
      "profile", 
      "paper", 
      "approach"
    ], 
    "name": "Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures", 
    "pagination": "449-463", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1026763126"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-08587-6_35"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-08587-6_35", 
      "https://app.dimensions.ai/details/publication/pub.1026763126"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-06-01T22:28", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220601/entities/gbq_results/chapter/chapter_176.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-08587-6_35"
  }
]

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.

116 TRIPLES      23 PREDICATES      55 URIs      48 LITERALS      7 BLANK NODES