{"id":"https://openalex.org/W4415903155","doi":"https://doi.org/10.24963/kr.2025/66","title":"Expressive Description Logics with Rich Yet Affordable Numeric Constraints","display_name":"Expressive Description Logics with Rich Yet Affordable Numeric Constraints","publication_year":2025,"publication_date":"2025-11-01","ids":{"openalex":"https://openalex.org/W4415903155","doi":"https://doi.org/10.24963/kr.2025/66"},"language":null,"primary_location":{"id":"doi:10.24963/kr.2025/66","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/66","pdf_url":"https://proceedings.kr.org/2025/66/kr2025-0066-di-stefano-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2025/66/kr2025-0066-di-stefano-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051966978","display_name":"Federica Di Stefano","orcid":"https://orcid.org/0000-0002-6570-7598"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Federica Di Stefano","raw_affiliation_strings":["Institute of Logic and Computation, TU Wien"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Logic and Computation, TU Wien","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020109081","display_name":"Sanja Lukumbuzya","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sanja Lukumbuzya","raw_affiliation_strings":["Institute of Logic and Computation, TU Wien"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Logic and Computation, TU Wien","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082472539","display_name":"Magdalena Ortiz","orcid":"https://orcid.org/0000-0002-2344-9658"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Magdalena Ortiz","raw_affiliation_strings":["Institute of Logic and Computation, TU Wien"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Logic and Computation, TU Wien","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079813467","display_name":"Mantas \u0160imkus","orcid":"https://orcid.org/0000-0003-0632-0294"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mantas \u0160imkus","raw_affiliation_strings":["Institute of Logic and Computation, TU Wien"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Logic and Computation, TU Wien","institution_ids":[]}]}],"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":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"683","last_page":"693"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.7814000248908997,"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.7814000248908997,"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.0722000002861023,"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/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.03889999911189079,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.7106000185012817},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.649399995803833},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.6445000171661377},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.5983999967575073},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5626999735832214},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.5063999891281128},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.4011000096797943},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.3668000102043152}],"concepts":[{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.7106000185012817},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6632999777793884},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.649399995803833},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.6445000171661377},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5983999967575073},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5626999735832214},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.5063999891281128},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5037000179290771},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.47510001063346863},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.4011000096797943},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.3668000102043152},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.36160001158714294},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.3598000109195709},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3472000062465668},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3327000141143799},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.3181999921798706},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.31700000166893005},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3158999979496002},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30660000443458557},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.3019999861717224},{"id":"https://openalex.org/C155092808","wikidata":"https://www.wikidata.org/wiki/Q182557","display_name":"Computational linguistics","level":2,"score":0.2912999987602234},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.2694999873638153},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2669000029563904},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2578999996185303}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2025/66","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/66","pdf_url":"https://proceedings.kr.org/2025/66/kr2025-0066-di-stefano-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2025/66","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/66","pdf_url":"https://proceedings.kr.org/2025/66/kr2025-0066-di-stefano-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4125750076","display_name":null,"funder_award_id":"10.55776/COE12","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G4531949384","display_name":"OnTeGra: Ontology-based access to Temporal and Graph Data","funder_award_id":"PIN8884924","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8768587252","display_name":"KtoAPP: Compiling Knowledge into Applications","funder_award_id":"P30873","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415903155.pdf","grobid_xml":"https://content.openalex.org/works/W4415903155.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Description":[0],"Logics":[1],"(DLs)":[2],"excel":[3],"at":[4],"representing":[5],"structured":[6],"knowledge":[7],"in":[8],"several":[9],"application":[10],"domains,":[11],"but":[12],"fall":[13],"very":[14],"short":[15],"when":[16],"it":[17,36],"comes":[18],"to":[19],"reasoning":[20,69,72,94,103],"about":[21],"their":[22],"numeric":[23,43,68,91],"aspects.":[24],"We":[25,54,86],"consider":[26],"the":[27,56,111,117],"expressive":[28],"DL":[29],"ALCHOIQ":[30,106],"with":[31,37],"closed":[32],"predicates":[33],"and":[34,47,67,70,93,110],"extend":[35],"features":[38],"ranging":[39],"over":[40],"user-specified":[41],"finite":[42],"intervals,":[44],"feature":[45,52],"assertions,":[46],"local":[48],"additive":[49],"constraints":[50],"on":[51],"values.":[53],"illustrate":[55],"power":[57],"of":[58],"this":[59],"language":[60],"for":[61,105],"describing":[62],"problems":[63,73],"that":[64,74,82,88],"involve":[65],"ontological":[66],"study":[71],"go":[75],"beyond":[76],"satisfiability,":[77],"such":[78],"as":[79],"finding":[80],"models":[81],"minimize":[83],"some":[84],"costs.":[85],"show":[87],"these":[89],"additional":[90],"modeling":[92],"capabilities":[95],"can":[96],"be":[97],"accommodated":[98],"by":[99],"extending":[100],"a":[101],"standard":[102],"technique":[104],"using":[107],"linear":[108],"inequalities,":[109],"extension":[112],"does":[113],"not":[114],"necessarily":[115],"increase":[116],"worst-case":[118],"computational":[119],"cost.":[120]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-11-05T00:00:00"}