Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2014

AUTHORS

Andreas Steigmiller , Birte Glimm , Thorsten Liebig

ABSTRACT

Nowadays, saturation-based reasoners for the OWL EL profile are able to handle large ontologies such as SNOMED very efficiently. However, saturation-based reasoning procedures become incomplete if the ontology is extended with axioms that use features of more expressive Description Logics, e.g., disjunctions. Tableau-based procedures, on the other hand, are not limited to a specific OWL profile, but even highly optimised reasoners might not be efficient enough to handle large ontologies such as SNOMED. In this paper, we present an approach for tightly coupling tableau- and saturation-based procedures that we implement in the OWL DL reasoner Konclude. Our detailed evaluation shows that this combination significantly improves the reasoning performance on a wide range of ontologies. More... »

PAGES

449-463

Book

TITLE

Automated Reasoning

ISBN

978-3-319-08586-9
978-3-319-08587-6

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-08587-6_35

DOI

http://dx.doi.org/10.1007/978-3-319-08587-6_35

DIMENSIONS

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


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": "University of Ulm, Ulm, Germany", 
          "id": "http://www.grid.ac/institutes/grid.6582.9", 
          "name": [
            "University of Ulm, Ulm, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Steigmiller", 
        "givenName": "Andreas", 
        "id": "sg:person.013641624343.88", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013641624343.88"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Ulm, Ulm, Germany", 
          "id": "http://www.grid.ac/institutes/grid.6582.9", 
          "name": [
            "University of Ulm, Ulm, Germany"
          ], 
          "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": "derivo GmbH, Ulm, Germany", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "derivo GmbH, Ulm, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Liebig", 
        "givenName": "Thorsten", 
        "id": "sg:person.014437204743.19", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014437204743.19"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2014", 
    "datePublishedReg": "2014-01-01", 
    "description": "Nowadays, saturation-based reasoners for the OWL EL profile are able to handle large ontologies such as SNOMED very efficiently. However, saturation-based reasoning procedures become incomplete if the ontology is extended with axioms that use features of more expressive Description Logics, e.g., disjunctions. Tableau-based procedures, on the other hand, are not limited to a specific OWL profile, but even highly optimised reasoners might not be efficient enough to handle large ontologies such as SNOMED. In this paper, we present an approach for tightly coupling tableau- and saturation-based procedures that we implement in the OWL DL reasoner Konclude. Our detailed evaluation shows that this combination significantly improves the reasoning performance on a wide range of ontologies.", 
    "editor": [
      {
        "familyName": "Demri", 
        "givenName": "St\u00e9phane", 
        "type": "Person"
      }, 
      {
        "familyName": "Kapur", 
        "givenName": "Deepak", 
        "type": "Person"
      }, 
      {
        "familyName": "Weidenbach", 
        "givenName": "Christoph", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-08587-6_35", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-08586-9", 
        "978-3-319-08587-6"
      ], 
      "name": "Automated Reasoning", 
      "type": "Book"
    }, 
    "keywords": [
      "expressive description logics", 
      "large ontologies", 
      "description logics", 
      "OWL profiles", 
      "reasoning procedures", 
      "tableau algorithm", 
      "EL profile", 
      "ontology", 
      "reasoner", 
      "SNOMED", 
      "logic", 
      "algorithm", 
      "tableaux", 
      "detailed evaluation", 
      "saturation procedure", 
      "performance", 
      "wide range", 
      "features", 
      "axioms", 
      "disjunction", 
      "evaluation", 
      "procedure", 
      "hand", 
      "combination", 
      "completion", 
      "range", 
      "profile", 
      "paper", 
      "approach"
    ], 
    "name": "Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures", 
    "pagination": "449-463", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1026763126"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-08587-6_35"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-08587-6_35", 
      "https://app.dimensions.ai/details/publication/pub.1026763126"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-06-01T22:28", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220601/entities/gbq_results/chapter/chapter_176.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-08587-6_35"
  }
]
 

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-08587-6_35'

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-08587-6_35'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-08587-6_35'

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-08587-6_35'


 

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

