First-order rewritability of ontology-mediated queries in linear temporal logic Article Swipe
Alessandro Artale
,
Roman Kontchakov
,
Alisa Kovtunova
,
Vladislav Ryzhikov
,
Frank Wolter
,
Michael Zakharyaschev
·
YOU?
·
· 2021
· Open Access
·
· DOI: https://doi.org/10.1016/j.artint.2021.103536
YOU?
·
· 2021
· Open Access
·
· DOI: https://doi.org/10.1016/j.artint.2021.103536
Related Topics
Concepts
Linear temporal logic
Temporal logic
Description logic
Ontology
Theoretical computer science
Conjunctive query
Computer science
Recursion (computer science)
Ontology language
Time complexity
Temporal database
Mathematics
Algorithm
Relational database
Information retrieval
Data mining
Semantic Web
Epistemology
Philosophy
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.1016/j.artint.2021.103536
- OA Status
- green
- Cited By
- 12
- References
- 151
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W3016366169
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W3016366169Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.1016/j.artint.2021.103536Digital Object Identifier
- Title
-
First-order rewritability of ontology-mediated queries in linear temporal logicWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2021Year of publication
- Publication date
-
2021-05-19Full publication date if available
- Authors
-
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael ZakharyaschevList of authors in order
- Landing page
-
https://doi.org/10.1016/j.artint.2021.103536Publisher landing page
- Open access
-
YesWhether a free full text is available
- OA status
-
greenOpen access status per OpenAlex
- OA URL
-
https://arxiv.org/pdf/2004.07221Direct OA link when available
- Concepts
-
Linear temporal logic, Temporal logic, Description logic, Ontology, Theoretical computer science, Conjunctive query, Computer science, Recursion (computer science), Ontology language, Time complexity, Temporal database, Mathematics, Algorithm, Relational database, Information retrieval, Data mining, Semantic Web, Epistemology, PhilosophyTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
12Total citation count in OpenAlex
- Citations by year (recent)
-
2023: 5, 2022: 2, 2021: 2, 2020: 3Per-year citation counts (last 5 years)
- References (count)
-
151Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W3016366169 |
|---|---|
| doi | https://doi.org/10.1016/j.artint.2021.103536 |
| ids.doi | https://doi.org/10.1016/j.artint.2021.103536 |
| ids.mag | 3016366169 |
| ids.openalex | https://openalex.org/W3016366169 |
| fwci | 1.26993218 |
| type | article |
| title | First-order rewritability of ontology-mediated queries in linear temporal logic |
| awards[0].id | https://openalex.org/G2795018170 |
| awards[0].funder_id | https://openalex.org/F4320334627 |
| awards[0].display_name | |
| awards[0].funder_award_id | EP/S032282/1 |
| awards[0].funder_display_name | Engineering and Physical Sciences Research Council |
| awards[1].id | https://openalex.org/G8624711644 |
| awards[1].funder_id | https://openalex.org/F4320334627 |
| awards[1].display_name | |
| awards[1].funder_award_id | EP/S032207/1 |
| awards[1].funder_display_name | Engineering and Physical Sciences Research Council |
| biblio.issue | |
| biblio.volume | 299 |
| biblio.last_page | 103536 |
| biblio.first_page | 103536 |
| topics[0].id | https://openalex.org/T10215 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9998000264167786 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1702 |
| topics[0].subfield.display_name | Artificial Intelligence |
| topics[0].display_name | Semantic Web and Ontologies |
| topics[1].id | https://openalex.org/T10317 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9997000098228455 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1705 |
| topics[1].subfield.display_name | Computer Networks and Communications |
| topics[1].display_name | Advanced Database Systems and Queries |
| topics[2].id | https://openalex.org/T11106 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9975000023841858 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1711 |
| topics[2].subfield.display_name | Signal Processing |
| topics[2].display_name | Data Management and Algorithms |
| funders[0].id | https://openalex.org/F4320334627 |
| funders[0].ror | https://ror.org/0439y7842 |
| funders[0].display_name | Engineering and Physical Sciences Research Council |
| is_xpac | False |
| apc_list.value | 3670 |
| apc_list.currency | USD |
| apc_list.value_usd | 3670 |
| apc_paid | |
| concepts[0].id | https://openalex.org/C4777664 |
| concepts[0].level | 2 |
| concepts[0].score | 0.7907512187957764 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q1536492 |
| concepts[0].display_name | Linear temporal logic |
| concepts[1].id | https://openalex.org/C25016198 |
| concepts[1].level | 2 |
| concepts[1].score | 0.6540406942367554 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q781833 |
| concepts[1].display_name | Temporal logic |
| concepts[2].id | https://openalex.org/C102993220 |
| concepts[2].level | 2 |
| concepts[2].score | 0.6165187954902649 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q387196 |
| concepts[2].display_name | Description logic |
| concepts[3].id | https://openalex.org/C25810664 |
| concepts[3].level | 2 |
| concepts[3].score | 0.5899636745452881 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q44325 |
| concepts[3].display_name | Ontology |
| concepts[4].id | https://openalex.org/C80444323 |
| concepts[4].level | 1 |
| concepts[4].score | 0.5444177389144897 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q2878974 |
| concepts[4].display_name | Theoretical computer science |
| concepts[5].id | https://openalex.org/C65647387 |
| concepts[5].level | 3 |
| concepts[5].score | 0.52906334400177 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q1781706 |
| concepts[5].display_name | Conjunctive query |
| concepts[6].id | https://openalex.org/C41008148 |
| concepts[6].level | 0 |
| concepts[6].score | 0.5283045768737793 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[6].display_name | Computer science |
| concepts[7].id | https://openalex.org/C168773036 |
| concepts[7].level | 2 |
| concepts[7].score | 0.5052130818367004 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q264164 |
| concepts[7].display_name | Recursion (computer science) |
| concepts[8].id | https://openalex.org/C61673122 |
| concepts[8].level | 3 |
| concepts[8].score | 0.4923361539840698 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q7095059 |
| concepts[8].display_name | Ontology language |
| concepts[9].id | https://openalex.org/C311688 |
| concepts[9].level | 2 |
| concepts[9].score | 0.44654610753059387 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q2393193 |
| concepts[9].display_name | Time complexity |
| concepts[10].id | https://openalex.org/C77277458 |
| concepts[10].level | 2 |
| concepts[10].score | 0.4206409752368927 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q1969246 |
| concepts[10].display_name | Temporal database |
| concepts[11].id | https://openalex.org/C33923547 |
| concepts[11].level | 0 |
| concepts[11].score | 0.38510340452194214 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[11].display_name | Mathematics |
| concepts[12].id | https://openalex.org/C11413529 |
| concepts[12].level | 1 |
| concepts[12].score | 0.34856978058815 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q8366 |
| concepts[12].display_name | Algorithm |
| concepts[13].id | https://openalex.org/C5655090 |
| concepts[13].level | 2 |
| concepts[13].score | 0.3285534381866455 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q192588 |
| concepts[13].display_name | Relational database |
| concepts[14].id | https://openalex.org/C23123220 |
| concepts[14].level | 1 |
| concepts[14].score | 0.16269534826278687 |
| concepts[14].wikidata | https://www.wikidata.org/wiki/Q816826 |
| concepts[14].display_name | Information retrieval |
| concepts[15].id | https://openalex.org/C124101348 |
| concepts[15].level | 1 |
| concepts[15].score | 0.1554993987083435 |
| concepts[15].wikidata | https://www.wikidata.org/wiki/Q172491 |
| concepts[15].display_name | Data mining |
| concepts[16].id | https://openalex.org/C2129575 |
| concepts[16].level | 2 |
| concepts[16].score | 0.14216965436935425 |
| concepts[16].wikidata | https://www.wikidata.org/wiki/Q54837 |
| concepts[16].display_name | Semantic Web |
| concepts[17].id | https://openalex.org/C111472728 |
| concepts[17].level | 1 |
| concepts[17].score | 0.0 |
| concepts[17].wikidata | https://www.wikidata.org/wiki/Q9471 |
| concepts[17].display_name | Epistemology |
| concepts[18].id | https://openalex.org/C138885662 |
| concepts[18].level | 0 |
| concepts[18].score | 0.0 |
| concepts[18].wikidata | https://www.wikidata.org/wiki/Q5891 |
| concepts[18].display_name | Philosophy |
| keywords[0].id | https://openalex.org/keywords/linear-temporal-logic |
| keywords[0].score | 0.7907512187957764 |
| keywords[0].display_name | Linear temporal logic |
| keywords[1].id | https://openalex.org/keywords/temporal-logic |
| keywords[1].score | 0.6540406942367554 |
| keywords[1].display_name | Temporal logic |
| keywords[2].id | https://openalex.org/keywords/description-logic |
| keywords[2].score | 0.6165187954902649 |
| keywords[2].display_name | Description logic |
| keywords[3].id | https://openalex.org/keywords/ontology |
| keywords[3].score | 0.5899636745452881 |
| keywords[3].display_name | Ontology |
| keywords[4].id | https://openalex.org/keywords/theoretical-computer-science |
| keywords[4].score | 0.5444177389144897 |
| keywords[4].display_name | Theoretical computer science |
| keywords[5].id | https://openalex.org/keywords/conjunctive-query |
| keywords[5].score | 0.52906334400177 |
| keywords[5].display_name | Conjunctive query |
| keywords[6].id | https://openalex.org/keywords/computer-science |
| keywords[6].score | 0.5283045768737793 |
| keywords[6].display_name | Computer science |
| keywords[7].id | https://openalex.org/keywords/recursion |
| keywords[7].score | 0.5052130818367004 |
| keywords[7].display_name | Recursion (computer science) |
| keywords[8].id | https://openalex.org/keywords/ontology-language |
| keywords[8].score | 0.4923361539840698 |
| keywords[8].display_name | Ontology language |
| keywords[9].id | https://openalex.org/keywords/time-complexity |
| keywords[9].score | 0.44654610753059387 |
| keywords[9].display_name | Time complexity |
| keywords[10].id | https://openalex.org/keywords/temporal-database |
| keywords[10].score | 0.4206409752368927 |
| keywords[10].display_name | Temporal database |
| keywords[11].id | https://openalex.org/keywords/mathematics |
| keywords[11].score | 0.38510340452194214 |
| keywords[11].display_name | Mathematics |
| keywords[12].id | https://openalex.org/keywords/algorithm |
| keywords[12].score | 0.34856978058815 |
| keywords[12].display_name | Algorithm |
| keywords[13].id | https://openalex.org/keywords/relational-database |
| keywords[13].score | 0.3285534381866455 |
| keywords[13].display_name | Relational database |
| keywords[14].id | https://openalex.org/keywords/information-retrieval |
| keywords[14].score | 0.16269534826278687 |
| keywords[14].display_name | Information retrieval |
| keywords[15].id | https://openalex.org/keywords/data-mining |
| keywords[15].score | 0.1554993987083435 |
| keywords[15].display_name | Data mining |
| keywords[16].id | https://openalex.org/keywords/semantic-web |
| keywords[16].score | 0.14216965436935425 |
| keywords[16].display_name | Semantic Web |
| language | en |
| locations[0].id | doi:10.1016/j.artint.2021.103536 |
| locations[0].is_oa | False |
| locations[0].source.id | https://openalex.org/S196139623 |
| locations[0].source.issn | 0004-3702, 1872-7921 |
| locations[0].source.type | journal |
| locations[0].source.is_oa | False |
| locations[0].source.issn_l | 0004-3702 |
| locations[0].source.is_core | True |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | Artificial Intelligence |
| locations[0].source.host_organization | https://openalex.org/P4310320990 |
| locations[0].source.host_organization_name | Elsevier BV |
| locations[0].source.host_organization_lineage | https://openalex.org/P4310320990 |
| locations[0].source.host_organization_lineage_names | Elsevier BV |
| locations[0].license | |
| locations[0].pdf_url | |
| locations[0].version | publishedVersion |
| locations[0].raw_type | journal-article |
| locations[0].license_id | |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | Artificial Intelligence |
| locations[0].landing_page_url | https://doi.org/10.1016/j.artint.2021.103536 |
| locations[1].id | pmh:oai:arXiv.org:2004.07221 |
| locations[1].is_oa | True |
| locations[1].source.id | https://openalex.org/S4306400194 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | True |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | arXiv (Cornell University) |
| locations[1].source.host_organization | https://openalex.org/I205783295 |
| locations[1].source.host_organization_name | Cornell University |
| locations[1].source.host_organization_lineage | https://openalex.org/I205783295 |
| locations[1].license | |
| locations[1].pdf_url | https://arxiv.org/pdf/2004.07221 |
| locations[1].version | submittedVersion |
| locations[1].raw_type | text |
| locations[1].license_id | |
| locations[1].is_accepted | False |
| locations[1].is_published | False |
| locations[1].raw_source_name | |
| locations[1].landing_page_url | http://arxiv.org/abs/2004.07221 |
| locations[2].id | pmh:oai:alma.39UBZ_INST:11265857990001241 |
| locations[2].is_oa | False |
| locations[2].source | |
| locations[2].license | |
| locations[2].pdf_url | |
| locations[2].version | submittedVersion |
| locations[2].raw_type | text |
| locations[2].license_id | |
| locations[2].is_accepted | False |
| locations[2].is_published | False |
| locations[2].raw_source_name | |
| locations[2].landing_page_url | https://www.sciencedirect.com/science/article/pii/S0004370221000874 |
| locations[3].id | pmh:oai:unibz.it:11265857990001241 |
| locations[3].is_oa | False |
| locations[3].source | |
| locations[3].license | |
| locations[3].pdf_url | |
| locations[3].version | submittedVersion |
| locations[3].raw_type | text |
| locations[3].license_id | |
| locations[3].is_accepted | False |
| locations[3].is_published | False |
| locations[3].raw_source_name | |
| locations[3].landing_page_url | https://bia.unibz.it/esploro/outputs/journalArticle/First-order-rewritability-of-ontology-mediated-queries-in/991006186796501241 |
| locations[4].id | doi:10.4230/lipics.time.2021.10 |
| locations[4].is_oa | True |
| locations[4].source.id | https://openalex.org/S7407052059 |
| locations[4].source.type | repository |
| locations[4].source.is_oa | False |
| locations[4].source.issn_l | |
| locations[4].source.is_core | False |
| locations[4].source.is_in_doaj | False |
| locations[4].source.display_name | Dagstuhl Research Online Publication Server |
| locations[4].source.host_organization | |
| locations[4].source.host_organization_name | |
| locations[4].license | cc-by |
| locations[4].pdf_url | |
| locations[4].version | |
| locations[4].raw_type | |
| locations[4].license_id | https://openalex.org/licenses/cc-by |
| locations[4].is_accepted | False |
| locations[4].is_published | |
| locations[4].raw_source_name | |
| locations[4].landing_page_url | https://doi.org/10.4230/lipics.time.2021.10 |
| indexed_in | arxiv, crossref, datacite |
| authorships[0].author.id | https://openalex.org/A5035993641 |
| authorships[0].author.orcid | https://orcid.org/0000-0002-3852-9351 |
| authorships[0].author.display_name | Alessandro Artale |
| authorships[0].countries | IT |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I171543936 |
| authorships[0].affiliations[0].raw_affiliation_string | KRDB Research Centre, Free University of Bozen-Bolzano, Italy |
| authorships[0].institutions[0].id | https://openalex.org/I171543936 |
| authorships[0].institutions[0].ror | https://ror.org/012ajp527 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I171543936 |
| authorships[0].institutions[0].country_code | IT |
| authorships[0].institutions[0].display_name | Free University of Bozen-Bolzano |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Alessandro Artale |
| authorships[0].is_corresponding | True |
| authorships[0].raw_affiliation_strings | KRDB Research Centre, Free University of Bozen-Bolzano, Italy |
| authorships[1].author.id | https://openalex.org/A5047265550 |
| authorships[1].author.orcid | https://orcid.org/0000-0002-9349-9159 |
| authorships[1].author.display_name | Roman Kontchakov |
| authorships[1].countries | GB |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I98259816 |
| authorships[1].affiliations[0].raw_affiliation_string | Department of Computer Science and Information Systems, Birkbeck, University of London, UK |
| authorships[1].institutions[0].id | https://openalex.org/I98259816 |
| authorships[1].institutions[0].ror | https://ror.org/02mb95055 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I124357947, https://openalex.org/I98259816 |
| authorships[1].institutions[0].country_code | GB |
| authorships[1].institutions[0].display_name | Birkbeck, University of London |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Roman Kontchakov |
| authorships[1].is_corresponding | True |
| authorships[1].raw_affiliation_strings | Department of Computer Science and Information Systems, Birkbeck, University of London, UK |
| authorships[2].author.id | https://openalex.org/A5044293361 |
| authorships[2].author.orcid | https://orcid.org/0000-0001-9936-0943 |
| authorships[2].author.display_name | Alisa Kovtunova |
| authorships[2].countries | DE |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I78650965 |
| authorships[2].affiliations[0].raw_affiliation_string | Chair for Automata Theory, Technische Universität Dresden, Germany |
| authorships[2].institutions[0].id | https://openalex.org/I78650965 |
| authorships[2].institutions[0].ror | https://ror.org/042aqky30 |
| authorships[2].institutions[0].type | education |
| authorships[2].institutions[0].lineage | https://openalex.org/I78650965 |
| authorships[2].institutions[0].country_code | DE |
| authorships[2].institutions[0].display_name | Technische Universität Dresden |
| authorships[2].author_position | middle |
| authorships[2].raw_author_name | Alisa Kovtunova |
| authorships[2].is_corresponding | True |
| authorships[2].raw_affiliation_strings | Chair for Automata Theory, Technische Universität Dresden, Germany |
| authorships[3].author.id | https://openalex.org/A5038062752 |
| authorships[3].author.orcid | https://orcid.org/0000-0002-6847-6465 |
| authorships[3].author.display_name | Vladislav Ryzhikov |
| authorships[3].countries | GB |
| authorships[3].affiliations[0].institution_ids | https://openalex.org/I98259816 |
| authorships[3].affiliations[0].raw_affiliation_string | Department of Computer Science and Information Systems, Birkbeck, University of London, UK |
| authorships[3].institutions[0].id | https://openalex.org/I98259816 |
| authorships[3].institutions[0].ror | https://ror.org/02mb95055 |
| authorships[3].institutions[0].type | education |
| authorships[3].institutions[0].lineage | https://openalex.org/I124357947, https://openalex.org/I98259816 |
| authorships[3].institutions[0].country_code | GB |
| authorships[3].institutions[0].display_name | Birkbeck, University of London |
| authorships[3].author_position | middle |
| authorships[3].raw_author_name | Vladislav Ryzhikov |
| authorships[3].is_corresponding | True |
| authorships[3].raw_affiliation_strings | Department of Computer Science and Information Systems, Birkbeck, University of London, UK |
| authorships[4].author.id | https://openalex.org/A5010967150 |
| authorships[4].author.orcid | https://orcid.org/0000-0002-4470-606X |
| authorships[4].author.display_name | Frank Wolter |
| authorships[4].countries | GB |
| authorships[4].affiliations[0].institution_ids | https://openalex.org/I146655781 |
| authorships[4].affiliations[0].raw_affiliation_string | Department of Computer Science, University of Liverpool, UK |
| authorships[4].institutions[0].id | https://openalex.org/I146655781 |
| authorships[4].institutions[0].ror | https://ror.org/04xs57h96 |
| authorships[4].institutions[0].type | education |
| authorships[4].institutions[0].lineage | https://openalex.org/I146655781 |
| authorships[4].institutions[0].country_code | GB |
| authorships[4].institutions[0].display_name | University of Liverpool |
| authorships[4].author_position | middle |
| authorships[4].raw_author_name | Frank Wolter |
| authorships[4].is_corresponding | True |
| authorships[4].raw_affiliation_strings | Department of Computer Science, University of Liverpool, UK |
| authorships[5].author.id | https://openalex.org/A5001878365 |
| authorships[5].author.orcid | https://orcid.org/0000-0002-2210-5183 |
| authorships[5].author.display_name | Michael Zakharyaschev |
| authorships[5].countries | GB, RU |
| authorships[5].affiliations[0].institution_ids | https://openalex.org/I98259816 |
| authorships[5].affiliations[0].raw_affiliation_string | Department of Computer Science and Information Systems, Birkbeck, University of London, UK |
| authorships[5].affiliations[1].institution_ids | https://openalex.org/I118501908 |
| authorships[5].affiliations[1].raw_affiliation_string | HSE University, Moscow, Russia |
| authorships[5].institutions[0].id | https://openalex.org/I98259816 |
| authorships[5].institutions[0].ror | https://ror.org/02mb95055 |
| authorships[5].institutions[0].type | education |
| authorships[5].institutions[0].lineage | https://openalex.org/I124357947, https://openalex.org/I98259816 |
| authorships[5].institutions[0].country_code | GB |
| authorships[5].institutions[0].display_name | Birkbeck, University of London |
| authorships[5].institutions[1].id | https://openalex.org/I118501908 |
| authorships[5].institutions[1].ror | https://ror.org/055f7t516 |
| authorships[5].institutions[1].type | education |
| authorships[5].institutions[1].lineage | https://openalex.org/I118501908 |
| authorships[5].institutions[1].country_code | RU |
| authorships[5].institutions[1].display_name | National Research University Higher School of Economics |
| authorships[5].author_position | last |
| authorships[5].raw_author_name | Michael Zakharyaschev |
| authorships[5].is_corresponding | True |
| authorships[5].raw_affiliation_strings | Department of Computer Science and Information Systems, Birkbeck, University of London, UK, HSE University, Moscow, Russia |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://arxiv.org/pdf/2004.07221 |
| open_access.oa_status | green |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | First-order rewritability of ontology-mediated queries in linear temporal logic |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T03:46:38.306776 |
| primary_topic.id | https://openalex.org/T10215 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9998000264167786 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1702 |
| primary_topic.subfield.display_name | Artificial Intelligence |
| primary_topic.display_name | Semantic Web and Ontologies |
| related_works | https://openalex.org/W2749819226, https://openalex.org/W2497077163, https://openalex.org/W2573193831, https://openalex.org/W2123910684, https://openalex.org/W75363634, https://openalex.org/W1782436202, https://openalex.org/W2225724109, https://openalex.org/W195475944, https://openalex.org/W1041851260, https://openalex.org/W4285603088 |
| cited_by_count | 12 |
| counts_by_year[0].year | 2023 |
| counts_by_year[0].cited_by_count | 5 |
| counts_by_year[1].year | 2022 |
| counts_by_year[1].cited_by_count | 2 |
| counts_by_year[2].year | 2021 |
| counts_by_year[2].cited_by_count | 2 |
| counts_by_year[3].year | 2020 |
| counts_by_year[3].cited_by_count | 3 |
| locations_count | 5 |
| best_oa_location.id | pmh:oai:arXiv.org:2004.07221 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4306400194 |
| best_oa_location.source.issn | |
| best_oa_location.source.type | repository |
| best_oa_location.source.is_oa | True |
| best_oa_location.source.issn_l | |
| best_oa_location.source.is_core | False |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | arXiv (Cornell University) |
| best_oa_location.source.host_organization | https://openalex.org/I205783295 |
| best_oa_location.source.host_organization_name | Cornell University |
| best_oa_location.source.host_organization_lineage | https://openalex.org/I205783295 |
| best_oa_location.license | |
| best_oa_location.pdf_url | https://arxiv.org/pdf/2004.07221 |
| best_oa_location.version | submittedVersion |
| best_oa_location.raw_type | text |
| best_oa_location.license_id | |
| best_oa_location.is_accepted | False |
| best_oa_location.is_published | False |
| best_oa_location.raw_source_name | |
| best_oa_location.landing_page_url | http://arxiv.org/abs/2004.07221 |
| primary_location.id | doi:10.1016/j.artint.2021.103536 |
| primary_location.is_oa | False |
| primary_location.source.id | https://openalex.org/S196139623 |
| primary_location.source.issn | 0004-3702, 1872-7921 |
| primary_location.source.type | journal |
| primary_location.source.is_oa | False |
| primary_location.source.issn_l | 0004-3702 |
| primary_location.source.is_core | True |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | Artificial Intelligence |
| primary_location.source.host_organization | https://openalex.org/P4310320990 |
| primary_location.source.host_organization_name | Elsevier BV |
| primary_location.source.host_organization_lineage | https://openalex.org/P4310320990 |
| primary_location.source.host_organization_lineage_names | Elsevier BV |
| primary_location.license | |
| primary_location.pdf_url | |
| primary_location.version | publishedVersion |
| primary_location.raw_type | journal-article |
| primary_location.license_id | |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | Artificial Intelligence |
| primary_location.landing_page_url | https://doi.org/10.1016/j.artint.2021.103536 |
| publication_date | 2021-05-19 |
| publication_year | 2021 |
| referenced_works | https://openalex.org/W2137862151, https://openalex.org/W2157027735, https://openalex.org/W6711769557, https://openalex.org/W6622464297, https://openalex.org/W2004817090, https://openalex.org/W2155899822, https://openalex.org/W2512513483, https://openalex.org/W6632958820, https://openalex.org/W2594678652, https://openalex.org/W6744906763, https://openalex.org/W6753115406, https://openalex.org/W6629076566, https://openalex.org/W6683773131, https://openalex.org/W6631011231, https://openalex.org/W6636359381, https://openalex.org/W6681325349, https://openalex.org/W6713829735, https://openalex.org/W1980167179, https://openalex.org/W2220980829, https://openalex.org/W2269165238, https://openalex.org/W2574526943, https://openalex.org/W6741901479, https://openalex.org/W1979919662, https://openalex.org/W1981561399, https://openalex.org/W6633902325, https://openalex.org/W6634585063, https://openalex.org/W2060270693, https://openalex.org/W2053231467, https://openalex.org/W2132858301, https://openalex.org/W6629193439, https://openalex.org/W6631188954, https://openalex.org/W1971747251, https://openalex.org/W1988045490, https://openalex.org/W2040566369, https://openalex.org/W6675231068, https://openalex.org/W2763521382, https://openalex.org/W6733771882, https://openalex.org/W2963526549, https://openalex.org/W6742130946, https://openalex.org/W6736706081, https://openalex.org/W6629462915, https://openalex.org/W753170256, https://openalex.org/W4205178514, https://openalex.org/W1983682288, https://openalex.org/W4229530564, https://openalex.org/W4240781210, https://openalex.org/W2004542062, https://openalex.org/W6638180986, https://openalex.org/W2086869611, https://openalex.org/W6732147035, https://openalex.org/W6697255910, https://openalex.org/W6689028419, https://openalex.org/W6600620219, https://openalex.org/W2039145913, https://openalex.org/W2900225534, https://openalex.org/W6757090998, https://openalex.org/W2566250634, https://openalex.org/W6768154463, https://openalex.org/W2022530540, https://openalex.org/W1596887828, https://openalex.org/W2054589415, https://openalex.org/W2806619258, https://openalex.org/W6630279458, https://openalex.org/W6682574858, https://openalex.org/W6634862398, https://openalex.org/W2003227046, https://openalex.org/W2093824806, https://openalex.org/W2131225255, https://openalex.org/W6631372840, https://openalex.org/W6601713473, https://openalex.org/W1549008998, https://openalex.org/W4250230991, https://openalex.org/W965179363, https://openalex.org/W6729616597, https://openalex.org/W6842209723, https://openalex.org/W2900888567, https://openalex.org/W2600455691, https://openalex.org/W6769652320, https://openalex.org/W2402007929, https://openalex.org/W2296679748, https://openalex.org/W2395151713, https://openalex.org/W1510836926, https://openalex.org/W4292408288, https://openalex.org/W3210476636, https://openalex.org/W2963364464, https://openalex.org/W1489366126, https://openalex.org/W1485990531, https://openalex.org/W1566551935, https://openalex.org/W2098171268, https://openalex.org/W2161361246, https://openalex.org/W2745704899, https://openalex.org/W2155756511, https://openalex.org/W3198052933, https://openalex.org/W2019881090, https://openalex.org/W1782436202, https://openalex.org/W1518135487, https://openalex.org/W2093916942, https://openalex.org/W1603895636, https://openalex.org/W4301042309, https://openalex.org/W1506588809, https://openalex.org/W771254491, https://openalex.org/W1503627878, https://openalex.org/W4390424460, https://openalex.org/W1488325354, https://openalex.org/W1981072333, https://openalex.org/W3124521265, https://openalex.org/W2346723917, https://openalex.org/W3140048679, https://openalex.org/W2191435020, https://openalex.org/W2142614470, https://openalex.org/W2913344232, https://openalex.org/W2004532354, https://openalex.org/W1490430258, https://openalex.org/W2972451557, https://openalex.org/W2131742729, https://openalex.org/W2740681086, https://openalex.org/W2982509390, https://openalex.org/W2574914925, https://openalex.org/W1547246349, https://openalex.org/W2319388297, https://openalex.org/W2551830925, https://openalex.org/W4293765636, https://openalex.org/W4246490059, https://openalex.org/W2904535794, https://openalex.org/W2761897139, https://openalex.org/W4236835455, https://openalex.org/W2964164509, https://openalex.org/W1581108661, https://openalex.org/W42364276, https://openalex.org/W4243535863, https://openalex.org/W3098140864, https://openalex.org/W2606293658, https://openalex.org/W1527197079, https://openalex.org/W1578302512, https://openalex.org/W2406518597, https://openalex.org/W3139340598, https://openalex.org/W4210843940, https://openalex.org/W1527273489, https://openalex.org/W1549064707, https://openalex.org/W1555563750, https://openalex.org/W2099367286, https://openalex.org/W2225724109, https://openalex.org/W200063938, https://openalex.org/W2104952158, https://openalex.org/W2741062179, https://openalex.org/W2588857520, https://openalex.org/W2740234560, https://openalex.org/W3101483322, https://openalex.org/W15313171, https://openalex.org/W1521674074, https://openalex.org/W2838709227 |
| referenced_works_count | 151 |
| abstract_inverted_index | |
| cited_by_percentile_year.max | 98 |
| cited_by_percentile_year.min | 93 |
| corresponding_author_ids | https://openalex.org/A5044293361, https://openalex.org/A5038062752, https://openalex.org/A5010967150, https://openalex.org/A5001878365, https://openalex.org/A5035993641, https://openalex.org/A5047265550 |
| countries_distinct_count | 4 |
| institutions_distinct_count | 6 |
| corresponding_institution_ids | https://openalex.org/I118501908, https://openalex.org/I146655781, https://openalex.org/I171543936, https://openalex.org/I78650965, https://openalex.org/I98259816 |
| citation_normalized_percentile.value | 0.83213149 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |