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"
    ], 
    "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-05-20T07:41", 
    "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/chapter/chapter_115.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.

113 TRIPLES      23 PREDICATES      59 URIs      52 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 N9d3a6edf407f4242b09faeaada23451e
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 N3dde8b24bcd7428b9decd15000d33cbe
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N8ac143acb4f7492c8cfd27325d7f2b0a
12 schema:keywords HermiT reasoner
13 OWL ontology language
14 Ontology Language
15 abstraction
16 algorithm
17 art reasoners
18 blocking
19 blocking techniques
20 certain ontologies
21 challenges
22 construction
23 description logics
24 early stages
25 evaluation
26 expressive description logics
27 implementation
28 language
29 logic
30 model abstraction
31 numerous optimizations
32 ontology
33 optimization
34 practice
35 problem
36 prototypical implementation
37 reasoner
38 redundant construction
39 significant challenge
40 size
41 stage
42 state
43 such reasoners
44 technique
45 time
46 schema:name Optimized Description Logic Reasoning via Core Blocking
47 schema:pagination 457-471
48 schema:productId N98bd87757b324920a9c497770b3b0c97
49 Nf81ded39425d4bbbb61098a2e9c108c6
50 schema:publisher N51eb5c0a83c94f5ba6b6717f69971c45
51 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017215454
52 https://doi.org/10.1007/978-3-642-14203-1_39
53 schema:sdDatePublished 2022-05-20T07:41
54 schema:sdLicense https://scigraph.springernature.com/explorer/license/
55 schema:sdPublisher N66364961e5124d5f9c29b3f779427090
56 schema:url https://doi.org/10.1007/978-3-642-14203-1_39
57 sgo:license sg:explorer/license/
58 sgo:sdDataset chapters
59 rdf:type schema:Chapter
60 N030b1f0ba5f047e3af77ff2940ebbcb5 rdf:first N683895b954db446e96ef64070095f469
61 rdf:rest rdf:nil
62 N249b65e774f9419eabdd30e98977061f rdf:first sg:person.013100561643.19
63 rdf:rest Nbfbf11020ba149bb89822e64ab60ffb4
64 N39bd047e667c4efea1148612c9a243d4 schema:familyName Giesl
65 schema:givenName Jürgen
66 rdf:type schema:Person
67 N3dde8b24bcd7428b9decd15000d33cbe rdf:first N39bd047e667c4efea1148612c9a243d4
68 rdf:rest N030b1f0ba5f047e3af77ff2940ebbcb5
69 N51eb5c0a83c94f5ba6b6717f69971c45 schema:name Springer Nature
70 rdf:type schema:Organisation
71 N66364961e5124d5f9c29b3f779427090 schema:name Springer Nature - SN SciGraph project
72 rdf:type schema:Organization
73 N683895b954db446e96ef64070095f469 schema:familyName Hähnle
74 schema:givenName Reiner
75 rdf:type schema:Person
76 N8ac143acb4f7492c8cfd27325d7f2b0a schema:isbn 978-3-642-14202-4
77 978-3-642-14203-1
78 schema:name Automated Reasoning
79 rdf:type schema:Book
80 N98bd87757b324920a9c497770b3b0c97 schema:name dimensions_id
81 schema:value pub.1017215454
82 rdf:type schema:PropertyValue
83 N9d3a6edf407f4242b09faeaada23451e rdf:first sg:person.015234565343.35
84 rdf:rest N249b65e774f9419eabdd30e98977061f
85 Nbfbf11020ba149bb89822e64ab60ffb4 rdf:first sg:person.07401076267.36
86 rdf:rest rdf:nil
87 Nf81ded39425d4bbbb61098a2e9c108c6 schema:name doi
88 schema:value 10.1007/978-3-642-14203-1_39
89 rdf:type schema:PropertyValue
90 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
91 schema:name Information and Computing Sciences
92 rdf:type schema:DefinedTerm
93 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
94 schema:name Computation Theory and Mathematics
95 rdf:type schema:DefinedTerm
96 sg:person.013100561643.19 schema:affiliation grid-institutes:grid.4991.5
97 schema:familyName Horrocks
98 schema:givenName Ian
99 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013100561643.19
100 rdf:type schema:Person
101 sg:person.015234565343.35 schema:affiliation grid-institutes:grid.4991.5
102 schema:familyName Glimm
103 schema:givenName Birte
104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015234565343.35
105 rdf:type schema:Person
106 sg:person.07401076267.36 schema:affiliation grid-institutes:grid.4991.5
107 schema:familyName Motik
108 schema:givenName Boris
109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36
110 rdf:type schema:Person
111 grid-institutes:grid.4991.5 schema:alternateName Oxford University Computing Laboratory, UK
112 schema:name Oxford University Computing Laboratory, UK
113 rdf:type schema:Organization
 




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


...