{"id":"https://openalex.org/W4398186309","doi":"https://doi.org/10.1145/3605098.3635984","title":"The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains","display_name":"The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains","publication_year":2024,"publication_date":"2024-04-08","ids":{"openalex":"https://openalex.org/W4398186309","doi":"https://doi.org/10.1145/3605098.3635984"},"language":"en","primary_location":{"id":"doi:10.1145/3605098.3635984","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3605098.3635984","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3605098.3635984","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3605098.3635984","any_repository_has_fulltext":null},"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/I33256026","display_name":"German Research Centre for Artificial Intelligence","ror":"https://ror.org/01ayc5b57","country_code":"DE","type":"funder","lineage":["https://openalex.org/I33256026"]},{"id":"https://openalex.org/I4401726909","display_name":"Center for Scalable Data Analytics and Artificial Intelligence","ror":"https://ror.org/01t4ttr56","country_code":"DE","type":"education","lineage":["https://openalex.org/I4401726909","https://openalex.org/I78650965","https://openalex.org/I926574661"]},{"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":true,"raw_author_name":"Franz Baader","raw_affiliation_strings":["Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), Dresden/Leipzig, Germany","TU Dresden, Dresden, Germany","TU Dresden, Dresden, Germany Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), Dresden/Leipzig, Germany"],"affiliations":[{"raw_affiliation_string":"Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), Dresden/Leipzig, Germany","institution_ids":["https://openalex.org/I33256026","https://openalex.org/I4401726909"]},{"raw_affiliation_string":"TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"TU Dresden, Dresden, Germany Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), Dresden/Leipzig, Germany","institution_ids":["https://openalex.org/I78650965","https://openalex.org/I4401726909"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052412839","display_name":"Filippo De Bortoli","orcid":"https://orcid.org/0000-0002-8623-6465"},"institutions":[{"id":"https://openalex.org/I33256026","display_name":"German Research Centre for Artificial Intelligence","ror":"https://ror.org/01ayc5b57","country_code":"DE","type":"funder","lineage":["https://openalex.org/I33256026"]},{"id":"https://openalex.org/I4401726909","display_name":"Center for Scalable Data Analytics and Artificial Intelligence","ror":"https://ror.org/01t4ttr56","country_code":"DE","type":"education","lineage":["https://openalex.org/I4401726909","https://openalex.org/I78650965","https://openalex.org/I926574661"]},{"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":"Filippo De Bortoli","raw_affiliation_strings":["Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), Dresden/Leipzig, Germany","TU Dresden, Dresden, Germany","TU Dresden, Dresden, Germany Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), Dresden/Leipzig, Germany"],"affiliations":[{"raw_affiliation_string":"Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), Dresden/Leipzig, Germany","institution_ids":["https://openalex.org/I33256026","https://openalex.org/I4401726909"]},{"raw_affiliation_string":"TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"TU Dresden, Dresden, Germany Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), Dresden/Leipzig, Germany","institution_ids":["https://openalex.org/I78650965","https://openalex.org/I4401726909"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5086254817"],"corresponding_institution_ids":["https://openalex.org/I33256026","https://openalex.org/I4401726909","https://openalex.org/I78650965"],"apc_list":null,"apc_paid":null,"fwci":1.0425,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.79548724,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"754","last_page":"761"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9995999932289124,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9995999932289124,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","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"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/expressive-power","display_name":"Expressive power","score":0.6753668189048767},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.6071644425392151},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5672655701637268},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.5137861371040344},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3382459878921509},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06873905658721924},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.058456212282180786}],"concepts":[{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.6753668189048767},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.6071644425392151},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5672655701637268},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.5137861371040344},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3382459878921509},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06873905658721924},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.058456212282180786},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3605098.3635984","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3605098.3635984","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3605098.3635984","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3605098.3635984","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3605098.3635984","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3605098.3635984","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321613","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4398186309.pdf"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W395678451","https://openalex.org/W1487334234","https://openalex.org/W1554618854","https://openalex.org/W1972122408","https://openalex.org/W1975503364","https://openalex.org/W1978002064","https://openalex.org/W1991981864","https://openalex.org/W1997817571","https://openalex.org/W2000288666","https://openalex.org/W2085536555","https://openalex.org/W2099081288","https://openalex.org/W2138073201","https://openalex.org/W2145465694","https://openalex.org/W2161484642","https://openalex.org/W2166108892","https://openalex.org/W2294690579","https://openalex.org/W2969901012","https://openalex.org/W3040061311","https://openalex.org/W4211144022","https://openalex.org/W4225389498","https://openalex.org/W4237721941","https://openalex.org/W4244275182"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Concrete":[0],"domains":[1,97,176,202,230],"have":[2],"been":[3],"introduced":[4],"in":[5,35,153,158,232],"description":[6,70],"logic":[7,94,121],"(DL)":[8],"to":[9,12,39,91,188],"enable":[10],"reference":[11],"concrete":[13,44,74,96,108,175,201,229],"objects":[14,23],"(such":[15,24],"as":[16,25,137],"numbers)":[17],"and":[18,69,140],"predefined":[19],"predicates":[20],"on":[21,42,106,169],"these":[22,88,217],"numerical":[26],"comparisons)":[27],"when":[28],"defining":[29],"concepts.":[30],"The":[31],"primary":[32],"research":[33],"goal":[34],"this":[36,58,233],"context":[37],"was":[38],"find":[40],"restrictions":[41],"the":[43,62,107,124,138,141,170,178,193,205,226],"domain":[45,109],"such":[46,136],"that":[47,154,173,203,210],"its":[48],"integration":[49],"into":[50],"certain":[51],"DLs":[52],"preserves":[53],"decidability":[54],"or":[55,123],"tractability.":[56],"In":[57],"paper,":[59],"we":[60,77,167,185,196,219],"investigate":[61],"abstract":[63,146,179,206],"expressive":[64,147,180,207],"power":[65,148,181,208],"of":[66,81,119,155,200,211,216,225],"both":[67],"first-order":[68,82,93,120],"logics":[71,227],"extended":[72],"with":[73,128,134,228],"domains,":[75],"i.e.,":[76],"analyze":[78],"which":[79],"classes":[80],"interpretations":[83],"can":[84,98],"be":[85,151,164],"expressed":[86],"using":[87],"logics,":[89],"compared":[90],"what":[92],"without":[95],"express.":[99],"We":[100],"demonstrate":[101],"that,":[102],"under":[103],"natural":[104],"conditions":[105],"D":[110,129],"(which":[111],"also":[112],"play":[113],"a":[114,198,214],"role":[115],"for":[116,223],"decidability),":[117],"extensions":[118],"(FOL)":[122],"well-known":[125],"DL":[126],"ALC":[127],"share":[130],"important":[131],"formal":[132],"characteristics":[133],"FOL,":[135,156],"compactness":[139],"L\u00f6wenheim-Skolem":[142],"properties.":[143],"Nevertheless,":[144],"their":[145],"need":[149],"not":[150],"contained":[152],"though":[157],"some":[159,224],"cases":[160],"it":[161],"is.":[162],"To":[163],"more":[165],"precise,":[166],"show,":[168],"one":[171],"hand,":[172,195],"unary":[174],"leave":[177],"within":[182],"FOL":[183],"if":[184],"are":[186],"allowed":[187],"introduce":[189],"auxiliary":[190],"predicates.":[191],"On":[192],"other":[194],"exhibit":[197],"class":[199],"push":[204],"beyond":[209],"FOL.":[212],"As":[213],"by-product":[215],"investigations,":[218],"obtain":[220],"(semi-)decidability":[221],"results":[222],"considered":[231],"paper.":[234]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}