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

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 Nab97a3d4f676446b9ce16f800fada464
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 N77e1d6536d3944228618ee069f6958e4
19 N820fcb41e5c44e099957912d21a3add4
20 sg:journal.1136522
21 schema:name Absorption for ABoxes
22 schema:pagination 215-243
23 schema:productId N7e77da5a42614fa181e98d326aade919
24 Na6371282895745b596847822208978f8
25 Na6b86d6470da412cad13634a2b3dd56e
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 N5ec01858f1fc4ee88d03aa1a0cef0027
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 N5ec01858f1fc4ee88d03aa1a0cef0027 schema:name Springer Nature - SN SciGraph project
36 rdf:type schema:Organization
37 N69428039b96d4d87aeb539d3b8ed5a22 rdf:first sg:person.01111756132.29
38 rdf:rest rdf:nil
39 N77e1d6536d3944228618ee069f6958e4 schema:issueNumber 3
40 rdf:type schema:PublicationIssue
41 N7e77da5a42614fa181e98d326aade919 schema:name dimensions_id
42 schema:value pub.1053300788
43 rdf:type schema:PropertyValue
44 N820fcb41e5c44e099957912d21a3add4 schema:volumeNumber 53
45 rdf:type schema:PublicationVolume
46 N8f6e7d3cd8624242b69569778415738e rdf:first sg:person.011644611743.11
47 rdf:rest N69428039b96d4d87aeb539d3b8ed5a22
48 Na6371282895745b596847822208978f8 schema:name doi
49 schema:value 10.1007/s10817-014-9304-2
50 rdf:type schema:PropertyValue
51 Na6b86d6470da412cad13634a2b3dd56e schema:name readcube_id
52 schema:value fde1e544a6b91705cb6ccdcbe4246a0c8bc6ec27a22728b9e311c0264ad75dce
53 rdf:type schema:PropertyValue
54 Nab97a3d4f676446b9ce16f800fada464 rdf:first sg:person.07420566074.52
55 rdf:rest Nc3e38bbcbb9e48c6ae0e6807d038e1d0
56 Nc3e38bbcbb9e48c6ae0e6807d038e1d0 rdf:first sg:person.0702641766.21
57 rdf:rest N8f6e7d3cd8624242b69569778415738e
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)


...