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
  • 2001-06-08. A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality in AUTOMATED REASONING
  • 2001-08-30. Uniform Derivation of Decision Procedures by Superposition in COMPUTER SCIENCE LOGIC
  • 2005. A Decomposition Rule for Decision Procedures by Resolution-Based Calculi in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND 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/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/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/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/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/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/bf00962627", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048846126", 
              "https://doi.org/10.1007/bf00962627"
            ], 
            "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/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/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/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/11814771_53", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007066017", 
              "https://doi.org/10.1007/11814771_53"
            ], 
            "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/bfb0022557", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009666055", 
              "https://doi.org/10.1007/bfb0022557"
            ], 
            "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", 
          "superposition calculus", 
          "inverse roles", 
          "rules", 
          "calculus", 
          "technique", 
          "difficulties", 
          "procedure", 
          "restriction", 
          "resolution", 
          "practice", 
          "combination", 
          "similar procedure", 
          "nominals", 
          "role", 
          "problem"
        ], 
        "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-05-20T07:24", 
        "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_459.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.

    157 TRIPLES      22 PREDICATES      64 URIs      39 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 Nedc867d5b7584ad68a9ad8e5f9e96bb4
    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 N57bdb25d108747628c62783f751c64a6
    28 N653c766c02a44f1694fe7f44de243633
    29 sg:journal.1136522
    30 schema:keywords calculus
    31 combination
    32 decision procedure
    33 description logics
    34 difficulties
    35 existing techniques
    36 inverse roles
    37 logic
    38 nominals
    39 number restrictions
    40 practice
    41 problem
    42 procedure
    43 resolution
    44 restriction
    45 role
    46 rules
    47 similar procedure
    48 simplification rules
    49 superposition calculus
    50 technique
    51 termination problem
    52 schema:name A Resolution-Based Decision Procedure for
    53 schema:pagination 89-116
    54 schema:productId Na346d57eba834e0e8760d84071ea5129
    55 Na749b1d5f6a24824913395be1bb5b2e3
    56 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001589922
    57 https://doi.org/10.1007/s10817-007-9090-1
    58 schema:sdDatePublished 2022-05-20T07:24
    59 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    60 schema:sdPublisher N8cf466bd92184150a485523248d7e747
    61 schema:url https://doi.org/10.1007/s10817-007-9090-1
    62 sgo:license sg:explorer/license/
    63 sgo:sdDataset articles
    64 rdf:type schema:ScholarlyArticle
    65 N57bdb25d108747628c62783f751c64a6 schema:volumeNumber 40
    66 rdf:type schema:PublicationVolume
    67 N653c766c02a44f1694fe7f44de243633 schema:issueNumber 2-3
    68 rdf:type schema:PublicationIssue
    69 N8cf466bd92184150a485523248d7e747 schema:name Springer Nature - SN SciGraph project
    70 rdf:type schema:Organization
    71 Na346d57eba834e0e8760d84071ea5129 schema:name doi
    72 schema:value 10.1007/s10817-007-9090-1
    73 rdf:type schema:PropertyValue
    74 Na749b1d5f6a24824913395be1bb5b2e3 schema:name dimensions_id
    75 schema:value pub.1001589922
    76 rdf:type schema:PropertyValue
    77 Ncee560d9cbf3429d906f89db0e968292 rdf:first sg:person.07401076267.36
    78 rdf:rest rdf:nil
    79 Nedc867d5b7584ad68a9ad8e5f9e96bb4 rdf:first sg:person.013173133226.01
    80 rdf:rest Ncee560d9cbf3429d906f89db0e968292
    81 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    82 schema:name Information and Computing Sciences
    83 rdf:type schema:DefinedTerm
    84 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
    85 schema:name Artificial Intelligence and Image Processing
    86 rdf:type schema:DefinedTerm
    87 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    88 schema:name Computation Theory and Mathematics
    89 rdf:type schema:DefinedTerm
    90 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
    91 schema:name Psychology and Cognitive Sciences
    92 rdf:type schema:DefinedTerm
    93 anzsrc-for:1702 schema:inDefinedTermSet anzsrc-for:
    94 schema:name Cognitive Sciences
    95 rdf:type schema:DefinedTerm
    96 sg:grant.2778147 http://pending.schema.org/fundedItem sg:pub.10.1007/s10817-007-9090-1
    97 rdf:type schema:MonetaryGrant
    98 sg:journal.1136522 schema:issn 0168-7433
    99 1573-0670
    100 schema:name Journal of Automated Reasoning
    101 schema:publisher Springer Nature
    102 rdf:type schema:Periodical
    103 sg:person.013173133226.01 schema:affiliation grid-institutes:grid.4991.5
    104 schema:familyName Kazakov
    105 schema:givenName Yevgeny
    106 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013173133226.01
    107 rdf:type schema:Person
    108 sg:person.07401076267.36 schema:affiliation grid-institutes:grid.4991.5
    109 schema:familyName Motik
    110 schema:givenName Boris
    111 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36
    112 rdf:type schema:Person
    113 sg:pub.10.1007/10721959_39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052544451
    114 https://doi.org/10.1007/10721959_39
    115 rdf:type schema:CreativeWork
    116 sg:pub.10.1007/11814771_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041772767
    117 https://doi.org/10.1007/11814771_11
    118 rdf:type schema:CreativeWork
    119 sg:pub.10.1007/11814771_53 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007066017
    120 https://doi.org/10.1007/11814771_53
    121 rdf:type schema:CreativeWork
    122 sg:pub.10.1007/11916277_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001693914
    123 https://doi.org/10.1007/11916277_16
    124 rdf:type schema:CreativeWork
    125 sg:pub.10.1007/3-540-44802-0_36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024026237
    126 https://doi.org/10.1007/3-540-44802-0_36
    127 rdf:type schema:CreativeWork
    128 sg:pub.10.1007/3-540-45744-5_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025276999
    129 https://doi.org/10.1007/3-540-45744-5_16
    130 rdf:type schema:CreativeWork
    131 sg:pub.10.1007/3-540-48660-7_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003311515
    132 https://doi.org/10.1007/3-540-48660-7_12
    133 rdf:type schema:CreativeWork
    134 sg:pub.10.1007/3-540-56732-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1109702587
    135 https://doi.org/10.1007/3-540-56732-1
    136 rdf:type schema:CreativeWork
    137 sg:pub.10.1007/978-3-540-25984-8_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034820411
    138 https://doi.org/10.1007/978-3-540-25984-8_7
    139 rdf:type schema:CreativeWork
    140 sg:pub.10.1007/978-3-540-32275-7_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000889893
    141 https://doi.org/10.1007/978-3-540-32275-7_2
    142 rdf:type schema:CreativeWork
    143 sg:pub.10.1007/978-3-540-45085-6_36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009361597
    144 https://doi.org/10.1007/978-3-540-45085-6_36
    145 rdf:type schema:CreativeWork
    146 sg:pub.10.1007/bf00962627 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048846126
    147 https://doi.org/10.1007/bf00962627
    148 rdf:type schema:CreativeWork
    149 sg:pub.10.1007/bfb0022557 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009666055
    150 https://doi.org/10.1007/bfb0022557
    151 rdf:type schema:CreativeWork
    152 sg:pub.10.1007/s10849-005-5791-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011782885
    153 https://doi.org/10.1007/s10849-005-5791-1
    154 rdf:type schema:CreativeWork
    155 grid-institutes:grid.4991.5 schema:alternateName Computing Laboratory, University of Oxford, Oxford, UK
    156 schema:name Computing Laboratory, University of Oxford, Oxford, UK
    157 rdf:type schema:Organization
     




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


    ...