Absorption for ABoxes and TBoxes with General Value Restrictions View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015-11-22

AUTHORS

Jiewen Wu , Taras Kinash , David Toman , Grant Weddell

ABSTRACT

We consider the instance checking problem 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(\mathbf {D})}$$\end{document} knowledge bases. In particular, we present a procedure that significantly reduces the number of ABox individuals that need to be examined for a given instance checking problem over a consistent \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {SHIQ(\mathbf {D})}$$\end{document} knowledge base that contains arbitrary occurrences of value restrictions. The procedure extends earlier work that assumed value restrictions were predominantly used to establish global domain and range restrictions, and, consequently, in which other applications of value restrictions had a significant risk of requiring an infeasible number of individuals to be examined for a given problem. Finally, experimental results are given that validate the effectiveness of the procedure. More... »

PAGES

609-622

Book

TITLE

AI 2015: Advances in Artificial Intelligence

ISBN

978-3-319-26349-6
978-3-319-26350-2

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-26350-2_54

DOI

http://dx.doi.org/10.1007/978-3-319-26350-2_54

DIMENSIONS

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


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/11", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Medical and Health Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1117", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Public Health and Health Services", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "Cheriton School of Computer Science, University of Waterloo, Waterloo, 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": "Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kinash", 
        "givenName": "Taras", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "Cheriton School of Computer Science, University of Waterloo, Waterloo, 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": "Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "Cheriton School of Computer Science, University of Waterloo, Waterloo, 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"
      }
    ], 
    "datePublished": "2015-11-22", 
    "datePublishedReg": "2015-11-22", 
    "description": "We consider the instance checking problem 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(\\mathbf {D})}$$\\end{document} knowledge bases. In particular, we present a procedure that significantly reduces the number of ABox individuals that need to be examined for a given instance checking problem over a consistent \\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(\\mathbf {D})}$$\\end{document} knowledge base that contains arbitrary occurrences of value restrictions. The procedure extends earlier work that assumed value restrictions were predominantly used to establish global domain and range restrictions, and, consequently, in which other applications of value restrictions had a significant risk of requiring an infeasible number of individuals to be examined for a given problem. Finally, experimental results are given that validate the effectiveness of the procedure.", 
    "editor": [
      {
        "familyName": "Pfahringer", 
        "givenName": "Bernhard", 
        "type": "Person"
      }, 
      {
        "familyName": "Renz", 
        "givenName": "Jochen", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-26350-2_54", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-26349-6", 
        "978-3-319-26350-2"
      ], 
      "name": "AI 2015: Advances in Artificial Intelligence", 
      "type": "Book"
    }, 
    "keywords": [
      "significant risk", 
      "individuals", 
      "procedure", 
      "restriction", 
      "risk", 
      "number", 
      "range restriction", 
      "occurrence", 
      "results", 
      "effectiveness", 
      "problem", 
      "basis", 
      "knowledge base", 
      "value restriction", 
      "checking problem", 
      "knowledge bases", 
      "instances", 
      "base", 
      "arbitrary occurrences", 
      "domain", 
      "infeasible number", 
      "experimental results", 
      "absorption", 
      "ABox", 
      "TBox", 
      "earlier work", 
      "work", 
      "global domain", 
      "applications", 
      "instance checking problem", 
      "ABox individuals", 
      "General Value Restrictions"
    ], 
    "name": "Absorption for ABoxes and TBoxes with General Value Restrictions", 
    "pagination": "609-622", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1039445507"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-26350-2_54"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-26350-2_54", 
      "https://app.dimensions.ai/details/publication/pub.1039445507"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-11-01T19:01", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/chapter/chapter_49.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-26350-2_54"
  }
]
 

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/978-3-319-26350-2_54'

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/978-3-319-26350-2_54'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-26350-2_54'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-26350-2_54'


 

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

