Optimized Description Logic Reasoning via Core Blocking View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2010-07-13

AUTHORS

Birte Glimm , Ian Horrocks , Boris Motik

ABSTRACT

State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyper)tableau algorithms. Despite numerous optimizations, certain ontologies encountered in practice still pose significant challenges to such reasoners, mainly because of the size of the model abstractions that they construct. To address this problem, we propose a new blocking technique that tries to identify and halt redundant construction at a much earlier stage than standard blocking techniques. An evaluation of a prototypical implementation in the HermiT reasoner shows that our technique can dramatically reduce the size of constructed model abstractions and reduce reasoning time. More... »

PAGES

457-471

Book

TITLE

Automated Reasoning

ISBN

978-3-642-14202-4
978-3-642-14203-1

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-14203-1_39

DOI

http://dx.doi.org/10.1007/978-3-642-14203-1_39

DIMENSIONS

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


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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Oxford University Computing Laboratory, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Oxford University Computing Laboratory, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Glimm", 
        "givenName": "Birte", 
        "id": "sg:person.015234565343.35", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015234565343.35"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Oxford University Computing Laboratory, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Oxford University Computing Laboratory, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Horrocks", 
        "givenName": "Ian", 
        "id": "sg:person.013100561643.19", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013100561643.19"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Oxford University Computing Laboratory, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Oxford University Computing Laboratory, 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"
      }
    ], 
    "datePublished": "2010-07-13", 
    "datePublishedReg": "2010-07-13", 
    "description": "State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyper)tableau algorithms. Despite numerous optimizations, certain ontologies encountered in practice still pose significant challenges to such reasoners, mainly because of the size of the model abstractions that they construct. To address this problem, we propose a new blocking technique that tries to identify and halt redundant construction at a much earlier stage than standard blocking techniques. An evaluation of a prototypical implementation in the HermiT reasoner shows that our technique can dramatically reduce the size of constructed model abstractions and reduce reasoning time.", 
    "editor": [
      {
        "familyName": "Giesl", 
        "givenName": "J\u00fcrgen", 
        "type": "Person"
      }, 
      {
        "familyName": "H\u00e4hnle", 
        "givenName": "Reiner", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-14203-1_39", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-642-14202-4", 
        "978-3-642-14203-1"
      ], 
      "name": "Automated Reasoning", 
      "type": "Book"
    }, 
    "keywords": [
      "model abstraction", 
      "description logics", 
      "OWL ontology language", 
      "blocking techniques", 
      "expressive description logics", 
      "Ontology Language", 
      "prototypical implementation", 
      "art reasoners", 
      "such reasoners", 
      "HermiT reasoner", 
      "reasoner", 
      "numerous optimizations", 
      "redundant construction", 
      "abstraction", 
      "certain ontologies", 
      "logic", 
      "implementation", 
      "significant challenge", 
      "ontology", 
      "algorithm", 
      "technique", 
      "language", 
      "optimization", 
      "challenges", 
      "construction", 
      "evaluation", 
      "early stages", 
      "time", 
      "blocking", 
      "state", 
      "size", 
      "practice", 
      "stage", 
      "problem", 
      "new blocking technique", 
      "standard blocking techniques", 
      "Core Blocking"
    ], 
    "name": "Optimized Description Logic Reasoning via Core Blocking", 
    "pagination": "457-471", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1017215454"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-14203-1_39"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-14203-1_39", 
      "https://app.dimensions.ai/details/publication/pub.1017215454"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:12", 
    "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/chapter/chapter_21.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-14203-1_39"
  }
]
 

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-642-14203-1_39'

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-642-14203-1_39'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-14203-1_39'

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-642-14203-1_39'


 

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

