{"id":"https://openalex.org/W7157903845","doi":"https://doi.org/10.48550/arxiv.2604.25549","title":"Partially Finite Model Reasoning in Description Logics Extended Version","display_name":"Partially Finite Model Reasoning in Description Logics Extended Version","publication_year":2026,"publication_date":"2026-04-28","ids":{"openalex":"https://openalex.org/W7157903845","doi":"https://doi.org/10.48550/arxiv.2604.25549"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.25549","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.25549","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.25549","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089747786","display_name":"Tomasz Gogacz","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gogacz, Tomasz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037986297","display_name":"Filip Murlak","orcid":"https://orcid.org/0000-0003-0989-3717"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Murlak, Filip","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016377371","display_name":"Marcin Przyby\u0142ko","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Przyby\u0142ko, Marcin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134859845","display_name":"Alexandra Rogova","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rogova, Alexandra","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5073562431","display_name":"Micha\u0142 Skrzypczak","orcid":"https://orcid.org/0000-0002-9647-4993"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Skrzypczak, Micha\u0142","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.4986000061035156,"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.4986000061035156,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.385699987411499,"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.03709999844431877,"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/logical-consequence","display_name":"Logical consequence","score":0.7329000234603882},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.54830002784729},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.5180000066757202},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5163000226020813},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.46560001373291016},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.4645000100135803},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4586000144481659},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.45249998569488525}],"concepts":[{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.7329000234603882},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.54830002784729},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.5180000066757202},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5163000226020813},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4657999873161316},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.46560001373291016},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4645000100135803},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4616999924182892},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4586000144481659},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.45249998569488525},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4300000071525574},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4171000123023987},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.39640000462532043},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3628999888896942},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.3614000082015991},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34380000829696655},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3402000069618225},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.3215999901294708},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.32120001316070557},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.3000999987125397},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2953999936580658},{"id":"https://openalex.org/C128896722","wikidata":"https://www.wikidata.org/wiki/Q1501387","display_name":"Transitive closure","level":2,"score":0.2759999930858612},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.2734000086784363},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.25380000472068787}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.25549","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.25549","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.25549","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.25549","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Aiming":[0],"to":[1,180],"harmonise":[2],"finite":[3,14,42,78,108,119,128,182],"and":[4,56,109,120,145],"infinite":[5,110,121,142],"model":[6,30,143],"reasoning,":[7],"we":[8,84,123,161],"initiate":[9],"the":[10,17,29,38,62,69,73,82,87,93,104,118,150,153,164,170],"study":[11],"of":[12,28,40,68,92,103,130,166,172],"partially":[13,41,127,181],"models,":[15],"where":[16,107],"reasoning":[18],"task":[19],"comes":[20],"with":[21,86,97],"a":[22,26,50,54,57,77,158],"formula":[23],"that":[24,31,71,125],"specifies":[25],"part":[27],"must":[32],"be":[33,176],"finite.":[34],"We":[35],"focus":[36],"on":[37,117],"problem":[39,165],"query":[43,63,111,167,183],"entailment":[44,112,129],"in":[45,65,134,169],"description":[46],"logics":[47],"(DLs):":[48],"given":[49],"knowledge":[51],"base":[52],"(KB),":[53],"query,":[55],"distinguished":[58,74],"concept,":[59],"decide":[60],"whether":[61],"holds":[64],"all":[66],"models":[67],"KB":[70],"interpret":[72],"concept":[75],"as":[76],"set.":[79],"To":[80],"break":[81],"ground,":[83],"work":[85],"DL":[88,95],"S,":[89],"an":[90],"extension":[91],"basic":[94],"ALC":[96],"transitive":[98],"roles,":[99],"which":[100],"is":[101,133],"one":[102],"simplest":[105],"cases":[106],"diverge.":[113],"Generalising":[114],"previous":[115],"results":[116],"cases,":[122],"show":[124,162],"also":[126],"conjunctive":[131],"queries":[132],"2-exptime":[135],"for":[136,152],"S.":[137],"The":[138],"solution":[139],"involves":[140],"sophisticated":[141],"surgery":[144],"goes":[146],"far":[147],"beyond":[148],"combining":[149],"arguments":[151],"two":[154],"special":[155],"cases.":[156],"As":[157],"direct":[159],"application,":[160],"how":[163],"containment":[168],"presence":[171],"closed":[173],"predicates":[174],"can":[175],"solved":[177],"by":[178],"reduction":[179],"entailment.":[184]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-30T00:00:00"}