{"id":"https://openalex.org/W4385764417","doi":"https://doi.org/10.24963/ijcai.2023/717","title":"Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract)","display_name":"Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract)","publication_year":2023,"publication_date":"2023-08-01","ids":{"openalex":"https://openalex.org/W4385764417","doi":"https://doi.org/10.24963/ijcai.2023/717"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2023/717","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/717","pdf_url":"https://www.ijcai.org/proceedings/2023/0717.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2023/0717.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060245641","display_name":"V\u00edctor Guti\u00e9rrez-Basulto","orcid":"https://orcid.org/0000-0002-6117-5459"},"institutions":[{"id":"https://openalex.org/I79510175","display_name":"Cardiff University","ror":"https://ror.org/03kk7td41","country_code":"GB","type":"education","lineage":["https://openalex.org/I79510175"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"V\u00edctor Guti\u00e9rrez-Basulto","raw_affiliation_strings":["Cardiff University","Cardiff University, UK"],"affiliations":[{"raw_affiliation_string":"Cardiff University","institution_ids":["https://openalex.org/I79510175"]},{"raw_affiliation_string":"Cardiff University, UK","institution_ids":["https://openalex.org/I79510175"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054316475","display_name":"Albert Gutowski","orcid":"https://orcid.org/0000-0001-7084-2965"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Albert Gutowski","raw_affiliation_strings":["University of Warsaw","University of Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"University of Warsaw","institution_ids":["https://openalex.org/I4654613"]},{"raw_affiliation_string":"University of Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004654520","display_name":"Yazm\u00edn Ib\u00e1\u00f1ez-Garc\u00eda","orcid":"https://orcid.org/0000-0002-1276-904X"},"institutions":[{"id":"https://openalex.org/I79510175","display_name":"Cardiff University","ror":"https://ror.org/03kk7td41","country_code":"GB","type":"education","lineage":["https://openalex.org/I79510175"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Yazm\u00edn Ib\u00e1\u00f1ez-Garc\u00eda","raw_affiliation_strings":["Cardiff University","Cardiff University, UK"],"affiliations":[{"raw_affiliation_string":"Cardiff University","institution_ids":["https://openalex.org/I79510175"]},{"raw_affiliation_string":"Cardiff University, UK","institution_ids":["https://openalex.org/I79510175"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037986297","display_name":"Filip Murlak","orcid":"https://orcid.org/0000-0003-0989-3717"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Filip Murlak","raw_affiliation_strings":["University of Warsaw","University of Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"University of Warsaw","institution_ids":["https://openalex.org/I4654613"]},{"raw_affiliation_string":"University of Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5060245641"],"corresponding_institution_ids":["https://openalex.org/I79510175"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09509522,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"6442","last_page":"6446"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9984999895095825,"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"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9972000122070312,"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/logical-consequence","display_name":"Logical consequence","score":0.8902766704559326},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.8738507628440857},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.6842819452285767},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.6765134334564209},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6412196755409241},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.63088458776474},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.6051053404808044},{"id":"https://openalex.org/keywords/web-ontology-language","display_name":"Web Ontology Language","score":0.5787962675094604},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.43874597549438477},{"id":"https://openalex.org/keywords/textual-entailment","display_name":"Textual entailment","score":0.4319782257080078},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.43003398180007935},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4166186451911926},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.35761308670043945},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3025074005126953},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.28519365191459656},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1916801631450653},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.16706958413124084},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.10611152648925781},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.08689594268798828}],"concepts":[{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.8902766704559326},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.8738507628440857},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.6842819452285767},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.6765134334564209},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6412196755409241},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.63088458776474},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.6051053404808044},{"id":"https://openalex.org/C101230327","wikidata":"https://www.wikidata.org/wiki/Q826165","display_name":"Web Ontology Language","level":3,"score":0.5787962675094604},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.43874597549438477},{"id":"https://openalex.org/C95318506","wikidata":"https://www.wikidata.org/wiki/Q6588467","display_name":"Textual entailment","level":3,"score":0.4319782257080078},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.43003398180007935},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4166186451911926},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.35761308670043945},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3025074005126953},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28519365191459656},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1916801631450653},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.16706958413124084},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.10611152648925781},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.08689594268798828},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/ijcai.2023/717","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/717","pdf_url":"https://www.ijcai.org/proceedings/2023/0717.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},{"id":"pmh:oai:https://orca.cardiff.ac.uk:160589","is_oa":true,"landing_page_url":null,"pdf_url":"https://orca.cardiff.ac.uk/id/eprint/160589/1/Sister_IJCAI23.pdf","source":{"id":"https://openalex.org/S4306401195","display_name":"ORCA Online Research @Cardiff (Cardiff University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79510175","host_organization_name":"Cardiff University","host_organization_lineage":["https://openalex.org/I79510175"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2023/717","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/717","pdf_url":"https://www.ijcai.org/proceedings/2023/0717.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385764417.pdf"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W1523809939","https://openalex.org/W1581140154","https://openalex.org/W2056865152","https://openalex.org/W2092103258","https://openalex.org/W2119422073","https://openalex.org/W2127946738","https://openalex.org/W2153286631","https://openalex.org/W2165966638","https://openalex.org/W2180769159","https://openalex.org/W2211193336","https://openalex.org/W2267824407","https://openalex.org/W2293532363","https://openalex.org/W2417366089","https://openalex.org/W2496792076","https://openalex.org/W2572769649","https://openalex.org/W2963593153","https://openalex.org/W2965256832","https://openalex.org/W2966628624","https://openalex.org/W3080397322","https://openalex.org/W3092371057","https://openalex.org/W3105829670","https://openalex.org/W4244275182","https://openalex.org/W4283820035","https://openalex.org/W4288046530","https://openalex.org/W4289548531","https://openalex.org/W4297789064"],"related_works":["https://openalex.org/W2169644218","https://openalex.org/W12963412","https://openalex.org/W2250460949","https://openalex.org/W3158371345","https://openalex.org/W3141423438","https://openalex.org/W2071098659","https://openalex.org/W2627035043","https://openalex.org/W4385571113","https://openalex.org/W2937401546","https://openalex.org/W3030695269"],"abstract_inverted_index":{"We":[0,10,37],"investigate":[1],"the":[2,12,24,43],"problem":[3],"of":[4,7,17,27,29,57],"finite":[5,55],"entailment":[6,56],"ontology-mediated":[8],"queries.":[9],"consider":[11],"expressive":[13],"query":[14],"language,":[15],"unions":[16,28],"conjunctive":[18,30],"regular":[19,33],"path":[20],"queries":[21],"(UCRPQs),":[22],"extending":[23],"well-known":[25],"class":[26],"queries,":[31],"with":[32],"expressions":[34],"over":[35],"roles.":[36],"look":[38],"at":[39],"ontologies":[40],"formulated":[41],"using":[42],"description":[44],"logic":[45],"ALC,":[46],"and":[47],"show":[48],"a":[49],"tight":[50],"2ExpTime":[51],"upper":[52],"bound":[53],"for":[54],"UCRPQs.":[58]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}