116 TRIPLES      23 PREDICATES      62 URIs      55 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-14203-1_39 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Ne0b53d2b43654436b9e5ad624eab867b
4 schema:datePublished 2010-07-13
5 schema:datePublishedReg 2010-07-13
6 schema:description State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyper)tableau algorithms. Despite numerous optimizations, certain ontologies encountered in practice still pose significant challenges to such reasoners, mainly because of the size of the model abstractions that they construct. To address this problem, we propose a new blocking technique that tries to identify and halt redundant construction at a much earlier stage than standard blocking techniques. An evaluation of a prototypical implementation in the HermiT reasoner shows that our technique can dramatically reduce the size of constructed model abstractions and reduce reasoning time.
7 schema:editor Nd8401713ecdf4eb381fdfd3f10a37507
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N3c0c0309e3c646c3b859dd7dbcca8621
12 schema:keywords Core Blocking
13 HermiT reasoner
14 OWL ontology language
15 Ontology Language
16 abstraction
17 algorithm
18 art reasoners
19 blocking
20 blocking techniques
21 certain ontologies
22 challenges
23 construction
24 description logics
25 early stages
26 evaluation
27 expressive description logics
28 implementation
29 language
30 logic
31 model abstraction
32 new blocking technique
33 numerous optimizations
34 ontology
35 optimization
36 practice
37 problem
38 prototypical implementation
39 reasoner
40 redundant construction
41 significant challenge
42 size
43 stage
44 standard blocking techniques
45 state
46 such reasoners
47 technique
48 time
49 schema:name Optimized Description Logic Reasoning via Core Blocking
50 schema:pagination 457-471
51 schema:productId N6806f35f75e74883b63950b24710d731
52 Nf7f27c73f14544ebb8e3d4fcd5e28d24
53 schema:publisher Nf3a6f2d2a8f643169a8ac9ea23d23900
54 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017215454
55 https://doi.org/10.1007/978-3-642-14203-1_39
56 schema:sdDatePublished 2022-01-01T19:12
57 schema:sdLicense https://scigraph.springernature.com/explorer/license/
58 schema:sdPublisher Nc638c4243db24698bbb4d74a6eab733d
59 schema:url https://doi.org/10.1007/978-3-642-14203-1_39
60 sgo:license sg:explorer/license/
61 sgo:sdDataset chapters
62 rdf:type schema:Chapter
63 N0f9618a4838f43309d52609e0548bb61 schema:familyName Giesl
64 schema:givenName Jürgen
65 rdf:type schema:Person
66 N3c0c0309e3c646c3b859dd7dbcca8621 schema:isbn 978-3-642-14202-4
67 978-3-642-14203-1
68 schema:name Automated Reasoning
69 rdf:type schema:Book
70 N5364c64a8df34e9baab80b6adf236f7e rdf:first N8f44f65ef1d14cf097f2c52aaaf475c4
71 rdf:rest rdf:nil
72 N6806f35f75e74883b63950b24710d731 schema:name doi
73 schema:value 10.1007/978-3-642-14203-1_39
74 rdf:type schema:PropertyValue
75 N8f44f65ef1d14cf097f2c52aaaf475c4 schema:familyName Hähnle
76 schema:givenName Reiner
77 rdf:type schema:Person
78 Nc638c4243db24698bbb4d74a6eab733d schema:name Springer Nature - SN SciGraph project
79 rdf:type schema:Organization
80 Nd7f6128b67c34274b3ab91f1378ebe29 rdf:first sg:person.07401076267.36
81 rdf:rest rdf:nil
82 Nd8401713ecdf4eb381fdfd3f10a37507 rdf:first N0f9618a4838f43309d52609e0548bb61
83 rdf:rest N5364c64a8df34e9baab80b6adf236f7e
84 Ne0b53d2b43654436b9e5ad624eab867b rdf:first sg:person.015234565343.35
85 rdf:rest Nea2e9c095ef849b8ae9bab69e87b175b
86 Nea2e9c095ef849b8ae9bab69e87b175b rdf:first sg:person.013100561643.19
87 rdf:rest Nd7f6128b67c34274b3ab91f1378ebe29
88 Nf3a6f2d2a8f643169a8ac9ea23d23900 schema:name Springer Nature
89 rdf:type schema:Organisation
90 Nf7f27c73f14544ebb8e3d4fcd5e28d24 schema:name dimensions_id
91 schema:value pub.1017215454
92 rdf:type schema:PropertyValue
93 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
94 schema:name Information and Computing Sciences
95 rdf:type schema:DefinedTerm
96 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
97 schema:name Computation Theory and Mathematics
98 rdf:type schema:DefinedTerm
99 sg:person.013100561643.19 schema:affiliation grid-institutes:grid.4991.5
100 schema:familyName Horrocks
101 schema:givenName Ian
102 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013100561643.19
103 rdf:type schema:Person
104 sg:person.015234565343.35 schema:affiliation grid-institutes:grid.4991.5
105 schema:familyName Glimm
106 schema:givenName Birte
107 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015234565343.35
108 rdf:type schema:Person
109 sg:person.07401076267.36 schema:affiliation grid-institutes:grid.4991.5
110 schema:familyName Motik
111 schema:givenName Boris
112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36
113 rdf:type schema:Person
114 grid-institutes:grid.4991.5 schema:alternateName Oxford University Computing Laboratory, UK
115 schema:name Oxford University Computing Laboratory, UK
116 rdf:type schema:Organization
 




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


...