Ontology type: schema:ScholarlyArticle
2000-06
AUTHORSAlessandro Artale, Enrico Franconi
ABSTRACTThis 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... »
PAGES171-210
http://scigraph.springernature.com/pub.10.1023/a:1016636131405
DOIhttp://dx.doi.org/10.1023/a:1016636131405
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1052355168
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
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