117 TRIPLES      23 PREDICATES      57 URIs      50 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-26350-2_54 schema:about anzsrc-for:11
2 anzsrc-for:1117
3 schema:author N98d06b70a95e45738128cd4309c86c0d
4 schema:datePublished 2015-11-22
5 schema:datePublishedReg 2015-11-22
6 schema:description We consider the instance checking problem 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(\mathbf {D})}$$\end{document} knowledge bases. In particular, we present a procedure that significantly reduces the number of ABox individuals that need to be examined for a given instance checking problem over a consistent \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {SHIQ(\mathbf {D})}$$\end{document} knowledge base that contains arbitrary occurrences of value restrictions. The procedure extends earlier work that assumed value restrictions were predominantly used to establish global domain and range restrictions, and, consequently, in which other applications of value restrictions had a significant risk of requiring an infeasible number of individuals to be examined for a given problem. Finally, experimental results are given that validate the effectiveness of the procedure.
7 schema:editor N73125b3957ea4556bfa8100482acde77
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N1d8cfd5c72fd4b389662106671b4c360
12 schema:keywords ABox
13 ABox individuals
14 General Value Restrictions
15 TBox
16 absorption
17 applications
18 arbitrary occurrences
19 base
20 basis
21 checking problem
22 domain
23 earlier work
24 effectiveness
25 experimental results
26 global domain
27 individuals
28 infeasible number
29 instance checking problem
30 instances
31 knowledge base
32 knowledge bases
33 number
34 occurrence
35 problem
36 procedure
37 range restriction
38 restriction
39 results
40 risk
41 significant risk
42 value restriction
43 work
44 schema:name Absorption for ABoxes and TBoxes with General Value Restrictions
45 schema:pagination 609-622
46 schema:productId N9a8ecb9dca5d404abb2c94d59d923e5f
47 Nc8df87f424db4e4385bd3d638866d04d
48 schema:publisher Nfb0ccc96313f44279e2b6024aab37748
49 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039445507
50 https://doi.org/10.1007/978-3-319-26350-2_54
51 schema:sdDatePublished 2021-11-01T19:01
52 schema:sdLicense https://scigraph.springernature.com/explorer/license/
53 schema:sdPublisher N36368ca1c93149bcb0c2fea71fe9a061
54 schema:url https://doi.org/10.1007/978-3-319-26350-2_54
55 sgo:license sg:explorer/license/
56 sgo:sdDataset chapters
57 rdf:type schema:Chapter
58 N110243f2a8b8476785316dab5f454e78 schema:familyName Renz
59 schema:givenName Jochen
60 rdf:type schema:Person
61 N1d8cfd5c72fd4b389662106671b4c360 schema:isbn 978-3-319-26349-6
62 978-3-319-26350-2
63 schema:name AI 2015: Advances in Artificial Intelligence
64 rdf:type schema:Book
65 N24cb505cab5745b0ac35881e6b334819 rdf:first N8a6e9ae457124730990ce72ff0307b91
66 rdf:rest N87b5e9f1abd04227af2a6200ffad7595
67 N36368ca1c93149bcb0c2fea71fe9a061 schema:name Springer Nature - SN SciGraph project
68 rdf:type schema:Organization
69 N73125b3957ea4556bfa8100482acde77 rdf:first Nbdebc6c39604473794b2abfee347177e
70 rdf:rest Nddb9c1ee706849578edf26f8aafbebdb
71 N87b5e9f1abd04227af2a6200ffad7595 rdf:first sg:person.011644611743.11
72 rdf:rest Ne4e173a7c1e74a0faeb7a05f1c851671
73 N8a6e9ae457124730990ce72ff0307b91 schema:affiliation grid-institutes:grid.46078.3d
74 schema:familyName Kinash
75 schema:givenName Taras
76 rdf:type schema:Person
77 N98d06b70a95e45738128cd4309c86c0d rdf:first sg:person.07420566074.52
78 rdf:rest N24cb505cab5745b0ac35881e6b334819
79 N9a8ecb9dca5d404abb2c94d59d923e5f schema:name dimensions_id
80 schema:value pub.1039445507
81 rdf:type schema:PropertyValue
82 Nbdebc6c39604473794b2abfee347177e schema:familyName Pfahringer
83 schema:givenName Bernhard
84 rdf:type schema:Person
85 Nc8df87f424db4e4385bd3d638866d04d schema:name doi
86 schema:value 10.1007/978-3-319-26350-2_54
87 rdf:type schema:PropertyValue
88 Nddb9c1ee706849578edf26f8aafbebdb rdf:first N110243f2a8b8476785316dab5f454e78
89 rdf:rest rdf:nil
90 Ne4e173a7c1e74a0faeb7a05f1c851671 rdf:first sg:person.01111756132.29
91 rdf:rest rdf:nil
92 Nfb0ccc96313f44279e2b6024aab37748 schema:name Springer Nature
93 rdf:type schema:Organisation
94 anzsrc-for:11 schema:inDefinedTermSet anzsrc-for:
95 schema:name Medical and Health Sciences
96 rdf:type schema:DefinedTerm
97 anzsrc-for:1117 schema:inDefinedTermSet anzsrc-for:
98 schema:name Public Health and Health Services
99 rdf:type schema:DefinedTerm
100 sg:person.01111756132.29 schema:affiliation grid-institutes:grid.46078.3d
101 schema:familyName Weddell
102 schema:givenName Grant
103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01111756132.29
104 rdf:type schema:Person
105 sg:person.011644611743.11 schema:affiliation grid-institutes:grid.46078.3d
106 schema:familyName Toman
107 schema:givenName David
108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011644611743.11
109 rdf:type schema:Person
110 sg:person.07420566074.52 schema:affiliation grid-institutes:grid.46078.3d
111 schema:familyName Wu
112 schema:givenName Jiewen
113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07420566074.52
114 rdf:type schema:Person
115 grid-institutes:grid.46078.3d schema:alternateName Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada
116 schema:name Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada
117 rdf:type schema:Organization
 




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


...