A survey of temporal extensions of description logics View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2000-06

AUTHORS

Alessandro Artale, Enrico Franconi

ABSTRACT

This paper surveys the temporal extensions of description logics appearearing in the literature. The analysis considers a large spectrum of approaches appearearing in the temporal description logics area: from the loosely coupled approaches – which comprise, for example, the enhancement of simple description logics with a constraint based mechanism – to the most principled ones – which consider a combined semantics for the abstract and the temporal domains. It will be shown how these latter approaches have a strict connection with temporal logics. Advantages of using temporal description logics are their high expressivity combined with desirable computational properties – such as decidability, soundness and completeness of deduction procedures. In this survey the computational properties of various families of temporal description logics will be pointed out. More... »

PAGES

171-210

References to SciGraph publications

  • 1984. Basic Tense Logic in HANDBOOK OF PHILOSOPHICAL LOGIC
  • 1992-09. Adding a temporal dimension to a logic system in JOURNAL OF LOGIC, LANGUAGE AND INFORMATION
  • 1984. Dynamic Logic in HANDBOOK OF PHILOSOPHICAL LOGIC
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1023/a:1016636131405

    DOI

    http://dx.doi.org/10.1023/a:1016636131405

    DIMENSIONS

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


    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/0802", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computation Theory and Mathematics", 
            "type": "DefinedTerm"
          }, 
          {
            "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"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Manchester", 
              "id": "https://www.grid.ac/institutes/grid.5379.8", 
              "name": [
                "Department of Computation, UMIST, Manchester, UK E-mail"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Artale", 
            "givenName": "Alessandro", 
            "id": "sg:person.014545134422.35", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014545134422.35"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "name": [
                "Department of Computer Science, University of Manchester, UK E-mail"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Franconi", 
            "givenName": "Enrico", 
            "id": "sg:person.015206237100.45", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015206237100.45"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1016/0004-3702(90)90087-g", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002028930"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(90)90087-g", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002028930"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/115234.115351", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005079105"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0898-1221(92)90139-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012491231"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0169-023x(96)00036-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016825252"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/122296.122310", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021294051"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(91)90078-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023806570"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(91)90078-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023806570"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00156915", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024747423", 
              "https://doi.org/10.1007/bf00156915"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00156915", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024747423", 
              "https://doi.org/10.1007/bf00156915"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-94-009-6259-0_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025764621", 
              "https://doi.org/10.1007/978-94-009-6259-0_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(95)00091-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027293788"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1080/11663081.1995.10510854", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034047361"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0022-0000(85)90001-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037847911"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-94-009-6259-0_10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038667931", 
              "https://doi.org/10.1007/978-94-009-6259-0_10"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1305/ndjfl/1093634564", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1064914505"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1305/ndjfl/1093635589", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1064914616"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2000-06", 
        "datePublishedReg": "2000-06-01", 
        "description": "This paper surveys the temporal extensions of description logics appearearing in the literature. The analysis considers a large spectrum of approaches appearearing in the temporal description logics area: from the loosely coupled approaches \u2013 which comprise, for example, the enhancement of simple description logics with a constraint based mechanism \u2013 to the most principled ones \u2013 which consider a combined semantics for the abstract and the temporal domains. It will be shown how these latter approaches have a strict connection with temporal logics. Advantages of using temporal description logics are their high expressivity combined with desirable computational properties \u2013 such as decidability, soundness and completeness of deduction procedures. In this survey the computational properties of various families of temporal description logics will be pointed out.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1023/a:1016636131405", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1043955", 
            "issn": [
              "1012-2443", 
              "1573-7470"
            ], 
            "name": "Annals of Mathematics and Artificial Intelligence", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "1-4", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "30"
          }
        ], 
        "name": "A survey of temporal extensions of description logics", 
        "pagination": "171-210", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "f9628bd85c3f1d763fd5c9620e5da27be0c323cce27d4b0331530bb84f55fe04"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1023/a:1016636131405"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1052355168"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1023/a:1016636131405", 
          "https://app.dimensions.ai/details/publication/pub.1052355168"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-10T16:41", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8669_00000508.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "http://link.springer.com/10.1023/A:1016636131405"
      }
    ]
     

    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.1023/a:1016636131405'

    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.1023/a:1016636131405'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1023/a:1016636131405'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1023/a:1016636131405'


     

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

    115 TRIPLES      21 PREDICATES      41 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1023/a:1016636131405 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author N533552741ddf4ce5b6f2067e9d6df236
    4 schema:citation sg:pub.10.1007/978-94-009-6259-0_10
    5 sg:pub.10.1007/978-94-009-6259-0_2
    6 sg:pub.10.1007/bf00156915
    7 https://doi.org/10.1016/0004-3702(90)90087-g
    8 https://doi.org/10.1016/0004-3702(91)90078-x
    9 https://doi.org/10.1016/0004-3702(95)00091-7
    10 https://doi.org/10.1016/0022-0000(85)90001-7
    11 https://doi.org/10.1016/0898-1221(92)90139-9
    12 https://doi.org/10.1016/s0169-023x(96)00036-5
    13 https://doi.org/10.1080/11663081.1995.10510854
    14 https://doi.org/10.1145/115234.115351
    15 https://doi.org/10.1145/122296.122310
    16 https://doi.org/10.1305/ndjfl/1093634564
    17 https://doi.org/10.1305/ndjfl/1093635589
    18 schema:datePublished 2000-06
    19 schema:datePublishedReg 2000-06-01
    20 schema:description This paper surveys the temporal extensions of description logics appearearing in the literature. The analysis considers a large spectrum of approaches appearearing in the temporal description logics area: from the loosely coupled approaches – which comprise, for example, the enhancement of simple description logics with a constraint based mechanism – to the most principled ones – which consider a combined semantics for the abstract and the temporal domains. It will be shown how these latter approaches have a strict connection with temporal logics. Advantages of using temporal description logics are their high expressivity combined with desirable computational properties – such as decidability, soundness and completeness of deduction procedures. In this survey the computational properties of various families of temporal description logics will be pointed out.
    21 schema:genre research_article
    22 schema:inLanguage en
    23 schema:isAccessibleForFree false
    24 schema:isPartOf N78f63098e2da483291f3bc8b29452be4
    25 N7a1292e7c0ad4653b5484d738460039c
    26 sg:journal.1043955
    27 schema:name A survey of temporal extensions of description logics
    28 schema:pagination 171-210
    29 schema:productId N3a095abe2b754c1281142359ba105019
    30 N870b4cbf8a534d6098dae64974ef94e3
    31 Na3a523d9ff0241dd96f2f95b6dfa89bb
    32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052355168
    33 https://doi.org/10.1023/a:1016636131405
    34 schema:sdDatePublished 2019-04-10T16:41
    35 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    36 schema:sdPublisher N1e1f8fd8101b498d8367542a645f3e32
    37 schema:url http://link.springer.com/10.1023/A:1016636131405
    38 sgo:license sg:explorer/license/
    39 sgo:sdDataset articles
    40 rdf:type schema:ScholarlyArticle
    41 N16bc6fa5ef8846cf9b90113c0978e3eb schema:name Department of Computer Science, University of Manchester, UK E-mail
    42 rdf:type schema:Organization
    43 N1e1f8fd8101b498d8367542a645f3e32 schema:name Springer Nature - SN SciGraph project
    44 rdf:type schema:Organization
    45 N3a095abe2b754c1281142359ba105019 schema:name dimensions_id
    46 schema:value pub.1052355168
    47 rdf:type schema:PropertyValue
    48 N533552741ddf4ce5b6f2067e9d6df236 rdf:first sg:person.014545134422.35
    49 rdf:rest N6536d1d5816c4a4cb202c602f9702e8c
    50 N6536d1d5816c4a4cb202c602f9702e8c rdf:first sg:person.015206237100.45
    51 rdf:rest rdf:nil
    52 N78f63098e2da483291f3bc8b29452be4 schema:issueNumber 1-4
    53 rdf:type schema:PublicationIssue
    54 N7a1292e7c0ad4653b5484d738460039c schema:volumeNumber 30
    55 rdf:type schema:PublicationVolume
    56 N870b4cbf8a534d6098dae64974ef94e3 schema:name readcube_id
    57 schema:value f9628bd85c3f1d763fd5c9620e5da27be0c323cce27d4b0331530bb84f55fe04
    58 rdf:type schema:PropertyValue
    59 Na3a523d9ff0241dd96f2f95b6dfa89bb schema:name doi
    60 schema:value 10.1023/a:1016636131405
    61 rdf:type schema:PropertyValue
    62 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    63 schema:name Information and Computing Sciences
    64 rdf:type schema:DefinedTerm
    65 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    66 schema:name Computation Theory and Mathematics
    67 rdf:type schema:DefinedTerm
    68 sg:journal.1043955 schema:issn 1012-2443
    69 1573-7470
    70 schema:name Annals of Mathematics and Artificial Intelligence
    71 rdf:type schema:Periodical
    72 sg:person.014545134422.35 schema:affiliation https://www.grid.ac/institutes/grid.5379.8
    73 schema:familyName Artale
    74 schema:givenName Alessandro
    75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014545134422.35
    76 rdf:type schema:Person
    77 sg:person.015206237100.45 schema:affiliation N16bc6fa5ef8846cf9b90113c0978e3eb
    78 schema:familyName Franconi
    79 schema:givenName Enrico
    80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015206237100.45
    81 rdf:type schema:Person
    82 sg:pub.10.1007/978-94-009-6259-0_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038667931
    83 https://doi.org/10.1007/978-94-009-6259-0_10
    84 rdf:type schema:CreativeWork
    85 sg:pub.10.1007/978-94-009-6259-0_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025764621
    86 https://doi.org/10.1007/978-94-009-6259-0_2
    87 rdf:type schema:CreativeWork
    88 sg:pub.10.1007/bf00156915 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024747423
    89 https://doi.org/10.1007/bf00156915
    90 rdf:type schema:CreativeWork
    91 https://doi.org/10.1016/0004-3702(90)90087-g schema:sameAs https://app.dimensions.ai/details/publication/pub.1002028930
    92 rdf:type schema:CreativeWork
    93 https://doi.org/10.1016/0004-3702(91)90078-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1023806570
    94 rdf:type schema:CreativeWork
    95 https://doi.org/10.1016/0004-3702(95)00091-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027293788
    96 rdf:type schema:CreativeWork
    97 https://doi.org/10.1016/0022-0000(85)90001-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037847911
    98 rdf:type schema:CreativeWork
    99 https://doi.org/10.1016/0898-1221(92)90139-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012491231
    100 rdf:type schema:CreativeWork
    101 https://doi.org/10.1016/s0169-023x(96)00036-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016825252
    102 rdf:type schema:CreativeWork
    103 https://doi.org/10.1080/11663081.1995.10510854 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034047361
    104 rdf:type schema:CreativeWork
    105 https://doi.org/10.1145/115234.115351 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005079105
    106 rdf:type schema:CreativeWork
    107 https://doi.org/10.1145/122296.122310 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021294051
    108 rdf:type schema:CreativeWork
    109 https://doi.org/10.1305/ndjfl/1093634564 schema:sameAs https://app.dimensions.ai/details/publication/pub.1064914505
    110 rdf:type schema:CreativeWork
    111 https://doi.org/10.1305/ndjfl/1093635589 schema:sameAs https://app.dimensions.ai/details/publication/pub.1064914616
    112 rdf:type schema:CreativeWork
    113 https://www.grid.ac/institutes/grid.5379.8 schema:alternateName University of Manchester
    114 schema:name Department of Computation, UMIST, Manchester, UK E-mail
    115 rdf:type schema:Organization
     




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


    ...