On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract) Article Swipe
Alessandro Artale
,
Roman Kontchakov
,
Alisa Kovtunova
,
Vladislav Ryzhikov
,
Frank Wolter
,
Michael Zakharyaschev
·
YOU?
·
· 2022
· Open Access
·
· DOI: https://doi.org/10.24963/ijcai.2022/794
YOU?
·
· 2022
· Open Access
·
· DOI: https://doi.org/10.24963/ijcai.2022/794
We argue that linear temporal logic LTL in tandem with monadic first-order logic can be used as a ba- sic language for ontology-based access to tempo- ral data and obtain a classification of the resulting ontology-mediated queries according to the type of standard first-order queries they can be rewritten to.
Related Topics
Concepts
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.24963/ijcai.2022/794
- https://www.ijcai.org/proceedings/2022/0794.pdf
- OA Status
- bronze
- References
- 29
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4285603088
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W4285603088Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.24963/ijcai.2022/794Digital Object Identifier
- Title
-
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)Work title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2022Year of publication
- Publication date
-
2022-07-01Full 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.24963/ijcai.2022/794Publisher landing page
- PDF URL
-
https://www.ijcai.org/proceedings/2022/0794.pdfDirect link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
bronzeOpen access status per OpenAlex
- OA URL
-
https://www.ijcai.org/proceedings/2022/0794.pdfDirect OA link when available
- Concepts
-
Ontology, Computer science, Linear temporal logic, Description logic, Ontology language, Temporal logic, Order (exchange), Web Ontology Language, Theoretical computer science, Programming language, Natural language processing, Information retrieval, Semantic Web, Epistemology, Finance, Philosophy, EconomicsTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- References (count)
-
29Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4285603088 |
|---|---|
| doi | https://doi.org/10.24963/ijcai.2022/794 |
| ids.doi | https://doi.org/10.24963/ijcai.2022/794 |
| ids.openalex | https://openalex.org/W4285603088 |
| fwci | 0.0 |
| type | article |
| title | On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract) |
| 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 | |
| biblio.last_page | 5707 |
| biblio.first_page | 5703 |
| 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.9994999766349792 |
| 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/T11010 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9968000054359436 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1702 |
| topics[2].subfield.display_name | Artificial Intelligence |
| topics[2].display_name | Logic, Reasoning, and Knowledge |
| 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 | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C25810664 |
| concepts[0].level | 2 |
| concepts[0].score | 0.7901144027709961 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q44325 |
| concepts[0].display_name | Ontology |
| concepts[1].id | https://openalex.org/C41008148 |
| concepts[1].level | 0 |
| concepts[1].score | 0.7330108880996704 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[1].display_name | Computer science |
| concepts[2].id | https://openalex.org/C4777664 |
| concepts[2].level | 2 |
| concepts[2].score | 0.6975308656692505 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q1536492 |
| concepts[2].display_name | Linear temporal logic |
| concepts[3].id | https://openalex.org/C102993220 |
| concepts[3].level | 2 |
| concepts[3].score | 0.6656198501586914 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q387196 |
| concepts[3].display_name | Description logic |
| concepts[4].id | https://openalex.org/C61673122 |
| concepts[4].level | 3 |
| concepts[4].score | 0.5171348452568054 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q7095059 |
| concepts[4].display_name | Ontology language |
| concepts[5].id | https://openalex.org/C25016198 |
| concepts[5].level | 2 |
| concepts[5].score | 0.5036458373069763 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q781833 |
| concepts[5].display_name | Temporal logic |
| concepts[6].id | https://openalex.org/C182306322 |
| concepts[6].level | 2 |
| concepts[6].score | 0.489329993724823 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q1779371 |
| concepts[6].display_name | Order (exchange) |
| concepts[7].id | https://openalex.org/C101230327 |
| concepts[7].level | 3 |
| concepts[7].score | 0.4802951514720917 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q826165 |
| concepts[7].display_name | Web Ontology Language |
| concepts[8].id | https://openalex.org/C80444323 |
| concepts[8].level | 1 |
| concepts[8].score | 0.40735873579978943 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q2878974 |
| concepts[8].display_name | Theoretical computer science |
| concepts[9].id | https://openalex.org/C199360897 |
| concepts[9].level | 1 |
| concepts[9].score | 0.3590551018714905 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q9143 |
| concepts[9].display_name | Programming language |
| concepts[10].id | https://openalex.org/C204321447 |
| concepts[10].level | 1 |
| concepts[10].score | 0.32308363914489746 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q30642 |
| concepts[10].display_name | Natural language processing |
| concepts[11].id | https://openalex.org/C23123220 |
| concepts[11].level | 1 |
| concepts[11].score | 0.31717342138290405 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q816826 |
| concepts[11].display_name | Information retrieval |
| concepts[12].id | https://openalex.org/C2129575 |
| concepts[12].level | 2 |
| concepts[12].score | 0.24066147208213806 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q54837 |
| concepts[12].display_name | Semantic Web |
| concepts[13].id | https://openalex.org/C111472728 |
| concepts[13].level | 1 |
| concepts[13].score | 0.05515861511230469 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q9471 |
| concepts[13].display_name | Epistemology |
| concepts[14].id | https://openalex.org/C10138342 |
| concepts[14].level | 1 |
| concepts[14].score | 0.0 |
| concepts[14].wikidata | https://www.wikidata.org/wiki/Q43015 |
| concepts[14].display_name | Finance |
| concepts[15].id | https://openalex.org/C138885662 |
| concepts[15].level | 0 |
| concepts[15].score | 0.0 |
| concepts[15].wikidata | https://www.wikidata.org/wiki/Q5891 |
| concepts[15].display_name | Philosophy |
| concepts[16].id | https://openalex.org/C162324750 |
| concepts[16].level | 0 |
| concepts[16].score | 0.0 |
| concepts[16].wikidata | https://www.wikidata.org/wiki/Q8134 |
| concepts[16].display_name | Economics |
| keywords[0].id | https://openalex.org/keywords/ontology |
| keywords[0].score | 0.7901144027709961 |
| keywords[0].display_name | Ontology |
| keywords[1].id | https://openalex.org/keywords/computer-science |
| keywords[1].score | 0.7330108880996704 |
| keywords[1].display_name | Computer science |
| keywords[2].id | https://openalex.org/keywords/linear-temporal-logic |
| keywords[2].score | 0.6975308656692505 |
| keywords[2].display_name | Linear temporal logic |
| keywords[3].id | https://openalex.org/keywords/description-logic |
| keywords[3].score | 0.6656198501586914 |
| keywords[3].display_name | Description logic |
| keywords[4].id | https://openalex.org/keywords/ontology-language |
| keywords[4].score | 0.5171348452568054 |
| keywords[4].display_name | Ontology language |
| keywords[5].id | https://openalex.org/keywords/temporal-logic |
| keywords[5].score | 0.5036458373069763 |
| keywords[5].display_name | Temporal logic |
| keywords[6].id | https://openalex.org/keywords/order |
| keywords[6].score | 0.489329993724823 |
| keywords[6].display_name | Order (exchange) |
| keywords[7].id | https://openalex.org/keywords/web-ontology-language |
| keywords[7].score | 0.4802951514720917 |
| keywords[7].display_name | Web Ontology Language |
| keywords[8].id | https://openalex.org/keywords/theoretical-computer-science |
| keywords[8].score | 0.40735873579978943 |
| keywords[8].display_name | Theoretical computer science |
| keywords[9].id | https://openalex.org/keywords/programming-language |
| keywords[9].score | 0.3590551018714905 |
| keywords[9].display_name | Programming language |
| keywords[10].id | https://openalex.org/keywords/natural-language-processing |
| keywords[10].score | 0.32308363914489746 |
| keywords[10].display_name | Natural language processing |
| keywords[11].id | https://openalex.org/keywords/information-retrieval |
| keywords[11].score | 0.31717342138290405 |
| keywords[11].display_name | Information retrieval |
| keywords[12].id | https://openalex.org/keywords/semantic-web |
| keywords[12].score | 0.24066147208213806 |
| keywords[12].display_name | Semantic Web |
| keywords[13].id | https://openalex.org/keywords/epistemology |
| keywords[13].score | 0.05515861511230469 |
| keywords[13].display_name | Epistemology |
| language | en |
| locations[0].id | doi:10.24963/ijcai.2022/794 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4363608755 |
| locations[0].source.issn | |
| locations[0].source.type | conference |
| locations[0].source.is_oa | False |
| locations[0].source.issn_l | |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence |
| locations[0].source.host_organization | |
| locations[0].source.host_organization_name | |
| locations[0].license | |
| locations[0].pdf_url | https://www.ijcai.org/proceedings/2022/0794.pdf |
| locations[0].version | publishedVersion |
| locations[0].raw_type | proceedings-article |
| locations[0].license_id | |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence |
| locations[0].landing_page_url | https://doi.org/10.24963/ijcai.2022/794 |
| locations[1].id | pmh:oai:alma.39UBZ_INST:11292858470001241 |
| locations[1].is_oa | False |
| locations[1].source | |
| locations[1].license | |
| locations[1].pdf_url | |
| 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 | https://bia.unibz.it/esploro/outputs/conferenceProceeding/On-the-First-Order-Rewritability-of-Ontology-Mediated/991006491197401241 |
| indexed_in | crossref |
| 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 | False |
| 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 | False |
| 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 Universitat 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 | False |
| authorships[2].raw_affiliation_strings | Chair for Automata Theory, Technische Universitat 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 | False |
| 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 | False |
| 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 |
| 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].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].author_position | last |
| authorships[5].raw_author_name | Michael Zakharyaschev |
| authorships[5].is_corresponding | False |
| authorships[5].raw_affiliation_strings | Department of Computer Science and Information Systems, Birkbeck, University of London, UK |
| has_content.pdf | True |
| has_content.grobid_xml | True |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://www.ijcai.org/proceedings/2022/0794.pdf |
| open_access.oa_status | bronze |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract) |
| 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/W1981384792, https://openalex.org/W2911529331, https://openalex.org/W190956113, https://openalex.org/W2018093460, https://openalex.org/W201976190, https://openalex.org/W1481588780, https://openalex.org/W2003397043, https://openalex.org/W1560405360, https://openalex.org/W2974760014, https://openalex.org/W2794125007 |
| cited_by_count | 0 |
| locations_count | 2 |
| best_oa_location.id | doi:10.24963/ijcai.2022/794 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4363608755 |
| best_oa_location.source.issn | |
| best_oa_location.source.type | conference |
| best_oa_location.source.is_oa | False |
| 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 | Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence |
| best_oa_location.source.host_organization | |
| best_oa_location.source.host_organization_name | |
| best_oa_location.license | |
| best_oa_location.pdf_url | https://www.ijcai.org/proceedings/2022/0794.pdf |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | proceedings-article |
| best_oa_location.license_id | |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence |
| best_oa_location.landing_page_url | https://doi.org/10.24963/ijcai.2022/794 |
| primary_location.id | doi:10.24963/ijcai.2022/794 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4363608755 |
| primary_location.source.issn | |
| primary_location.source.type | conference |
| primary_location.source.is_oa | False |
| primary_location.source.issn_l | |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence |
| primary_location.source.host_organization | |
| primary_location.source.host_organization_name | |
| primary_location.license | |
| primary_location.pdf_url | https://www.ijcai.org/proceedings/2022/0794.pdf |
| primary_location.version | publishedVersion |
| primary_location.raw_type | proceedings-article |
| primary_location.license_id | |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence |
| primary_location.landing_page_url | https://doi.org/10.24963/ijcai.2022/794 |
| publication_date | 2022-07-01 |
| publication_year | 2022 |
| referenced_works | https://openalex.org/W3161697839, https://openalex.org/W1488325354, https://openalex.org/W3012562581, https://openalex.org/W2838709227, https://openalex.org/W2054589415, https://openalex.org/W1596887828, https://openalex.org/W2027683388, https://openalex.org/W3101483322, https://openalex.org/W2600455691, https://openalex.org/W4225991507, https://openalex.org/W4285793031, https://openalex.org/W4293765636, https://openalex.org/W3202377862, https://openalex.org/W2142614470, https://openalex.org/W3016366169, https://openalex.org/W2004532354, https://openalex.org/W1482134990, https://openalex.org/W2566250634, https://openalex.org/W2022530540, https://openalex.org/W4390424460, https://openalex.org/W2098171268, https://openalex.org/W2137862151, https://openalex.org/W2965511917, https://openalex.org/W4246490059, https://openalex.org/W3210476636, https://openalex.org/W3214083543, https://openalex.org/W2397160827, https://openalex.org/W2026629052, https://openalex.org/W1498203978 |
| referenced_works_count | 29 |
| abstract_inverted_index.a | 17, 30 |
| abstract_inverted_index.We | 0 |
| abstract_inverted_index.as | 16 |
| abstract_inverted_index.be | 14, 47 |
| abstract_inverted_index.in | 7 |
| abstract_inverted_index.of | 32, 41 |
| abstract_inverted_index.to | 24, 38 |
| abstract_inverted_index.LTL | 6 |
| abstract_inverted_index.and | 28 |
| abstract_inverted_index.ba- | 18 |
| abstract_inverted_index.can | 13, 46 |
| abstract_inverted_index.for | 21 |
| abstract_inverted_index.ral | 26 |
| abstract_inverted_index.sic | 19 |
| abstract_inverted_index.the | 33, 39 |
| abstract_inverted_index.to. | 49 |
| abstract_inverted_index.data | 27 |
| abstract_inverted_index.that | 2 |
| abstract_inverted_index.they | 45 |
| abstract_inverted_index.type | 40 |
| abstract_inverted_index.used | 15 |
| abstract_inverted_index.with | 9 |
| abstract_inverted_index.argue | 1 |
| abstract_inverted_index.logic | 5, 12 |
| abstract_inverted_index.access | 23 |
| abstract_inverted_index.linear | 3 |
| abstract_inverted_index.obtain | 29 |
| abstract_inverted_index.tandem | 8 |
| abstract_inverted_index.tempo- | 25 |
| abstract_inverted_index.monadic | 10 |
| abstract_inverted_index.queries | 36, 44 |
| abstract_inverted_index.language | 20 |
| abstract_inverted_index.standard | 42 |
| abstract_inverted_index.temporal | 4 |
| abstract_inverted_index.according | 37 |
| abstract_inverted_index.resulting | 34 |
| abstract_inverted_index.rewritten | 48 |
| abstract_inverted_index.first-order | 11, 43 |
| abstract_inverted_index.classification | 31 |
| abstract_inverted_index.ontology-based | 22 |
| abstract_inverted_index.ontology-mediated | 35 |
| cited_by_percentile_year | |
| countries_distinct_count | 3 |
| institutions_distinct_count | 6 |
| citation_normalized_percentile.value | 0.05028294 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |