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": "Department of Information Systems, Technical University of Vienna, and Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria", 
          "id": "http://www.grid.ac/institutes/grid.5329.d", 
          "name": [
            "Department of Information Systems, Technical University of Vienna, and Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Mozeti\u010d", 
        "givenName": "Igor", 
        "id": "sg:person.01340706300.17", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01340706300.17"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria", 
          "id": "http://www.grid.ac/institutes/grid.10420.37", 
          "name": [
            "Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Holzbaur", 
        "givenName": "Christian", 
        "id": "sg:person.015052747435.75", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/bf01239075", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023257228", 
          "https://doi.org/10.1007/bf01239075"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-76980-1_31", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1028685768", 
          "https://doi.org/10.1007/978-3-642-76980-1_31"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-16780-3_115", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1006880236", 
          "https://doi.org/10.1007/3-540-16780-3_115"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-53104-1_27", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1024441309", 
          "https://doi.org/10.1007/3-540-53104-1_27"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-83189-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1016029570", 
          "https://doi.org/10.1007/978-3-642-83189-8"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1994-03", 
    "datePublishedReg": "1994-03-01", 
    "description": "We present IDA \u2014 an incrementaldiagnosticalgorithm which computes minimal diagnoses from diagnoses, and not from conflicts. As a consequence of this, and by using different models, one can control the computational complexity. In particular, we show that by using a model of the normal behavior, the worst-case complexity of the algorithm to compute thek+1st minimal diagnosis isO(n2k), wheren is the number of components. On the practical side, an experimental evaluation indicates that the algorithm can efficiently diagnose devices consisting of a few thousand components. We propose to use a hierarchy of models: first a structural model to compute all minimal diagnoses, then a normal behavior model to find the additional diagnoses if needed, and only then a fault model for their verification. IDA separates model interpretation from the search for minimal diagnoses in the sense that the model interpreter is replaceable. In particular, we show that in some domains it is advantageous to use the constraint logic programming system CLP(\u00df) instead of a logic programming system like Prolog.", 
    "genre": "article", 
    "id": "sg:pub.10.1007/bf01530747", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1043955", 
        "issn": [
          "1012-2443", 
          "1573-7470"
        ], 
        "name": "Annals of Mathematics and Artificial Intelligence", 
        "publisher": "Springer Nature", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "1-4", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "11"
      }
    ], 
    "keywords": [
      "logic programming system", 
      "minimal diagnosis", 
      "programming system", 
      "constraint logic programming system", 
      "normal behavior model", 
      "model-based diagnosis", 
      "worst-case complexity", 
      "model interpreter", 
      "computational complexity", 
      "experimental evaluation", 
      "behavior model", 
      "normal behavior", 
      "algorithm", 
      "complexity", 
      "practical side", 
      "model interpretation", 
      "fault model", 
      "number of components", 
      "hierarchy of models", 
      "Prolog", 
      "verification", 
      "system", 
      "different models", 
      "model", 
      "interpreters", 
      "search", 
      "hierarchy", 
      "devices", 
      "domain", 
      "wheren", 
      "IDA", 
      "components", 
      "evaluation", 
      "number", 
      "sense", 
      "behavior", 
      "structural model", 
      "interpretation", 
      "conflict", 
      "diagnosis", 
      "side", 
      "consequences", 
      "additional diagnosis"
    ], 
    "name": "Controlling the complexity in model-based diagnosis", 
    "pagination": "297-314", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1044866488"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bf01530747"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/bf01530747", 
      "https://app.dimensions.ai/details/publication/pub.1044866488"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2022-05-20T07:19", 
    "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/article/article_227.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://doi.org/10.1007/bf01530747"
  }
]

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.

131 TRIPLES      22 PREDICATES      74 URIs      61 LITERALS      6 BLANK NODES