Reasoning with Nominal Schemas through Absorption View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2014-08-14

AUTHORS

Andreas Steigmiller, Birte Glimm, Thorsten Liebig

ABSTRACT

Nominal schemas have recently been introduced as a new approach for the integration of DL-safe rules into the Description Logic framework. The efficient processing of knowledge bases with nominal schemas remains, however, challenging. We address this by extending the well-known optimisation of absorption as well as the standard tableau calculus to directly handle the (absorbed) nominal schema axioms. We implement the resulting extension of standard tableau calculi in the novel reasoning system Konclude and present further optimisations. In our empirical evaluation, we show the effect of these optimisations and we find that the proposed nominal schema handling performs well even when compared to (hyper)tableau systems with dedicated rule support. More... »

PAGES

351-405

References to SciGraph publications

  • 2012. A Tableau Algorithm for Description Logics with Nominal Schema in WEB REASONING AND RULE SYSTEMS
  • 2005-06. Deciding Regular Grammar Logics with Converse Through First-Order Logic in JOURNAL OF LOGIC, LANGUAGE AND INFORMATION
  • 2006. Towards a Complete OWL Ontology Benchmark in THE SEMANTIC WEB: RESEARCH AND APPLICATIONS
  • 2012. Extended Caching, Backjumping and Merging for Expressive Description Logics in AUTOMATED REASONING
  • 2007-06-14. Optimizing Terminological Reasoning for Expressive Description Logics in JOURNAL OF AUTOMATED REASONING
  • 2000. Reasoning with Individuals for the Description Logic in AUTOMATED DEDUCTION - CADE-17
  • 2013. A Resolution Procedure for Description Logics with Nominal Schemas in SEMANTIC TECHNOLOGY
  • 1994-05. Am empirical analysis of optimization techniques for terminological representation systems in APPLIED INTELLIGENCE
  • 2013. Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas in WEB REASONING AND RULE SYSTEMS
  • 2007-07-06. A Tableau Decision Procedure for in JOURNAL OF AUTOMATED REASONING
  • 1998-02. Hybridizing concept languages in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10817-014-9310-4

    DOI

    http://dx.doi.org/10.1007/s10817-014-9310-4

    DIMENSIONS

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


    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": "Institute of Artificial Intelligence, University of Ulm, Ulm, Germany", 
              "id": "http://www.grid.ac/institutes/grid.6582.9", 
              "name": [
                "Institute of Artificial Intelligence, 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": "Institute of Artificial Intelligence, University of Ulm, Ulm, Germany", 
              "id": "http://www.grid.ac/institutes/grid.6582.9", 
              "name": [
                "Institute of Artificial Intelligence, 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"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-31365-3_40", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020808054", 
              "https://doi.org/10.1007/978-3-642-31365-3_40"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10817-007-9079-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000169915", 
              "https://doi.org/10.1007/s10817-007-9079-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/11762256_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043896869", 
              "https://doi.org/10.1007/11762256_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1018988913388", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006499864", 
              "https://doi.org/10.1023/a:1018988913388"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10817-007-9077-y", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001221517", 
              "https://doi.org/10.1007/s10817-007-9077-y"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10849-005-5788-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011681758", 
              "https://doi.org/10.1007/s10849-005-5788-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/10721959_39", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052544451", 
              "https://doi.org/10.1007/10721959_39"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-39666-3_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047624567", 
              "https://doi.org/10.1007/978-3-642-39666-3_6"
            ], 
            "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-37996-3_1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052998047", 
              "https://doi.org/10.1007/978-3-642-37996-3_1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-33203-6_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026045358", 
              "https://doi.org/10.1007/978-3-642-33203-6_22"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2014-08-14", 
        "datePublishedReg": "2014-08-14", 
        "description": "Nominal schemas have recently been introduced as a new approach for the integration of DL-safe rules into the Description Logic framework. The efficient processing of knowledge bases with nominal schemas remains, however, challenging. We address this by extending the well-known optimisation of absorption as well as the standard tableau calculus to directly handle the (absorbed) nominal schema axioms. We implement the resulting extension of standard tableau calculi in the novel reasoning system Konclude and present further optimisations. In our empirical evaluation, we show the effect of these optimisations and we find that the proposed nominal schema handling performs well even when compared to (hyper)tableau systems with dedicated rule support.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s10817-014-9310-4", 
        "inLanguage": "en", 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1136522", 
            "issn": [
              "0168-7433", 
              "1573-0670"
            ], 
            "name": "Journal of Automated Reasoning", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "4", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "53"
          }
        ], 
        "keywords": [
          "nominal schemas", 
          "DL-safe rules", 
          "description logic framework", 
          "tableau calculus", 
          "knowledge bases", 
          "rule support", 
          "logic framework", 
          "efficient processing", 
          "empirical evaluation", 
          "schema", 
          "new approach", 
          "optimization", 
          "framework", 
          "calculus", 
          "processing", 
          "integration", 
          "rules", 
          "system", 
          "handling", 
          "extension", 
          "further optimization", 
          "axioms", 
          "support", 
          "evaluation", 
          "optimization of absorption", 
          "basis", 
          "effect", 
          "approach", 
          "absorption"
        ], 
        "name": "Reasoning with Nominal Schemas through Absorption", 
        "pagination": "351-405", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1020155402"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10817-014-9310-4"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10817-014-9310-4", 
          "https://app.dimensions.ai/details/publication/pub.1020155402"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2022-06-01T22:13", 
        "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/article/article_628.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s10817-014-9310-4"
      }
    ]
     

    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-9310-4'

    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-9310-4'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10817-014-9310-4'

    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-9310-4'


     

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

    148 TRIPLES      22 PREDICATES      65 URIs      46 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10817-014-9310-4 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author Nfa8e724752104da39509f621586cae13
    4 schema:citation sg:pub.10.1007/10721959_39
    5 sg:pub.10.1007/11762256_12
    6 sg:pub.10.1007/978-3-642-31365-3_40
    7 sg:pub.10.1007/978-3-642-33203-6_22
    8 sg:pub.10.1007/978-3-642-37996-3_1
    9 sg:pub.10.1007/978-3-642-39666-3_6
    10 sg:pub.10.1007/bf00872105
    11 sg:pub.10.1007/s10817-007-9077-y
    12 sg:pub.10.1007/s10817-007-9079-9
    13 sg:pub.10.1007/s10849-005-5788-9
    14 sg:pub.10.1023/a:1018988913388
    15 schema:datePublished 2014-08-14
    16 schema:datePublishedReg 2014-08-14
    17 schema:description Nominal schemas have recently been introduced as a new approach for the integration of DL-safe rules into the Description Logic framework. The efficient processing of knowledge bases with nominal schemas remains, however, challenging. We address this by extending the well-known optimisation of absorption as well as the standard tableau calculus to directly handle the (absorbed) nominal schema axioms. We implement the resulting extension of standard tableau calculi in the novel reasoning system Konclude and present further optimisations. In our empirical evaluation, we show the effect of these optimisations and we find that the proposed nominal schema handling performs well even when compared to (hyper)tableau systems with dedicated rule support.
    18 schema:genre article
    19 schema:inLanguage en
    20 schema:isAccessibleForFree false
    21 schema:isPartOf N7e2bc1514ef449beb3c5f1520ab752ae
    22 Nbbcc2e903fc84f37bf177eb6b44ac806
    23 sg:journal.1136522
    24 schema:keywords DL-safe rules
    25 absorption
    26 approach
    27 axioms
    28 basis
    29 calculus
    30 description logic framework
    31 effect
    32 efficient processing
    33 empirical evaluation
    34 evaluation
    35 extension
    36 framework
    37 further optimization
    38 handling
    39 integration
    40 knowledge bases
    41 logic framework
    42 new approach
    43 nominal schemas
    44 optimization
    45 optimization of absorption
    46 processing
    47 rule support
    48 rules
    49 schema
    50 support
    51 system
    52 tableau calculus
    53 schema:name Reasoning with Nominal Schemas through Absorption
    54 schema:pagination 351-405
    55 schema:productId N2b54ca2962af4690a27ab44ad2f12e99
    56 Nb819f85dfc3049008eb7b5cdc65bcb58
    57 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020155402
    58 https://doi.org/10.1007/s10817-014-9310-4
    59 schema:sdDatePublished 2022-06-01T22:13
    60 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    61 schema:sdPublisher N23ffad17c025437fbdb1bcccbf8a756f
    62 schema:url https://doi.org/10.1007/s10817-014-9310-4
    63 sgo:license sg:explorer/license/
    64 sgo:sdDataset articles
    65 rdf:type schema:ScholarlyArticle
    66 N23ffad17c025437fbdb1bcccbf8a756f schema:name Springer Nature - SN SciGraph project
    67 rdf:type schema:Organization
    68 N2b54ca2962af4690a27ab44ad2f12e99 schema:name doi
    69 schema:value 10.1007/s10817-014-9310-4
    70 rdf:type schema:PropertyValue
    71 N63ed06c53c6a4519b1b99d678c42f83d rdf:first sg:person.014437204743.19
    72 rdf:rest rdf:nil
    73 N7272f35fc21a49e0ac88cae9408a6039 rdf:first sg:person.015234565343.35
    74 rdf:rest N63ed06c53c6a4519b1b99d678c42f83d
    75 N7e2bc1514ef449beb3c5f1520ab752ae schema:issueNumber 4
    76 rdf:type schema:PublicationIssue
    77 Nb819f85dfc3049008eb7b5cdc65bcb58 schema:name dimensions_id
    78 schema:value pub.1020155402
    79 rdf:type schema:PropertyValue
    80 Nbbcc2e903fc84f37bf177eb6b44ac806 schema:volumeNumber 53
    81 rdf:type schema:PublicationVolume
    82 Nfa8e724752104da39509f621586cae13 rdf:first sg:person.013641624343.88
    83 rdf:rest N7272f35fc21a49e0ac88cae9408a6039
    84 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    85 schema:name Information and Computing Sciences
    86 rdf:type schema:DefinedTerm
    87 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    88 schema:name Computation Theory and Mathematics
    89 rdf:type schema:DefinedTerm
    90 sg:journal.1136522 schema:issn 0168-7433
    91 1573-0670
    92 schema:name Journal of Automated Reasoning
    93 schema:publisher Springer Nature
    94 rdf:type schema:Periodical
    95 sg:person.013641624343.88 schema:affiliation grid-institutes:grid.6582.9
    96 schema:familyName Steigmiller
    97 schema:givenName Andreas
    98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013641624343.88
    99 rdf:type schema:Person
    100 sg:person.014437204743.19 schema:affiliation grid-institutes:None
    101 schema:familyName Liebig
    102 schema:givenName Thorsten
    103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014437204743.19
    104 rdf:type schema:Person
    105 sg:person.015234565343.35 schema:affiliation grid-institutes:grid.6582.9
    106 schema:familyName Glimm
    107 schema:givenName Birte
    108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015234565343.35
    109 rdf:type schema:Person
    110 sg:pub.10.1007/10721959_39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052544451
    111 https://doi.org/10.1007/10721959_39
    112 rdf:type schema:CreativeWork
    113 sg:pub.10.1007/11762256_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043896869
    114 https://doi.org/10.1007/11762256_12
    115 rdf:type schema:CreativeWork
    116 sg:pub.10.1007/978-3-642-31365-3_40 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020808054
    117 https://doi.org/10.1007/978-3-642-31365-3_40
    118 rdf:type schema:CreativeWork
    119 sg:pub.10.1007/978-3-642-33203-6_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026045358
    120 https://doi.org/10.1007/978-3-642-33203-6_22
    121 rdf:type schema:CreativeWork
    122 sg:pub.10.1007/978-3-642-37996-3_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052998047
    123 https://doi.org/10.1007/978-3-642-37996-3_1
    124 rdf:type schema:CreativeWork
    125 sg:pub.10.1007/978-3-642-39666-3_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047624567
    126 https://doi.org/10.1007/978-3-642-39666-3_6
    127 rdf:type schema:CreativeWork
    128 sg:pub.10.1007/bf00872105 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007293055
    129 https://doi.org/10.1007/bf00872105
    130 rdf:type schema:CreativeWork
    131 sg:pub.10.1007/s10817-007-9077-y schema:sameAs https://app.dimensions.ai/details/publication/pub.1001221517
    132 https://doi.org/10.1007/s10817-007-9077-y
    133 rdf:type schema:CreativeWork
    134 sg:pub.10.1007/s10817-007-9079-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000169915
    135 https://doi.org/10.1007/s10817-007-9079-9
    136 rdf:type schema:CreativeWork
    137 sg:pub.10.1007/s10849-005-5788-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011681758
    138 https://doi.org/10.1007/s10849-005-5788-9
    139 rdf:type schema:CreativeWork
    140 sg:pub.10.1023/a:1018988913388 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006499864
    141 https://doi.org/10.1023/a:1018988913388
    142 rdf:type schema:CreativeWork
    143 grid-institutes:None schema:alternateName derivo GmbH, Ulm, Germany
    144 schema:name derivo GmbH, Ulm, Germany
    145 rdf:type schema:Organization
    146 grid-institutes:grid.6582.9 schema:alternateName Institute of Artificial Intelligence, University of Ulm, Ulm, Germany
    147 schema:name Institute of Artificial Intelligence, University of Ulm, Ulm, Germany
    148 rdf:type schema:Organization
     




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


    ...