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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "FZI Research Center for Information Technologies, Univ. of Karlsruhe, Germany", 
          "id": "http://www.grid.ac/institutes/grid.7892.4", 
          "name": [
            "FZI Research Center for Information Technologies, Univ. of Karlsruhe, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Motik", 
        "givenName": "Boris", 
        "id": "sg:person.07401076267.36", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Univ. of Manchester, UK", 
          "id": "http://www.grid.ac/institutes/grid.5379.8", 
          "name": [
            "Department of Computer Science, Univ. of Manchester, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sattler", 
        "givenName": "Ulrike", 
        "id": "sg:person.015322100453.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015322100453.31"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "FZI Research Center for Information Technologies, Univ. of Karlsruhe, Germany", 
          "id": "http://www.grid.ac/institutes/grid.7892.4", 
          "name": [
            "FZI Research Center for Information Technologies, Univ. of Karlsruhe, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Studer", 
        "givenName": "Rudi", 
        "id": "sg:person.01024266115.06", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01024266115.06"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2004", 
    "datePublishedReg": "2004-01-01", 
    "description": "Both OWL-DL and function-free Horn rules are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rules, but provides both existentially and universally quantified variables and full, monotonic negation. From the description logic perspective, rules are restricted to universal quantification, but allow for the interaction of variables in arbitrary ways. Clearly, a combination of OWL-DL and rules is desirable for building Semantic Web ontologies, and several such combinations have already been discussed. However, such a combination might easily lead to the undecidability of interesting reasoning problems. Here, we present a decidable such combination which is, to the best of our knowledge, more general than similar decidable combinations proposed so far. Decidability is obtained by restricting rules to so-called DL-safe ones, requiring each variable in a rule to occur in a non-DL-atom in the rule body. We show that query answering in such a combined logic is decidable, and we discuss its expressive power by means of a non-trivial example. Finally, we present an algorithm for query answering in \\documentclass[12pt]{minimal}\n\t\t\t\t\\usepackage{amsmath}\n\t\t\t\t\\usepackage{wasysym}\n\t\t\t\t\\usepackage{amsfonts}\n\t\t\t\t\\usepackage{amssymb}\n\t\t\t\t\\usepackage{amsbsy}\n\t\t\t\t\\usepackage{mathrsfs}\n\t\t\t\t\\usepackage{upgreek}\n\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\n\t\t\t\t\\begin{document}$\\mathcal{SHIQ}(\\mathbf{D})$\\end{document} extended with DL-safe rules based on the reduction to disjunctive datalog.", 
    "editor": [
      {
        "familyName": "McIlraith", 
        "givenName": "Sheila A.", 
        "type": "Person"
      }, 
      {
        "familyName": "Plexousakis", 
        "givenName": "Dimitris", 
        "type": "Person"
      }, 
      {
        "familyName": "van Harmelen", 
        "givenName": "Frank", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-30475-3_38", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-23798-3", 
        "978-3-540-30475-3"
      ], 
      "name": "The Semantic Web \u2013 ISWC 2004", 
      "type": "Book"
    }, 
    "keywords": [
      "OWL-DL", 
      "expressive power", 
      "DL-safe rules", 
      "Semantic Web ontologies", 
      "interesting reasoning problems", 
      "Web ontologies", 
      "combined logic", 
      "rule bodies", 
      "disjunctive Datalog", 
      "Horn rules", 
      "queries", 
      "universal quantification", 
      "reasoning problems", 
      "decidable logic", 
      "non-trivial examples", 
      "arbitrary way", 
      "logic", 
      "rules", 
      "Datalog", 
      "ontology", 
      "such combinations", 
      "algorithm", 
      "logic perspective", 
      "decidability", 
      "undecidability", 
      "negation", 
      "power", 
      "example", 
      "way", 
      "knowledge", 
      "combination", 
      "one", 
      "interaction of variables", 
      "variables", 
      "means", 
      "perspective", 
      "interaction", 
      "reduction", 
      "quantification", 
      "body", 
      "atoms", 
      "problem", 
      "function-free Horn rules", 
      "orthogonal expressive power", 
      "tree-like rules", 
      "monotonic negation", 
      "description logic perspective", 
      "decidable such combination", 
      "similar decidable combinations", 
      "decidable combinations", 
      "DL-safe ones"
    ], 
    "name": "Query Answering for OWL-DL with Rules", 
    "pagination": "549-563", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1029644560"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-30475-3_38"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-30475-3_38", 
      "https://app.dimensions.ai/details/publication/pub.1029644560"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:13", 
    "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_231.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-30475-3_38"
  }
]

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.

138 TRIPLES      23 PREDICATES      77 URIs      70 LITERALS      7 BLANK NODES