{"id":"https://openalex.org/W2965511917","doi":"https://doi.org/10.24963/ijcai.2019/256","title":"Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics","display_name":"Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics","publication_year":2019,"publication_date":"2019-07-28","ids":{"openalex":"https://openalex.org/W2965511917","doi":"https://doi.org/10.24963/ijcai.2019/256","mag":"2965511917"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2019/256","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2019/256","pdf_url":"https://www.ijcai.org/proceedings/2019/0256.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Eighth 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/2019/0256.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038062752","display_name":"Vladislav Ryzhikov","orcid":"https://orcid.org/0000-0002-6847-6465"},"institutions":[{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Vladislav Ryzhikov","raw_affiliation_strings":["Birkbeck, University of London, UK"],"affiliations":[{"raw_affiliation_string":"Birkbeck, University of London, UK","institution_ids":["https://openalex.org/I98259816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053108637","display_name":"Przemys\u0142aw Andrzej Wa\u0142\u0119ga","orcid":"https://orcid.org/0000-0003-2922-0472"},"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"]},{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB","PL"],"is_corresponding":false,"raw_author_name":"Przemyslaw Andrzej Walega","raw_affiliation_strings":["University of Oxford, UK","University of Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001878365","display_name":"Michael Zakharyaschev","orcid":"https://orcid.org/0000-0002-2210-5183"},"institutions":[{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Zakharyaschev","raw_affiliation_strings":["Birkbeck University of London, UK","Birkbeck, University of London, UK"],"affiliations":[{"raw_affiliation_string":"Birkbeck University of London, UK","institution_ids":["https://openalex.org/I98259816"]},{"raw_affiliation_string":"Birkbeck, University of London, UK","institution_ids":["https://openalex.org/I98259816"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5038062752"],"corresponding_institution_ids":["https://openalex.org/I98259816"],"apc_list":null,"apc_paid":null,"fwci":1.8786,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.89471627,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1851","last_page":"1857"},"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.9994999766349792,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"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/datalog","display_name":"Datalog","score":0.852593183517456},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6814533472061157},{"id":"https://openalex.org/keywords/transitive-closure","display_name":"Transitive closure","score":0.6088809370994568},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5885037183761597},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.541111409664154},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.5159128904342651},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5105989575386047},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.4976864159107208},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.493594765663147},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.47022128105163574},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.437593013048172},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28325775265693665},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.26369285583496094},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24383017420768738},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.19948172569274902},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.18559378385543823}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.852593183517456},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6814533472061157},{"id":"https://openalex.org/C128896722","wikidata":"https://www.wikidata.org/wiki/Q1501387","display_name":"Transitive closure","level":2,"score":0.6088809370994568},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5885037183761597},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.541111409664154},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.5159128904342651},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5105989575386047},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.4976864159107208},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.493594765663147},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.47022128105163574},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.437593013048172},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28325775265693665},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.26369285583496094},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24383017420768738},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.19948172569274902},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.18559378385543823},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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":3,"locations":[{"id":"doi:10.24963/ijcai.2019/256","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2019/256","pdf_url":"https://www.ijcai.org/proceedings/2019/0256.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.bbk.ac.uk.oai2:28457","is_oa":false,"landing_page_url":"https://eprints.bbk.ac.uk/id/eprint/28457/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400466","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98259816","host_organization_name":"Birkbeck, University of London","host_organization_lineage":["https://openalex.org/I98259816"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book Section"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:ab11db37-fdad-492d-a7b4-8249063041f5","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:ab11db37-fdad-492d-a7b4-8249063041f5","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference item"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2019/256","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2019/256","pdf_url":"https://www.ijcai.org/proceedings/2019/0256.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1981416932","display_name":null,"funder_award_id":"EP/K00607X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2099538888","display_name":null,"funder_award_id":"EP/N014359/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2690482397","display_name":null,"funder_award_id":"EP/S032282","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G278656253","display_name":null,"funder_award_id":"EPSRC UK","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7097328358","display_name":null,"funder_award_id":"EP/S019111/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8521439554","display_name":null,"funder_award_id":"EP/L012138/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320321042","display_name":"Fundacja na rzecz Nauki Polskiej","ror":"https://ror.org/048zd9m77"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2965511917.pdf","grobid_xml":"https://content.openalex.org/works/W2965511917.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W3302859","https://openalex.org/W270081759","https://openalex.org/W1498203978","https://openalex.org/W1527197079","https://openalex.org/W1549387132","https://openalex.org/W1782436202","https://openalex.org/W1851620109","https://openalex.org/W1970956440","https://openalex.org/W2026629052","https://openalex.org/W2097622845","https://openalex.org/W2099367286","https://openalex.org/W2132858301","https://openalex.org/W2137862151","https://openalex.org/W2139891885","https://openalex.org/W2142614470","https://openalex.org/W2191435020","https://openalex.org/W2235742114","https://openalex.org/W2566250634","https://openalex.org/W2573530796","https://openalex.org/W2574526943","https://openalex.org/W2600455691","https://openalex.org/W2740681086","https://openalex.org/W2745704899","https://openalex.org/W2763521382","https://openalex.org/W2779369300","https://openalex.org/W2803623806","https://openalex.org/W2838709227","https://openalex.org/W2904140812","https://openalex.org/W2963099300","https://openalex.org/W2965511917","https://openalex.org/W4236835455","https://openalex.org/W4293765636"],"related_works":["https://openalex.org/W20972493","https://openalex.org/W2338525844","https://openalex.org/W2951257011","https://openalex.org/W4299540831","https://openalex.org/W2964256304","https://openalex.org/W2896766859","https://openalex.org/W4297895951","https://openalex.org/W4288363924","https://openalex.org/W4301141272","https://openalex.org/W2926816154"],"abstract_inverted_index":{"We":[0,30],"investigate":[1],"the":[2,15],"data":[3,20,50],"complexity":[4,71],"of":[5,33],"answering":[6,36],"queries":[7,35],"mediated":[8],"by":[9],"metric":[10],"temporal":[11],"logic":[12,57],"ontologies":[13],"under":[14],"event-based":[16],"semantics":[17],"assuming":[18],"that":[19],"instances":[21],"are":[22],"finite":[23],"timed":[24],"words":[25],"timestamped":[26],"with":[27,61],"binary":[28],"fractions.":[29],"identify":[31],"classes":[32],"ontology-mediated":[34],"which":[37],"can":[38],"be":[39],"done":[40],"in":[41],"AC0,":[42],"NC1,":[43],"L,":[44],"NL,":[45],"P,":[46],"and":[47,58,68],"coNP":[48],"for":[49],"complexity,":[51],"provide":[52],"their":[53],"rewritings":[54],"to":[55],"first-order":[56],"its":[59],"extensions":[60],"primitive":[62],"recursion,":[63],"transitive":[64],"closure":[65],"or":[66],"datalog,":[67],"establish":[69],"lower":[70],"bounds.":[72]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}