A Resolution-Based Decision Procedure for View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2008-01-04

AUTHORS

Yevgeny Kazakov, Boris Motik

ABSTRACT

We present a resolution-based decision procedure for the description logic \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{SHOIQ}$\end{document} – the logic underlying the Semantic Web ontology language OWLDL. Our procedure is goal-oriented, and it naturally extends a similar procedure for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{SHIQ}$\end{document}, which has proven itself in practice. Extending this procedure to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{SHOIQ}$\end{document} using existing techniques is not straightforward because of nominals, number restrictions, and inverse roles – a combination known to cause termination problems. We overcome this difficulty by using basic superposition calculus extended with custom simplification rules. More... »

PAGES

89-116

References to SciGraph publications

  • 2005-06. Complexity of the Two-Variable Fragment with Counting Quantifiers in JOURNAL OF LOGIC, LANGUAGE AND INFORMATION
  • 2006. A Resolution-Based Decision Procedure for in AUTOMATED REASONING
  • 2006. Blocking and Other Enhancements for Bottom-Up Model Generation Methods in AUTOMATED REASONING
  • 2005. A Decomposition Rule for Decision Procedures by Resolution-Based Calculi in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
  • 2001-08-30. Uniform Derivation of Decision Procedures by Superposition in COMPUTER SCIENCE LOGIC
  • 2001-06-08. A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality in AUTOMATED REASONING
  • 2004. A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards in AUTOMATED REASONING
  • 2000. Reasoning with Individuals for the Description Logic in AUTOMATED DEDUCTION - CADE-17
  • 1995-09. Data model and query evaluation in global information systems in JOURNAL OF INTELLIGENT INFORMATION SYSTEMS
  • 1999. Maslov’s Class K Revisited in AUTOMATED DEDUCTION — CADE-16
  • 1993. Superposition with simplification as a decision procedure for the monadic class with equality in COMPUTATIONAL LOGIC AND PROOF THEORY
  • 2003. A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae in AUTOMATED DEDUCTION – CADE-19
  • 2006. A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
  • 1993. Resolution Methods for the Decision Problem in NONE
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10817-007-9090-1

    DOI

    http://dx.doi.org/10.1007/s10817-007-9090-1

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1001589922


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    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/17", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Psychology and Cognitive 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/1702", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Cognitive Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Computing Laboratory, University of Oxford, Oxford, UK", 
              "id": "http://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Computing Laboratory, University of Oxford, Oxford, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Kazakov", 
            "givenName": "Yevgeny", 
            "id": "sg:person.013173133226.01", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013173133226.01"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Computing Laboratory, University of Oxford, Oxford, UK", 
              "id": "http://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Computing Laboratory, University of Oxford, Oxford, UK"
              ], 
              "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"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/bfb0022557", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009666055", 
              "https://doi.org/10.1007/bfb0022557"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-32275-7_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000889893", 
              "https://doi.org/10.1007/978-3-540-32275-7_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-44802-0_36", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024026237", 
              "https://doi.org/10.1007/3-540-44802-0_36"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00962627", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048846126", 
              "https://doi.org/10.1007/bf00962627"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48660-7_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003311515", 
              "https://doi.org/10.1007/3-540-48660-7_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-45744-5_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025276999", 
              "https://doi.org/10.1007/3-540-45744-5_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-56732-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1109702587", 
              "https://doi.org/10.1007/3-540-56732-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11916277_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001693914", 
              "https://doi.org/10.1007/11916277_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-25984-8_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034820411", 
              "https://doi.org/10.1007/978-3-540-25984-8_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11814771_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041772767", 
              "https://doi.org/10.1007/11814771_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10849-005-5791-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011782885", 
              "https://doi.org/10.1007/s10849-005-5791-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10721959_39", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052544451", 
              "https://doi.org/10.1007/10721959_39"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-45085-6_36", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009361597", 
              "https://doi.org/10.1007/978-3-540-45085-6_36"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11814771_53", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007066017", 
              "https://doi.org/10.1007/11814771_53"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2008-01-04", 
        "datePublishedReg": "2008-01-04", 
        "description": "We present a resolution-based decision procedure for the description logic \\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{SHOIQ}$\\end{document} \u2013 the logic underlying the Semantic Web ontology language OWLDL. Our procedure is goal-oriented, and it naturally extends a similar procedure for \\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}$\\end{document}, which has proven itself in practice. Extending this procedure to \\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{SHOIQ}$\\end{document} using existing techniques is not straightforward because of nominals, number restrictions, and inverse roles \u2013 a combination known to cause termination problems. We overcome this difficulty by using basic superposition calculus extended with custom simplification rules.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s10817-007-9090-1", 
        "inLanguage": "en", 
        "isAccessibleForFree": false, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.2778147", 
            "type": "MonetaryGrant"
          }
        ], 
        "isPartOf": [
          {
            "id": "sg:journal.1136522", 
            "issn": [
              "0168-7433", 
              "1573-0670"
            ], 
            "name": "Journal of Automated Reasoning", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "2-3", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "40"
          }
        ], 
        "keywords": [
          "decision procedure", 
          "description logics", 
          "existing techniques", 
          "number restrictions", 
          "termination problem", 
          "simplification rules", 
          "logic", 
          "inverse roles", 
          "superposition calculus", 
          "rules", 
          "calculus", 
          "technique", 
          "procedure", 
          "difficulties", 
          "restriction", 
          "resolution", 
          "combination", 
          "practice", 
          "nominals", 
          "similar procedure", 
          "role", 
          "problem", 
          "resolution-based decision procedure", 
          "Semantic Web ontology language OWLDL", 
          "Web ontology language OWLDL", 
          "ontology language OWLDL", 
          "language OWLDL", 
          "OWLDL", 
          "basic superposition calculus", 
          "custom simplification rules"
        ], 
        "name": "A Resolution-Based Decision Procedure for", 
        "pagination": "89-116", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1001589922"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10817-007-9090-1"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10817-007-9090-1", 
          "https://app.dimensions.ai/details/publication/pub.1001589922"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2022-01-01T18:18", 
        "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/article/article_457.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s10817-007-9090-1"
      }
    ]
     

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

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s10817-007-9090-1'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s10817-007-9090-1'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10817-007-9090-1'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10817-007-9090-1'


     

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

    165 TRIPLES      22 PREDICATES      72 URIs      47 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10817-007-9090-1 schema:about anzsrc-for:08
    2 anzsrc-for:0801
    3 anzsrc-for:0802
    4 anzsrc-for:17
    5 anzsrc-for:1702
    6 schema:author N1ca1e263d7614e53be8629a28d654715
    7 schema:citation sg:pub.10.1007/10721959_39
    8 sg:pub.10.1007/11814771_11
    9 sg:pub.10.1007/11814771_53
    10 sg:pub.10.1007/11916277_16
    11 sg:pub.10.1007/3-540-44802-0_36
    12 sg:pub.10.1007/3-540-45744-5_16
    13 sg:pub.10.1007/3-540-48660-7_12
    14 sg:pub.10.1007/3-540-56732-1
    15 sg:pub.10.1007/978-3-540-25984-8_7
    16 sg:pub.10.1007/978-3-540-32275-7_2
    17 sg:pub.10.1007/978-3-540-45085-6_36
    18 sg:pub.10.1007/bf00962627
    19 sg:pub.10.1007/bfb0022557
    20 sg:pub.10.1007/s10849-005-5791-1
    21 schema:datePublished 2008-01-04
    22 schema:datePublishedReg 2008-01-04
    23 schema:description We present a resolution-based decision procedure for the description logic \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{SHOIQ}$\end{document} – the logic underlying the Semantic Web ontology language OWLDL. Our procedure is goal-oriented, and it naturally extends a similar procedure for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{SHIQ}$\end{document}, which has proven itself in practice. Extending this procedure to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{SHOIQ}$\end{document} using existing techniques is not straightforward because of nominals, number restrictions, and inverse roles – a combination known to cause termination problems. We overcome this difficulty by using basic superposition calculus extended with custom simplification rules.
    24 schema:genre article
    25 schema:inLanguage en
    26 schema:isAccessibleForFree false
    27 schema:isPartOf N580f000462704760800fcb9e2ff43d16
    28 Na6a1ea603bf643059199bccd4ea0ad15
    29 sg:journal.1136522
    30 schema:keywords OWLDL
    31 Semantic Web ontology language OWLDL
    32 Web ontology language OWLDL
    33 basic superposition calculus
    34 calculus
    35 combination
    36 custom simplification rules
    37 decision procedure
    38 description logics
    39 difficulties
    40 existing techniques
    41 inverse roles
    42 language OWLDL
    43 logic
    44 nominals
    45 number restrictions
    46 ontology language OWLDL
    47 practice
    48 problem
    49 procedure
    50 resolution
    51 resolution-based decision procedure
    52 restriction
    53 role
    54 rules
    55 similar procedure
    56 simplification rules
    57 superposition calculus
    58 technique
    59 termination problem
    60 schema:name A Resolution-Based Decision Procedure for
    61 schema:pagination 89-116
    62 schema:productId N183c904abe524865bae95e695ae82a1a
    63 Nb2fec6b44c7c49d69b4e9b2c28834f60
    64 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001589922
    65 https://doi.org/10.1007/s10817-007-9090-1
    66 schema:sdDatePublished 2022-01-01T18:18
    67 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    68 schema:sdPublisher N4ea9517b7de149299a23ecd7ac172d33
    69 schema:url https://doi.org/10.1007/s10817-007-9090-1
    70 sgo:license sg:explorer/license/
    71 sgo:sdDataset articles
    72 rdf:type schema:ScholarlyArticle
    73 N183c904abe524865bae95e695ae82a1a schema:name dimensions_id
    74 schema:value pub.1001589922
    75 rdf:type schema:PropertyValue
    76 N1ca1e263d7614e53be8629a28d654715 rdf:first sg:person.013173133226.01
    77 rdf:rest Ncc30616fd9c94653a95cab209ffb4a13
    78 N4ea9517b7de149299a23ecd7ac172d33 schema:name Springer Nature - SN SciGraph project
    79 rdf:type schema:Organization
    80 N580f000462704760800fcb9e2ff43d16 schema:volumeNumber 40
    81 rdf:type schema:PublicationVolume
    82 Na6a1ea603bf643059199bccd4ea0ad15 schema:issueNumber 2-3
    83 rdf:type schema:PublicationIssue
    84 Nb2fec6b44c7c49d69b4e9b2c28834f60 schema:name doi
    85 schema:value 10.1007/s10817-007-9090-1
    86 rdf:type schema:PropertyValue
    87 Ncc30616fd9c94653a95cab209ffb4a13 rdf:first sg:person.07401076267.36
    88 rdf:rest rdf:nil
    89 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    90 schema:name Information and Computing Sciences
    91 rdf:type schema:DefinedTerm
    92 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
    93 schema:name Artificial Intelligence and Image Processing
    94 rdf:type schema:DefinedTerm
    95 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    96 schema:name Computation Theory and Mathematics
    97 rdf:type schema:DefinedTerm
    98 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
    99 schema:name Psychology and Cognitive Sciences
    100 rdf:type schema:DefinedTerm
    101 anzsrc-for:1702 schema:inDefinedTermSet anzsrc-for:
    102 schema:name Cognitive Sciences
    103 rdf:type schema:DefinedTerm
    104 sg:grant.2778147 http://pending.schema.org/fundedItem sg:pub.10.1007/s10817-007-9090-1
    105 rdf:type schema:MonetaryGrant
    106 sg:journal.1136522 schema:issn 0168-7433
    107 1573-0670
    108 schema:name Journal of Automated Reasoning
    109 schema:publisher Springer Nature
    110 rdf:type schema:Periodical
    111 sg:person.013173133226.01 schema:affiliation grid-institutes:grid.4991.5
    112 schema:familyName Kazakov
    113 schema:givenName Yevgeny
    114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013173133226.01
    115 rdf:type schema:Person
    116 sg:person.07401076267.36 schema:affiliation grid-institutes:grid.4991.5
    117 schema:familyName Motik
    118 schema:givenName Boris
    119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36
    120 rdf:type schema:Person
    121 sg:pub.10.1007/10721959_39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052544451
    122 https://doi.org/10.1007/10721959_39
    123 rdf:type schema:CreativeWork
    124 sg:pub.10.1007/11814771_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041772767
    125 https://doi.org/10.1007/11814771_11
    126 rdf:type schema:CreativeWork
    127 sg:pub.10.1007/11814771_53 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007066017
    128 https://doi.org/10.1007/11814771_53
    129 rdf:type schema:CreativeWork
    130 sg:pub.10.1007/11916277_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001693914
    131 https://doi.org/10.1007/11916277_16
    132 rdf:type schema:CreativeWork
    133 sg:pub.10.1007/3-540-44802-0_36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024026237
    134 https://doi.org/10.1007/3-540-44802-0_36
    135 rdf:type schema:CreativeWork
    136 sg:pub.10.1007/3-540-45744-5_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025276999
    137 https://doi.org/10.1007/3-540-45744-5_16
    138 rdf:type schema:CreativeWork
    139 sg:pub.10.1007/3-540-48660-7_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003311515
    140 https://doi.org/10.1007/3-540-48660-7_12
    141 rdf:type schema:CreativeWork
    142 sg:pub.10.1007/3-540-56732-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1109702587
    143 https://doi.org/10.1007/3-540-56732-1
    144 rdf:type schema:CreativeWork
    145 sg:pub.10.1007/978-3-540-25984-8_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034820411
    146 https://doi.org/10.1007/978-3-540-25984-8_7
    147 rdf:type schema:CreativeWork
    148 sg:pub.10.1007/978-3-540-32275-7_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000889893
    149 https://doi.org/10.1007/978-3-540-32275-7_2
    150 rdf:type schema:CreativeWork
    151 sg:pub.10.1007/978-3-540-45085-6_36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009361597
    152 https://doi.org/10.1007/978-3-540-45085-6_36
    153 rdf:type schema:CreativeWork
    154 sg:pub.10.1007/bf00962627 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048846126
    155 https://doi.org/10.1007/bf00962627
    156 rdf:type schema:CreativeWork
    157 sg:pub.10.1007/bfb0022557 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009666055
    158 https://doi.org/10.1007/bfb0022557
    159 rdf:type schema:CreativeWork
    160 sg:pub.10.1007/s10849-005-5791-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011782885
    161 https://doi.org/10.1007/s10849-005-5791-1
    162 rdf:type schema:CreativeWork
    163 grid-institutes:grid.4991.5 schema:alternateName Computing Laboratory, University of Oxford, Oxford, UK
    164 schema:name Computing Laboratory, University of Oxford, Oxford, UK
    165 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...