{"id":"https://openalex.org/W3048586703","doi":"https://doi.org/10.1145/3399443","title":"Metric Temporal Description Logics with Interval-Rigid Names","display_name":"Metric Temporal Description Logics with Interval-Rigid Names","publication_year":2020,"publication_date":"2020-08-11","ids":{"openalex":"https://openalex.org/W3048586703","doi":"https://doi.org/10.1145/3399443","mag":"3048586703"},"language":"en","primary_location":{"id":"doi:10.1145/3399443","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3399443","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086254817","display_name":"Franz Baader","orcid":"https://orcid.org/0000-0002-4049-221X"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Franz Baader","raw_affiliation_strings":["Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4049-221X","affiliations":[{"raw_affiliation_string":"Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072323649","display_name":"Stefan Borgwardt","orcid":"https://orcid.org/0000-0003-0924-8478"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Borgwardt","raw_affiliation_strings":["Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden, Germany"],"raw_orcid":"https://orcid.org/0000-0003-0924-8478","affiliations":[{"raw_affiliation_string":"Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020877951","display_name":"Patrick Koopmann","orcid":"https://orcid.org/0000-0001-5999-2583"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Patrick Koopmann","raw_affiliation_strings":["Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden, Germany"],"raw_orcid":"https://orcid.org/0000-0001-5999-2583","affiliations":[{"raw_affiliation_string":"Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084964513","display_name":"Ana Ozaki","orcid":"https://orcid.org/0000-0002-3889-6207"},"institutions":[{"id":"https://openalex.org/I171543936","display_name":"Free University of Bozen-Bolzano","ror":"https://ror.org/012ajp527","country_code":"IT","type":"education","lineage":["https://openalex.org/I171543936"]},{"id":"https://openalex.org/I4432739","display_name":"University of Bergen","ror":"https://ror.org/03zga2b32","country_code":"NO","type":"education","lineage":["https://openalex.org/I4432739"]}],"countries":["IT","NO"],"is_corresponding":false,"raw_author_name":"Ana Ozaki","raw_affiliation_strings":["Department of Informatics, University of Bergen, Norway and KRDB Research Centre, Free University of Bozen-Bolzano, Bozen-Bolzano, Italy"],"raw_orcid":"https://orcid.org/0000-0002-3889-6207","affiliations":[{"raw_affiliation_string":"Department of Informatics, University of Bergen, Norway and KRDB Research Centre, Free University of Bozen-Bolzano, Bozen-Bolzano, Italy","institution_ids":["https://openalex.org/I171543936","https://openalex.org/I4432739"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052618357","display_name":"Veronika Thost","orcid":"https://orcid.org/0000-0003-4984-1532"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Veronika Thost","raw_affiliation_strings":["MIT-IBM Watson AI Lab, IBM Research, Cambridge, MA, USA"],"raw_orcid":"https://orcid.org/0000-0003-4984-1532","affiliations":[{"raw_affiliation_string":"MIT-IBM Watson AI Lab, IBM Research, Cambridge, MA, USA","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7823,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.78499474,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"21","issue":"4","first_page":"1","last_page":"46"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.7137857675552368},{"id":"https://openalex.org/keywords/interval-temporal-logic","display_name":"Interval temporal logic","score":0.6935941576957703},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6071175932884216},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.6032305955886841},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.5892561674118042},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5802210569381714},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.565970242023468},{"id":"https://openalex.org/keywords/contrast","display_name":"Contrast (vision)","score":0.49878931045532227},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.46714991331100464},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4636266231536865},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44244733452796936},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3814038336277008},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3514356017112732},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33983170986175537},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.33952710032463074},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.16509786248207092},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13500410318374634},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.12516984343528748}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7137857675552368},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.6935941576957703},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6071175932884216},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.6032305955886841},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.5892561674118042},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5802210569381714},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.565970242023468},{"id":"https://openalex.org/C2776502983","wikidata":"https://www.wikidata.org/wiki/Q690182","display_name":"Contrast (vision)","level":2,"score":0.49878931045532227},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.46714991331100464},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4636266231536865},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44244733452796936},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3814038336277008},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3514356017112732},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33983170986175537},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33952710032463074},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.16509786248207092},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13500410318374634},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.12516984343528748},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3399443","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3399443","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5199999809265137}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W22233795","https://openalex.org/W80737574","https://openalex.org/W1168947604","https://openalex.org/W1485990531","https://openalex.org/W1498203978","https://openalex.org/W1555563750","https://openalex.org/W1581639155","https://openalex.org/W1980167179","https://openalex.org/W2003227046","https://openalex.org/W2023808162","https://openalex.org/W2026807253","https://openalex.org/W2030263557","https://openalex.org/W2039145913","https://openalex.org/W2049696538","https://openalex.org/W2051068608","https://openalex.org/W2055092188","https://openalex.org/W2073624887","https://openalex.org/W2085533703","https://openalex.org/W2086869611","https://openalex.org/W2126458651","https://openalex.org/W2139891885","https://openalex.org/W2142614470","https://openalex.org/W2148573667","https://openalex.org/W2162516927","https://openalex.org/W2169114971","https://openalex.org/W2206596198","https://openalex.org/W2225724109","https://openalex.org/W2241862190","https://openalex.org/W2296679748","https://openalex.org/W2397207765","https://openalex.org/W2561675875","https://openalex.org/W2574526943","https://openalex.org/W2600455691","https://openalex.org/W2604528368","https://openalex.org/W2608239929","https://openalex.org/W2617282946","https://openalex.org/W2736129000","https://openalex.org/W2740234560","https://openalex.org/W2745704899","https://openalex.org/W2798930216","https://openalex.org/W2904535794","https://openalex.org/W2965892829","https://openalex.org/W3216931281"],"related_works":["https://openalex.org/W55334476","https://openalex.org/W4232446061","https://openalex.org/W2124110813","https://openalex.org/W2092656858","https://openalex.org/W4285022830","https://openalex.org/W2077520193","https://openalex.org/W4387188591","https://openalex.org/W2996932295","https://openalex.org/W946220898","https://openalex.org/W2352091395"],"abstract_inverted_index":{"In":[0,71,144],"contrast":[1,145],"to":[2,11,25,67,105,142,146],"qualitative":[3,55],"linear":[4],"temporal":[5,21,50,56,85,121,130,198],"logics,":[6,57],"which":[7],"can":[8,192],"be":[9,18,193],"used":[10],"state":[12],"that":[13,168],"some":[14,110],"property":[15,36],"will":[16],"eventually":[17],"satisfied,":[19],"metric":[20,84],"logics":[22,47,51,86,122],"allow":[23,163],"us":[24],"formulate":[26],"constraints":[27],"on":[28,44,54,78,133,150,158],"how":[29,189],"long":[30],"it":[31,108],"may":[32],"take":[33],"until":[34],"the":[35,42,68,79,134,151,159,169,176,197,201],"is":[37,59],"satisfied.":[38],"While":[39],"most":[40,147],"of":[41,81,113,119,136,180,203],"work":[43,66,149],"combining":[45],"description":[46],"(DLs)":[48],"with":[49,83,123],"has":[52],"concentrated":[53],"there":[58],"a":[60,155],"growing":[61],"interest":[62],"in":[63,96,107,187],"extending":[64],"this":[65,72,190],"quantitative":[69],"case.":[70],"article,":[73],"we":[74,153],"complement":[75],"existing":[76,148],"results":[77],"combination":[80],"DLs":[82],"by":[87,127,195],"introducing":[88],"interval-rigid":[89,98,204],"concept":[90,99],"and":[91,161,185,200],"role":[92,101],"names.":[93,205],"Elements":[94],"included":[95],"an":[97],"or":[100,138],"name":[102],"are":[103],"required":[104],"stay":[106],"for":[109],"specified":[111],"amount":[112],"time.":[114],"We":[115,166],"investigate":[116,186],"several":[117],"combinations":[118],"(metric)":[120],"A":[124],"\u2112":[125],"C":[126],"either":[128],"allowing":[129],"operators":[131],"only":[132],"level":[135],"axioms":[137],"also":[139,162],"applying":[140],"them":[141],"concepts.":[143],"topic,":[152],"consider":[154],"timeline":[156],"based":[157],"integers":[160],"assertional":[164],"axioms.":[165],"show":[167],"worst-case":[170],"complexity":[171,191],"does":[172],"not":[173],"increase":[174],"beyond":[175],"previously":[177],"known":[178],"bound":[179],"2-E":[181],"xp":[182],"S":[183],"pace":[184],"detail":[188],"reduced":[194],"restricting":[196],"logic":[199],"occurrences":[202]},"counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}