116 TRIPLES      23 PREDICATES      55 URIs      48 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-08587-6_35 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author N765d75accad04ed7855321c1d7e6eae1
4 schema:datePublished 2014
5 schema:datePublishedReg 2014-01-01
6 schema:description Nowadays, saturation-based reasoners for the OWL EL profile are able to handle large ontologies such as SNOMED very efficiently. However, saturation-based reasoning procedures become incomplete if the ontology is extended with axioms that use features of more expressive Description Logics, e.g., disjunctions. Tableau-based procedures, on the other hand, are not limited to a specific OWL profile, but even highly optimised reasoners might not be efficient enough to handle large ontologies such as SNOMED. In this paper, we present an approach for tightly coupling tableau- and saturation-based procedures that we implement in the OWL DL reasoner Konclude. Our detailed evaluation shows that this combination significantly improves the reasoning performance on a wide range of ontologies.
7 schema:editor N7eb01bf8a6194065baba442e07d8499e
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Ncf7a2adc515b4ebf813cd2a330db0b02
12 schema:keywords EL profile
13 OWL profiles
14 SNOMED
15 algorithm
16 approach
17 axioms
18 combination
19 completion
20 description logics
21 detailed evaluation
22 disjunction
23 evaluation
24 expressive description logics
25 features
26 hand
27 large ontologies
28 logic
29 ontology
30 paper
31 performance
32 procedure
33 profile
34 range
35 reasoner
36 reasoning procedures
37 saturation procedure
38 tableau algorithm
39 tableaux
40 wide range
41 schema:name Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures
42 schema:pagination 449-463
43 schema:productId N0441c129f4b44274a924b9ec7711aab3
44 Nc1f68b9e8f0e4d47930951ff958a47e2
45 schema:publisher N4d81ea02da16421693ac97cb0c72a821
46 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026763126
47 https://doi.org/10.1007/978-3-319-08587-6_35
48 schema:sdDatePublished 2022-06-01T22:28
49 schema:sdLicense https://scigraph.springernature.com/explorer/license/
50 schema:sdPublisher N9afd45076229411096aa1a926426f2a9
51 schema:url https://doi.org/10.1007/978-3-319-08587-6_35
52 sgo:license sg:explorer/license/
53 sgo:sdDataset chapters
54 rdf:type schema:Chapter
55 N00c1467b55a1453d9e649c0157ff1926 rdf:first N9c74f4c040b14391b3c220edb8d1a313
56 rdf:rest N5d2cba2fcd624c4b94dca8bc55874340
57 N0441c129f4b44274a924b9ec7711aab3 schema:name doi
58 schema:value 10.1007/978-3-319-08587-6_35
59 rdf:type schema:PropertyValue
60 N0f70cb4879014c7a8f64617e00ab76c0 schema:familyName Demri
61 schema:givenName Stéphane
62 rdf:type schema:Person
63 N2c9024ee9e7846b9ac055ab5bd0c316b rdf:first sg:person.014437204743.19
64 rdf:rest rdf:nil
65 N3d8d80e17179472c98c9a9ee08a127d6 schema:familyName Weidenbach
66 schema:givenName Christoph
67 rdf:type schema:Person
68 N3f0772b4ed58494f858c8fd51704c1ec rdf:first sg:person.015234565343.35
69 rdf:rest N2c9024ee9e7846b9ac055ab5bd0c316b
70 N4d81ea02da16421693ac97cb0c72a821 schema:name Springer Nature
71 rdf:type schema:Organisation
72 N5d2cba2fcd624c4b94dca8bc55874340 rdf:first N3d8d80e17179472c98c9a9ee08a127d6
73 rdf:rest rdf:nil
74 N765d75accad04ed7855321c1d7e6eae1 rdf:first sg:person.013641624343.88
75 rdf:rest N3f0772b4ed58494f858c8fd51704c1ec
76 N7eb01bf8a6194065baba442e07d8499e rdf:first N0f70cb4879014c7a8f64617e00ab76c0
77 rdf:rest N00c1467b55a1453d9e649c0157ff1926
78 N9afd45076229411096aa1a926426f2a9 schema:name Springer Nature - SN SciGraph project
79 rdf:type schema:Organization
80 N9c74f4c040b14391b3c220edb8d1a313 schema:familyName Kapur
81 schema:givenName Deepak
82 rdf:type schema:Person
83 Nc1f68b9e8f0e4d47930951ff958a47e2 schema:name dimensions_id
84 schema:value pub.1026763126
85 rdf:type schema:PropertyValue
86 Ncf7a2adc515b4ebf813cd2a330db0b02 schema:isbn 978-3-319-08586-9
87 978-3-319-08587-6
88 schema:name Automated Reasoning
89 rdf:type schema:Book
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.013641624343.88 schema:affiliation grid-institutes:grid.6582.9
97 schema:familyName Steigmiller
98 schema:givenName Andreas
99 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013641624343.88
100 rdf:type schema:Person
101 sg:person.014437204743.19 schema:affiliation grid-institutes:None
102 schema:familyName Liebig
103 schema:givenName Thorsten
104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014437204743.19
105 rdf:type schema:Person
106 sg:person.015234565343.35 schema:affiliation grid-institutes:grid.6582.9
107 schema:familyName Glimm
108 schema:givenName Birte
109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015234565343.35
110 rdf:type schema:Person
111 grid-institutes:None schema:alternateName derivo GmbH, Ulm, Germany
112 schema:name derivo GmbH, Ulm, Germany
113 rdf:type schema:Organization
114 grid-institutes:grid.6582.9 schema:alternateName University of Ulm, Ulm, Germany
115 schema:name University of Ulm, Ulm, Germany
116 rdf:type schema:Organization
 




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


...