{"id":"https://openalex.org/W4225389498","doi":"https://doi.org/10.1007/s10817-022-09626-2","title":"Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains","display_name":"Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains","publication_year":2022,"publication_date":"2022-05-04","ids":{"openalex":"https://openalex.org/W4225389498","doi":"https://doi.org/10.1007/s10817-022-09626-2"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-022-09626-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-022-09626-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-022-09626-2.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10817-022-09626-2.pdf","any_repository_has_fulltext":true},"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":"TU 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":["Theoretical Computer Science, TU Dresden, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Theoretical Computer Science, TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067298626","display_name":"Jakub Rydval","orcid":"https://orcid.org/0000-0002-7961-9492"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"TU Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jakub Rydval","raw_affiliation_strings":["Theoretical Computer Science, TU Dresden, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Theoretical Computer Science, TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5086254817"],"corresponding_institution_ids":["https://openalex.org/I78650965"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":1.2491,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.82609694,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"66","issue":"3","first_page":"357","last_page":"407"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9991000294685364,"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.9991000294685364,"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.9991000294685364,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9853000044822693,"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/decidability","display_name":"Decidability","score":0.6963730454444885},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5451003313064575},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.48173215985298157},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.463644415140152},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.43215373158454895},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36501848697662354},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3488883972167969},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.337394118309021},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1149604320526123},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.08886858820915222},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.07514256238937378}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6963730454444885},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5451003313064575},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.48173215985298157},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.463644415140152},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43215373158454895},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36501848697662354},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3488883972167969},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.337394118309021},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1149604320526123},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.08886858820915222},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.07514256238937378}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10817-022-09626-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-022-09626-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-022-09626-2.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},{"id":"pmh:oai:qucosa:de:qucosa:79907","is_oa":true,"landing_page_url":"https://tud.qucosa.de/id/qucosa%3A79907","pdf_url":null,"source":{"id":"https://openalex.org/S4377196312","display_name":"Qucosa (Saxon State and University Library Dresden)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I3132420320","host_organization_name":"SLUB Dresden","host_organization_lineage":["https://openalex.org/I3132420320"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doc-type:Text"},{"id":"pmh:oai:qucosa:de:qucosa:88720","is_oa":true,"landing_page_url":"https://tud.qucosa.de/id/qucosa%3A88720","pdf_url":null,"source":{"id":"https://openalex.org/S4377196312","display_name":"Qucosa (Saxon State and University Library Dresden)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I3132420320","host_organization_name":"SLUB Dresden","host_organization_lineage":["https://openalex.org/I3132420320"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doc-type:Text"}],"best_oa_location":{"id":"doi:10.1007/s10817-022-09626-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-022-09626-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10817-022-09626-2.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.4300000071525574,"display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G3032849772","display_name":null,"funder_award_id":"TRR 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G4915074102","display_name":null,"funder_award_id":"Grant 389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5106512922","display_name":null,"funder_award_id":"Deutsche Forschungsgemeinschaft (DFG","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6024419964","display_name":null,"funder_award_id":"Deutsche Forschungsgemeinschaft (DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6052429835","display_name":null,"funder_award_id":"(DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6819048190","display_name":null,"funder_award_id":"GRK 1763","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G890954746","display_name":null,"funder_award_id":"389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321613","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4225389498.pdf","grobid_xml":"https://content.openalex.org/works/W4225389498.grobid-xml"},"referenced_works_count":51,"referenced_works":["https://openalex.org/W944756483","https://openalex.org/W1026721552","https://openalex.org/W1487334234","https://openalex.org/W1515947275","https://openalex.org/W1541016176","https://openalex.org/W1570481521","https://openalex.org/W1967190838","https://openalex.org/W1974896839","https://openalex.org/W1975503364","https://openalex.org/W1977517542","https://openalex.org/W1979514837","https://openalex.org/W1988705590","https://openalex.org/W1990890881","https://openalex.org/W1997175672","https://openalex.org/W1998637047","https://openalex.org/W2011992362","https://openalex.org/W2013166518","https://openalex.org/W2019145653","https://openalex.org/W2046261894","https://openalex.org/W2055904049","https://openalex.org/W2058971493","https://openalex.org/W2070051236","https://openalex.org/W2086423722","https://openalex.org/W2137099410","https://openalex.org/W2158513360","https://openalex.org/W2161484642","https://openalex.org/W2166197332","https://openalex.org/W2296309901","https://openalex.org/W2568298848","https://openalex.org/W2740483412","https://openalex.org/W2962785950","https://openalex.org/W2962866002","https://openalex.org/W2963629206","https://openalex.org/W2963710712","https://openalex.org/W2963768895","https://openalex.org/W2964345483","https://openalex.org/W3038004136","https://openalex.org/W3040061311","https://openalex.org/W3080160234","https://openalex.org/W3154847826","https://openalex.org/W3163386529","https://openalex.org/W3178223974","https://openalex.org/W3202565953","https://openalex.org/W4210631930","https://openalex.org/W4230417672","https://openalex.org/W4236835455","https://openalex.org/W4237194359","https://openalex.org/W4244275182","https://openalex.org/W4285718908","https://openalex.org/W4285722644","https://openalex.org/W6912992434"],"related_works":["https://openalex.org/W2331020993","https://openalex.org/W2972379433","https://openalex.org/W238609530","https://openalex.org/W4383764068","https://openalex.org/W1481826604","https://openalex.org/W1797057780","https://openalex.org/W1501430220","https://openalex.org/W3187762542","https://openalex.org/W1587864502","https://openalex.org/W2583753471"],"abstract_inverted_index":{"Abstract":[0],"Concrete":[1],"domains":[2,53,107,114,166,176,211,288],"have":[3],"been":[4],"introduced":[5],"in":[6,35,69,77,195],"the":[7,36,63,70,88,92,97,121,181,196,214,217,220,253],"area":[8],"of":[9,38,62,72,99,117,164,180,230,274,285],"Description":[10],"Logic":[11],"to":[12,15,57,112,131,157,199,280],"enable":[13],"reference":[14],"concrete":[16,52,89,106,113,152,165,175,210,221,249,287],"objects":[17,26],"(such":[18,27],"as":[19,28],"numbers)":[20],"and":[21,212,219,262],"predefined":[22],"predicates":[23,111,116],"on":[24,87,252],"these":[25,275],"numerical":[29,247],"comparisons)":[30],"when":[31],"defining":[32],"concepts.":[33],"Unfortunately,":[34],"presence":[37,71],"general":[39],"concept":[40],"inclusions":[41],"(GCIs),":[42],"which":[43],"are":[44,264,268],"supported":[45],"by":[46,206],"all":[47],"modern":[48],"DL":[49,64,198,218],"systems,":[50],"adding":[51],"may":[54],"easily":[55],"lead":[56],"undecidability.":[58],"To":[59],"regain":[60],"decidability":[61,188],"$$\\mathcal":[65,182,292],"{ALC}$$":[66,293],"<mml:math":[67,82,102,128,149,161,184,259,294],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>ALC</mml:mi></mml:math>":[68,295],"GCIs,":[73],"quite":[74],"strong":[75,235],"restrictions,":[76],"sum":[78],"called":[79],"$$\\omega":[80,100,126,147,159,257],"$$":[81,101,127,148,160,258],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>\u03c9</mml:mi></mml:math>":[83,103,129,150,162,260],"-admissibility,":[84],"were":[85],"imposed":[86],"domain.":[90,222],"On":[91,120],"one":[93],"hand,":[94,123],"we":[95,124,139,243],"generalize":[96],"notion":[98],"-admissibility":[104,130,163,261],"from":[105,134,170,226],"with":[108,115],"only":[109],"binary":[110],"arbitrary":[118],"arity.":[119],"other":[122],"relate":[125],"well-known":[132],"notions":[133],"model":[135,171],"theory.":[136,172],"In":[137,241],"particular,":[138,242],"show":[140,158],"that":[141,267],"finitely":[142],"bounded":[143],"homogeneous":[144],"structures":[145],"yield":[146],"-admissible":[151],"domains.":[153],"This":[154,202],"allows":[155],"us":[156,279],"using":[167,207],"existing":[168],"results":[169],"When":[173],"integrating":[174],"into":[177,291],"lightweight":[178],"DLs":[179],"{EL}$$":[183],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>EL</mml:mi></mml:math>":[185],"family,":[186],"achieving":[187],"is":[189],"not":[190],"enough.":[191],"One":[192],"wants":[193],"reasoning":[194],"resulting":[197],"be":[200,204],"tractable.":[201],"can":[203],"achieved":[205],"so-called":[208],"p-admissible":[209,248,286],"restricting":[213],"interaction":[215],"between":[216],"We":[223],"investigate":[224],"p-admissibility":[225,263],"an":[227,245,282],"algebraic":[228,236,272],"point":[229],"view.":[231],"Again,":[232],"this":[233],"yields":[234,296],"tools":[237],"for":[238],"demonstrating":[239],"p-admissibility.":[240],"obtain":[244],"expressive":[246],"domain":[250],"based":[251],"rational":[254],"numbers.":[255],"Although":[256],"orthogonal":[265],"conditions":[266],"almost":[269],"exclusive,":[270],"our":[271],"characterizations":[273],"two":[276],"properties":[277],"allow":[278],"locate":[281],"infinite":[283],"class":[284],"whose":[289],"integration":[290],"decidable":[297],"DLs.":[298]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}