{"id":"https://openalex.org/W3006353527","doi":"https://doi.org/10.3233/faia200146","title":"Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints","display_name":"Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3006353527","doi":"https://doi.org/10.3233/faia200146","mag":"3006353527"},"language":"en","primary_location":{"id":"doi:10.3233/faia200146","is_oa":false,"landing_page_url":"https://doi.org/10.3233/faia200146","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2002.06072.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Baader Franz","orcid":null},"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":"Baader Franz","raw_affiliation_strings":["TU Dresden, Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054499021","display_name":"Bartosz Bednarczyk","orcid":"https://orcid.org/0000-0002-8267-7554"},"institutions":[{"id":"https://openalex.org/I219388962","display_name":"University of Wroc\u0142aw","ror":"https://ror.org/00yae6e25","country_code":"PL","type":"education","lineage":["https://openalex.org/I219388962"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Bednarczyk Bartosz","raw_affiliation_strings":["University of Wroc\u0142aw, Wroclaw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Wroc\u0142aw, Wroclaw, Poland","institution_ids":["https://openalex.org/I219388962"]}]},{"author_position":"last","author":{"id":null,"display_name":"Rudolph Sebastian","orcid":null},"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":"Rudolph Sebastian","raw_affiliation_strings":["TU Dresden, Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.6041,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.9077268,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"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.9998000264167786,"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.9966999888420105,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9926999807357788,"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/undecidable-problem","display_name":"Undecidable problem","score":0.8967713117599487},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.7751580476760864},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7311747670173645},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6739410758018494},{"id":"https://openalex.org/keywords/exptime","display_name":"EXPTIME","score":0.6176013946533203},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.5868778228759766},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5356414318084717},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5121235847473145},{"id":"https://openalex.org/keywords/xpath","display_name":"XPath","score":0.5013535022735596},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.49069249629974365},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4869145154953003},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.4854500889778137},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.4656442403793335},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4614810347557068},{"id":"https://openalex.org/keywords/inverse","display_name":"Inverse","score":0.4362497925758362},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4320722818374634},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39528030157089233},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2989598512649536},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.280803382396698},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.17402079701423645},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.14980435371398926},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0998307466506958},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.08824563026428223},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.08008718490600586}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.8967713117599487},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.7751580476760864},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7311747670173645},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6739410758018494},{"id":"https://openalex.org/C56049555","wikidata":"https://www.wikidata.org/wiki/Q1276570","display_name":"EXPTIME","level":4,"score":0.6176013946533203},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.5868778228759766},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5356414318084717},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5121235847473145},{"id":"https://openalex.org/C2780213375","wikidata":"https://www.wikidata.org/wiki/Q16340","display_name":"XPath","level":4,"score":0.5013535022735596},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.49069249629974365},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4869145154953003},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.4854500889778137},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.4656442403793335},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4614810347557068},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.4362497925758362},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4320722818374634},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39528030157089233},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2989598512649536},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.280803382396698},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.17402079701423645},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.14980435371398926},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0998307466506958},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.08824563026428223},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.08008718490600586},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C55348073","wikidata":"https://www.wikidata.org/wiki/Q595926","display_name":"XML validation","level":3,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/faia200146","is_oa":false,"landing_page_url":"https://doi.org/10.3233/faia200146","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"mag:3006353527","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2002.06072.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null}],"best_oa_location":{"id":"mag:3006353527","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2002.06072.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1483388050","https://openalex.org/W1555563750","https://openalex.org/W1578780470","https://openalex.org/W1588876385","https://openalex.org/W1599423189","https://openalex.org/W1607550340","https://openalex.org/W1640599491","https://openalex.org/W1667574996","https://openalex.org/W1974896839","https://openalex.org/W1995656639","https://openalex.org/W2013409229","https://openalex.org/W2100440346","https://openalex.org/W2104806676","https://openalex.org/W2163231487","https://openalex.org/W2747784335","https://openalex.org/W2756005472","https://openalex.org/W2942851019","https://openalex.org/W2955295953","https://openalex.org/W2955860811","https://openalex.org/W2969901012","https://openalex.org/W2987795132","https://openalex.org/W3099593821","https://openalex.org/W3103254699"],"related_works":["https://openalex.org/W1983914494","https://openalex.org/W2136421307","https://openalex.org/W2129111346","https://openalex.org/W2143793338","https://openalex.org/W2001372818","https://openalex.org/W2049832719","https://openalex.org/W3102391036","https://openalex.org/W1893650332","https://openalex.org/W2740681086","https://openalex.org/W4288363924"],"abstract_inverted_index":{"We":[0,80],"introduce":[1],"and":[2,14,41,91,97,114],"investigate":[3],"the":[4,12,26,36,47,50,61,98,123],"expressive":[5],"description":[6],"logic":[7],"(DL)":[8],"ALCSCC++,":[9],"in":[10,19,72,122,134],"which":[11,137],"global":[13,90,99],"local":[15,92],"cardinality":[16,132],"constraints":[17,93,100,133],"introduced":[18],"previous":[20],"papers":[21],"can":[22,86,139],"be":[23,78,87],"mixed.":[24],"On":[25,46],"one":[27],"hand,":[28,49],"we":[29,138],"prove":[30,81],"that":[31,82],"this":[32,73],"does":[33],"not":[34,95],"increase":[35],"complexity":[37],"of":[38,84],"satisfiability":[39,51],"checking":[40],"other":[42,48],"standard":[43],"inference":[44],"problems.":[45],"problem":[52],"becomes":[53],"undecidable":[54],"if":[55,89],"inverse":[56,67],"roles":[57],"are":[58,94,101],"added":[59],"to":[60,77,119,127],"languages.":[62],"In":[63],"addition,":[64],"even":[65],"without":[66],"roles,":[68],"conjunctive":[69],"query":[70,117],"entailment":[71,118],"DL":[74],"turns":[75],"out":[76],"undecidable.":[79],"decidability":[83],"querying":[85],"regained":[88],"mixed":[96],"appropriately":[102],"restricted.":[103],"The":[104],"latter":[105],"result":[106],"is":[107],"based":[108],"on":[109],"a":[110],"locally-acyclic":[111],"model":[112],"construction,":[113],"it":[115],"reduces":[116],"ABox":[120,128],"consistency":[121,129],"restricted":[124,131],"setting,":[125],"i.e.,":[126],"w.r.t.":[130],"ALCSCC,":[135],"for":[136],"show":[140],"an":[141],"ExpTime":[142],"upper":[143],"bound.":[144]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2020-02-24T00:00:00"}