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 Ndc2a899672024a92a15d2341d45433e5
    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 N85362fa571b84123803c7140f0bf9812
    25 N93cee0ee8f9846d9afb9e274fa22f557
    26 sg:journal.1043955
    27 schema:name A survey of temporal extensions of description logics
    28 schema:pagination 171-210
    29 schema:productId N3c20c8ba864246d78270ccda5116a132
    30 N5c4989e47fa24b62adec6748e0813f0c
    31 Nff1d8f44cae94662a97071f9136f3059
    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 N23a0d3ebe7d44af49f3ee3e9beb40b33
    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 N23a0d3ebe7d44af49f3ee3e9beb40b33 schema:name Springer Nature - SN SciGraph project
    42 rdf:type schema:Organization
    43 N3c20c8ba864246d78270ccda5116a132 schema:name dimensions_id
    44 schema:value pub.1052355168
    45 rdf:type schema:PropertyValue
    46 N4934860753754fcfb79eecb4c526b3c4 schema:name Department of Computer Science, University of Manchester, UK E-mail
    47 rdf:type schema:Organization
    48 N5c4989e47fa24b62adec6748e0813f0c schema:name doi
    49 schema:value 10.1023/a:1016636131405
    50 rdf:type schema:PropertyValue
    51 N85362fa571b84123803c7140f0bf9812 schema:issueNumber 1-4
    52 rdf:type schema:PublicationIssue
    53 N907022ee03e64c56a6023ab1977e3bad rdf:first sg:person.015206237100.45
    54 rdf:rest rdf:nil
    55 N93cee0ee8f9846d9afb9e274fa22f557 schema:volumeNumber 30
    56 rdf:type schema:PublicationVolume
    57 Ndc2a899672024a92a15d2341d45433e5 rdf:first sg:person.014545134422.35
    58 rdf:rest N907022ee03e64c56a6023ab1977e3bad
    59 Nff1d8f44cae94662a97071f9136f3059 schema:name readcube_id
    60 schema:value f9628bd85c3f1d763fd5c9620e5da27be0c323cce27d4b0331530bb84f55fe04
    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 N4934860753754fcfb79eecb4c526b3c4
    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)


    ...