Absorption for ABoxes View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2014-10

AUTHORS

Jiewen Wu, Alexander Hudek, David Toman, Grant Weddell

ABSTRACT

We consider the instance checking problem over SℋIQ(D) knowledge bases, that is, the problem of determining if the class membership of a given object is logically implied by a knowledge base expressed in terms of the description logic (DL) dialect SℋIQ(D). Such problems are inevitable in conjunctive query evaluation over such knowledge bases, or indeed for any knowledge bases that rely on an ability to capture disjunction and/or negation in an underlying DL. This includes the problem of evaluating basic graph patterns occurring in SPARQL queries over RDF graphs with the so-called OWL 2 direct semantics entailment regime, that is, where the RDF graph is an OWL 2 ontology. Our main result is a novel method for such problems that derives from an adaptation of binary absorption. We show that the method works particularly well for knowledge bases that have a very large collection of factual assertions about individual objects. More... »

PAGES

215-243

References to SciGraph publications

  • 1994-05. Am empirical analysis of optimization techniques for terminological representation systems in APPLIED INTELLIGENCE
  • 1999. Practical Reasoning for Expressive Description Logics in LOGIC FOR PROGRAMMING AND AUTOMATED REASONING
  • 2009. Ontologies and Databases: The DL-Lite Approach in REASONING WEB. SEMANTIC TECHNOLOGIES FOR INFORMATION SYSTEMS
  • 2008-08. On the Scalability of Description Logic Instance Retrieval in JOURNAL OF AUTOMATED REASONING
  • 2012. Cost Based Query Ordering over OWL Ontologies in THE SEMANTIC WEB – ISWC 2012
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10817-014-9304-2

    DOI

    http://dx.doi.org/10.1007/s10817-014-9304-2

    DIMENSIONS

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


    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/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/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Waterloo", 
              "id": "https://www.grid.ac/institutes/grid.46078.3d", 
              "name": [
                "D.R. Cheriton School of Computer Science, University of Waterloo, N2L 3G1, Waterloo, Ontario, Canada"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Wu", 
            "givenName": "Jiewen", 
            "id": "sg:person.07420566074.52", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07420566074.52"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Waterloo", 
              "id": "https://www.grid.ac/institutes/grid.46078.3d", 
              "name": [
                "D.R. Cheriton School of Computer Science, University of Waterloo, N2L 3G1, Waterloo, Ontario, Canada"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Hudek", 
            "givenName": "Alexander", 
            "id": "sg:person.0702641766.21", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0702641766.21"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Waterloo", 
              "id": "https://www.grid.ac/institutes/grid.46078.3d", 
              "name": [
                "D.R. Cheriton School of Computer Science, University of Waterloo, N2L 3G1, Waterloo, Ontario, Canada"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Toman", 
            "givenName": "David", 
            "id": "sg:person.011644611743.11", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011644611743.11"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Waterloo", 
              "id": "https://www.grid.ac/institutes/grid.46078.3d", 
              "name": [
                "D.R. Cheriton School of Computer Science, University of Waterloo, N2L 3G1, Waterloo, Ontario, Canada"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Weddell", 
            "givenName": "Grant", 
            "id": "sg:person.01111756132.29", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01111756132.29"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1016/j.jal.2007.07.006", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006518601"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00872105", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007293055", 
              "https://doi.org/10.1007/bf00872105"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-03754-2_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010170246", 
              "https://doi.org/10.1007/978-3-642-03754-2_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48242-3_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023975982", 
              "https://doi.org/10.1007/3-540-48242-3_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-35176-1_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030908178", 
              "https://doi.org/10.1007/978-3-642-35176-1_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10817-008-9104-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032965985", 
              "https://doi.org/10.1007/s10817-008-9104-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1613/jair.705", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1105579505"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1613/jair.2811", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1105674387"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2014-10", 
        "datePublishedReg": "2014-10-01", 
        "description": "We consider the instance checking problem over S\u210bIQ(D) knowledge bases, that is, the problem of determining if the class membership of a given object is logically implied by a knowledge base expressed in terms of the description logic (DL) dialect S\u210bIQ(D). Such problems are inevitable in conjunctive query evaluation over such knowledge bases, or indeed for any knowledge bases that rely on an ability to capture disjunction and/or negation in an underlying DL. This includes the problem of evaluating basic graph patterns occurring in SPARQL queries over RDF graphs with the so-called OWL 2 direct semantics entailment regime, that is, where the RDF graph is an OWL 2 ontology. Our main result is a novel method for such problems that derives from an adaptation of binary absorption. We show that the method works particularly well for knowledge bases that have a very large collection of factual assertions about individual objects.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s10817-014-9304-2", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1136522", 
            "issn": [
              "0168-7433", 
              "1573-0670"
            ], 
            "name": "Journal of Automated Reasoning", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "3", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "53"
          }
        ], 
        "name": "Absorption for ABoxes", 
        "pagination": "215-243", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "fde1e544a6b91705cb6ccdcbe4246a0c8bc6ec27a22728b9e311c0264ad75dce"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10817-014-9304-2"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1053300788"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10817-014-9304-2", 
          "https://app.dimensions.ai/details/publication/pub.1053300788"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-10T20:48", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8684_00000516.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "http://link.springer.com/10.1007%2Fs10817-014-9304-2"
      }
    ]
     

    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-014-9304-2'

    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-014-9304-2'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10817-014-9304-2'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10817-014-9304-2'


     

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

    111 TRIPLES      21 PREDICATES      35 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10817-014-9304-2 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author Nc41d041900a34fc79e890ffc7b433708
    4 schema:citation sg:pub.10.1007/3-540-48242-3_11
    5 sg:pub.10.1007/978-3-642-03754-2_7
    6 sg:pub.10.1007/978-3-642-35176-1_15
    7 sg:pub.10.1007/bf00872105
    8 sg:pub.10.1007/s10817-008-9104-7
    9 https://doi.org/10.1016/j.jal.2007.07.006
    10 https://doi.org/10.1613/jair.2811
    11 https://doi.org/10.1613/jair.705
    12 schema:datePublished 2014-10
    13 schema:datePublishedReg 2014-10-01
    14 schema:description We consider the instance checking problem over SℋIQ(D) knowledge bases, that is, the problem of determining if the class membership of a given object is logically implied by a knowledge base expressed in terms of the description logic (DL) dialect SℋIQ(D). Such problems are inevitable in conjunctive query evaluation over such knowledge bases, or indeed for any knowledge bases that rely on an ability to capture disjunction and/or negation in an underlying DL. This includes the problem of evaluating basic graph patterns occurring in SPARQL queries over RDF graphs with the so-called OWL 2 direct semantics entailment regime, that is, where the RDF graph is an OWL 2 ontology. Our main result is a novel method for such problems that derives from an adaptation of binary absorption. We show that the method works particularly well for knowledge bases that have a very large collection of factual assertions about individual objects.
    15 schema:genre research_article
    16 schema:inLanguage en
    17 schema:isAccessibleForFree false
    18 schema:isPartOf N49cb8fbd55724b38b49e02bb379a5092
    19 N5e2d3ab157d24622911f8be4918ffd3c
    20 sg:journal.1136522
    21 schema:name Absorption for ABoxes
    22 schema:pagination 215-243
    23 schema:productId N184c625b053042b293260e1e7802c3cf
    24 N515445fa82a0410daea5afc5978138cb
    25 N55e56330835144e4a7c701b0397a0e74
    26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053300788
    27 https://doi.org/10.1007/s10817-014-9304-2
    28 schema:sdDatePublished 2019-04-10T20:48
    29 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    30 schema:sdPublisher N6dcc794018564a489d3c230ae834fd40
    31 schema:url http://link.springer.com/10.1007%2Fs10817-014-9304-2
    32 sgo:license sg:explorer/license/
    33 sgo:sdDataset articles
    34 rdf:type schema:ScholarlyArticle
    35 N184c625b053042b293260e1e7802c3cf schema:name readcube_id
    36 schema:value fde1e544a6b91705cb6ccdcbe4246a0c8bc6ec27a22728b9e311c0264ad75dce
    37 rdf:type schema:PropertyValue
    38 N247beb6c59264f2a84218a99d48ad7a8 rdf:first sg:person.01111756132.29
    39 rdf:rest rdf:nil
    40 N46db68b6201a479fb1a06f5ba7e33c3b rdf:first sg:person.011644611743.11
    41 rdf:rest N247beb6c59264f2a84218a99d48ad7a8
    42 N49cb8fbd55724b38b49e02bb379a5092 schema:issueNumber 3
    43 rdf:type schema:PublicationIssue
    44 N515445fa82a0410daea5afc5978138cb schema:name dimensions_id
    45 schema:value pub.1053300788
    46 rdf:type schema:PropertyValue
    47 N55e56330835144e4a7c701b0397a0e74 schema:name doi
    48 schema:value 10.1007/s10817-014-9304-2
    49 rdf:type schema:PropertyValue
    50 N5e2d3ab157d24622911f8be4918ffd3c schema:volumeNumber 53
    51 rdf:type schema:PublicationVolume
    52 N6dcc794018564a489d3c230ae834fd40 schema:name Springer Nature - SN SciGraph project
    53 rdf:type schema:Organization
    54 N79465ff4d06345c487025abb4c95afd5 rdf:first sg:person.0702641766.21
    55 rdf:rest N46db68b6201a479fb1a06f5ba7e33c3b
    56 Nc41d041900a34fc79e890ffc7b433708 rdf:first sg:person.07420566074.52
    57 rdf:rest N79465ff4d06345c487025abb4c95afd5
    58 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    59 schema:name Information and Computing Sciences
    60 rdf:type schema:DefinedTerm
    61 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    62 schema:name Computation Theory and Mathematics
    63 rdf:type schema:DefinedTerm
    64 sg:journal.1136522 schema:issn 0168-7433
    65 1573-0670
    66 schema:name Journal of Automated Reasoning
    67 rdf:type schema:Periodical
    68 sg:person.01111756132.29 schema:affiliation https://www.grid.ac/institutes/grid.46078.3d
    69 schema:familyName Weddell
    70 schema:givenName Grant
    71 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01111756132.29
    72 rdf:type schema:Person
    73 sg:person.011644611743.11 schema:affiliation https://www.grid.ac/institutes/grid.46078.3d
    74 schema:familyName Toman
    75 schema:givenName David
    76 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011644611743.11
    77 rdf:type schema:Person
    78 sg:person.0702641766.21 schema:affiliation https://www.grid.ac/institutes/grid.46078.3d
    79 schema:familyName Hudek
    80 schema:givenName Alexander
    81 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0702641766.21
    82 rdf:type schema:Person
    83 sg:person.07420566074.52 schema:affiliation https://www.grid.ac/institutes/grid.46078.3d
    84 schema:familyName Wu
    85 schema:givenName Jiewen
    86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07420566074.52
    87 rdf:type schema:Person
    88 sg:pub.10.1007/3-540-48242-3_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023975982
    89 https://doi.org/10.1007/3-540-48242-3_11
    90 rdf:type schema:CreativeWork
    91 sg:pub.10.1007/978-3-642-03754-2_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010170246
    92 https://doi.org/10.1007/978-3-642-03754-2_7
    93 rdf:type schema:CreativeWork
    94 sg:pub.10.1007/978-3-642-35176-1_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030908178
    95 https://doi.org/10.1007/978-3-642-35176-1_15
    96 rdf:type schema:CreativeWork
    97 sg:pub.10.1007/bf00872105 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007293055
    98 https://doi.org/10.1007/bf00872105
    99 rdf:type schema:CreativeWork
    100 sg:pub.10.1007/s10817-008-9104-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032965985
    101 https://doi.org/10.1007/s10817-008-9104-7
    102 rdf:type schema:CreativeWork
    103 https://doi.org/10.1016/j.jal.2007.07.006 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006518601
    104 rdf:type schema:CreativeWork
    105 https://doi.org/10.1613/jair.2811 schema:sameAs https://app.dimensions.ai/details/publication/pub.1105674387
    106 rdf:type schema:CreativeWork
    107 https://doi.org/10.1613/jair.705 schema:sameAs https://app.dimensions.ai/details/publication/pub.1105579505
    108 rdf:type schema:CreativeWork
    109 https://www.grid.ac/institutes/grid.46078.3d schema:alternateName University of Waterloo
    110 schema:name D.R. Cheriton School of Computer Science, University of Waterloo, N2L 3G1, Waterloo, Ontario, Canada
    111 rdf:type schema:Organization
     




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


    ...