Reverse Engineering of Temporal Queries Mediated by LTL Ontologies Article Swipe

PDF

Marie Fortin , Boris Konev , Vladislav Ryzhikov , Yury Savateev , Frank Wolter , Michael Zakharyaschev ·

YOU? · · 2023 · Open Access · · DOI: https://doi.org/10.24963/ijcai.2023/360

In reverse engineering of database queries, we aim to construct a query from a given set of answers and non-answers; it can then be used to explore the data further or as an explanation of the answers and non-answers. We investigate this query-by-example problem for queries formulated in positive fragments of linear temporal logic LTL over timestamped data, focusing on the design of suitable query languages and the combined and data complexity of deciding whether there exists a query in the given language that separates the given answers from non-answers. We consider both plain LTL queries and those mediated by LTL ontologies.

Related Topics

Computer Science

Theoretical Computer Science

Programming Language

Concepts

Computer science Query language Construct (python library) Query optimization Set (abstract data type) Linear temporal logic Temporal logic Information retrieval Boolean conjunctive query Theoretical computer science Sargable Programming language Web search query Search engine

Metadata

Type: article
Language: en
Landing Page: https://doi.org/10.24963/ijcai.2023/360
PDF: https://www.ijcai.org/proceedings/2023/0360.pdf
OA Status: gold
Cited By: 4
References: 59
Related Works: 10
OpenAlex ID: https://openalex.org/W4385767869

All OpenAlex metadata

Raw OpenAlex JSON

OpenAlex ID: https://openalex.org/W4385767869

Canonical identifier for this work in OpenAlex
DOI: https://doi.org/10.24963/ijcai.2023/360

Digital Object Identifier
Title: Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

Work title
Type: article

OpenAlex work type
Language: en

Primary language
Publication year: 2023

Year of publication
Publication date: 2023-08-01

Full publication date if available
Authors: Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

List of authors in order
Landing page: https://doi.org/10.24963/ijcai.2023/360

Publisher landing page
PDF URL: https://www.ijcai.org/proceedings/2023/0360.pdf

Direct link to full text PDF
Open access: Yes

Whether a free full text is available
OA status: gold

Open access status per OpenAlex
OA URL: https://www.ijcai.org/proceedings/2023/0360.pdf

Direct OA link when available
Concepts: Computer science, Query language, Construct (python library), Query optimization, Set (abstract data type), Linear temporal logic, Temporal logic, Information retrieval, Boolean conjunctive query, Theoretical computer science, Sargable, Programming language, Web search query, Search engine

Top concepts (fields/topics) attached by OpenAlex
Cited by: 4

Total citation count in OpenAlex
Citations by year (recent): 2024: 3, 2023: 1

Per-year citation counts (last 5 years)
References (count): 59

Number of works referenced by this work
Related works (count): 10

Other works algorithmically related by OpenAlex

Full payload

id	https://openalex.org/W4385767869
doi	https://doi.org/10.24963/ijcai.2023/360
ids.doi	https://doi.org/10.24963/ijcai.2023/360
ids.openalex	https://openalex.org/W4385767869
fwci	1.75820917
type	article
title	Reverse Engineering of Temporal Queries Mediated by LTL Ontologies
awards[0].id	https://openalex.org/G8624711644
awards[0].funder_id	https://openalex.org/F4320334627
awards[0].display_name
awards[0].funder_award_id	EP/S032207/1
awards[0].funder_display_name	Engineering and Physical Sciences Research Council
awards[1].id	https://openalex.org/G2795018170
awards[1].funder_id	https://openalex.org/F4320334627
awards[1].display_name
awards[1].funder_award_id	EP/S032282/1
awards[1].funder_display_name	Engineering and Physical Sciences Research Council
biblio.issue
biblio.volume
biblio.last_page	3238
biblio.first_page	3230
topics[0].id	https://openalex.org/T10317
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/1705
topics[0].subfield.display_name	Computer Networks and Communications
topics[0].display_name	Advanced Database Systems and Queries
topics[1].id	https://openalex.org/T10215
topics[1].field.id	https://openalex.org/fields/17
topics[1].field.display_name	Computer Science
topics[1].score	0.9994000196456909
topics[1].domain.id	https://openalex.org/domains/3
topics[1].domain.display_name	Physical Sciences
topics[1].subfield.id	https://openalex.org/subfields/1702
topics[1].subfield.display_name	Artificial Intelligence
topics[1].display_name	Semantic Web and Ontologies
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.9980000257492065
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
apc_paid
concepts[0].id	https://openalex.org/C41008148
concepts[0].level	0
concepts[0].score	0.7647156119346619
concepts[0].wikidata	https://www.wikidata.org/wiki/Q21198
concepts[0].display_name	Computer science
concepts[1].id	https://openalex.org/C192028432
concepts[1].level	2
concepts[1].score	0.716566801071167
concepts[1].wikidata	https://www.wikidata.org/wiki/Q845739
concepts[1].display_name	Query language
concepts[2].id	https://openalex.org/C2780801425
concepts[2].level	2
concepts[2].score	0.5894578695297241
concepts[2].wikidata	https://www.wikidata.org/wiki/Q5164392
concepts[2].display_name	Construct (python library)
concepts[3].id	https://openalex.org/C157692150
concepts[3].level	2
concepts[3].score	0.5454933047294617
concepts[3].wikidata	https://www.wikidata.org/wiki/Q2919848
concepts[3].display_name	Query optimization
concepts[4].id	https://openalex.org/C177264268
concepts[4].level	2
concepts[4].score	0.5405593514442444
concepts[4].wikidata	https://www.wikidata.org/wiki/Q1514741
concepts[4].display_name	Set (abstract data type)
concepts[5].id	https://openalex.org/C4777664
concepts[5].level	2
concepts[5].score	0.5364705920219421
concepts[5].wikidata	https://www.wikidata.org/wiki/Q1536492
concepts[5].display_name	Linear temporal logic
concepts[6].id	https://openalex.org/C25016198
concepts[6].level	2
concepts[6].score	0.4316660761833191
concepts[6].wikidata	https://www.wikidata.org/wiki/Q781833
concepts[6].display_name	Temporal logic
concepts[7].id	https://openalex.org/C23123220
concepts[7].level	1
concepts[7].score	0.422692209482193
concepts[7].wikidata	https://www.wikidata.org/wiki/Q816826
concepts[7].display_name	Information retrieval
concepts[8].id	https://openalex.org/C24755975
concepts[8].level	5
concepts[8].score	0.4123695492744446
concepts[8].wikidata	https://www.wikidata.org/wiki/Q4943354
concepts[8].display_name	Boolean conjunctive query
concepts[9].id	https://openalex.org/C80444323
concepts[9].level	1
concepts[9].score	0.40614157915115356
concepts[9].wikidata	https://www.wikidata.org/wiki/Q2878974
concepts[9].display_name	Theoretical computer science
concepts[10].id	https://openalex.org/C192939062
concepts[10].level	4
concepts[10].score	0.3927200138568878
concepts[10].wikidata	https://www.wikidata.org/wiki/Q104840822
concepts[10].display_name	Sargable
concepts[11].id	https://openalex.org/C199360897
concepts[11].level	1
concepts[11].score	0.30614161491394043
concepts[11].wikidata	https://www.wikidata.org/wiki/Q9143
concepts[11].display_name	Programming language
concepts[12].id	https://openalex.org/C164120249
concepts[12].level	3
concepts[12].score	0.280517041683197
concepts[12].wikidata	https://www.wikidata.org/wiki/Q995982
concepts[12].display_name	Web search query
concepts[13].id	https://openalex.org/C97854310
concepts[13].level	2
concepts[13].score	0.06679737567901611
concepts[13].wikidata	https://www.wikidata.org/wiki/Q19541
concepts[13].display_name	Search engine
keywords[0].id	https://openalex.org/keywords/computer-science
keywords[0].score	0.7647156119346619
keywords[0].display_name	Computer science
keywords[1].id	https://openalex.org/keywords/query-language
keywords[1].score	0.716566801071167
keywords[1].display_name	Query language
keywords[2].id	https://openalex.org/keywords/construct
keywords[2].score	0.5894578695297241
keywords[2].display_name	Construct (python library)
keywords[3].id	https://openalex.org/keywords/query-optimization
keywords[3].score	0.5454933047294617
keywords[3].display_name	Query optimization
keywords[4].id	https://openalex.org/keywords/set
keywords[4].score	0.5405593514442444
keywords[4].display_name	Set (abstract data type)
keywords[5].id	https://openalex.org/keywords/linear-temporal-logic
keywords[5].score	0.5364705920219421
keywords[5].display_name	Linear temporal logic
keywords[6].id	https://openalex.org/keywords/temporal-logic
keywords[6].score	0.4316660761833191
keywords[6].display_name	Temporal logic
keywords[7].id	https://openalex.org/keywords/information-retrieval
keywords[7].score	0.422692209482193
keywords[7].display_name	Information retrieval
keywords[8].id	https://openalex.org/keywords/boolean-conjunctive-query
keywords[8].score	0.4123695492744446
keywords[8].display_name	Boolean conjunctive query
keywords[9].id	https://openalex.org/keywords/theoretical-computer-science
keywords[9].score	0.40614157915115356
keywords[9].display_name	Theoretical computer science
keywords[10].id	https://openalex.org/keywords/sargable
keywords[10].score	0.3927200138568878
keywords[10].display_name	Sargable
keywords[11].id	https://openalex.org/keywords/programming-language
keywords[11].score	0.30614161491394043
keywords[11].display_name	Programming language
keywords[12].id	https://openalex.org/keywords/web-search-query
keywords[12].score	0.280517041683197
keywords[12].display_name	Web search query
keywords[13].id	https://openalex.org/keywords/search-engine
keywords[13].score	0.06679737567901611
keywords[13].display_name	Search engine
language	en
locations[0].id	doi:10.24963/ijcai.2023/360
locations[0].is_oa	True
locations[0].source
locations[0].license
locations[0].pdf_url	https://www.ijcai.org/proceedings/2023/0360.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-Second International Joint Conference on Artificial Intelligence
locations[0].landing_page_url	https://doi.org/10.24963/ijcai.2023/360
locations[1].id	pmh:oai:HAL:hal-04795660v1
locations[1].is_oa	False
locations[1].source.id	https://openalex.org/S4306402512
locations[1].source.issn
locations[1].source.type	repository
locations[1].source.is_oa	False
locations[1].source.issn_l
locations[1].source.is_core	False
locations[1].source.is_in_doaj	False
locations[1].source.display_name	HAL (Le Centre pour la Communication Scientifique Directe)
locations[1].source.host_organization	https://openalex.org/I1294671590
locations[1].source.host_organization_name	Centre National de la Recherche Scientifique
locations[1].source.host_organization_lineage	https://openalex.org/I1294671590
locations[1].license
locations[1].pdf_url
locations[1].version	submittedVersion
locations[1].raw_type	info:eu-repo/semantics/conferenceObject
locations[1].license_id
locations[1].is_accepted	False
locations[1].is_published	False
locations[1].raw_source_name	Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}
locations[1].landing_page_url	https://hal.science/hal-04795660
indexed_in	crossref
authorships[0].author.id	https://openalex.org/A5002354883
authorships[0].author.orcid	https://orcid.org/0000-0002-7045-4783
authorships[0].author.display_name	Marie Fortin
authorships[0].countries	FR
authorships[0].affiliations[0].institution_ids	https://openalex.org/I1294671590
authorships[0].affiliations[0].raw_affiliation_string	CNRS - Centre National de la Recherche Scientifique (France)
authorships[0].institutions[0].id	https://openalex.org/I1294671590
authorships[0].institutions[0].ror	https://ror.org/02feahw73
authorships[0].institutions[0].type	government
authorships[0].institutions[0].lineage	https://openalex.org/I1294671590
authorships[0].institutions[0].country_code	FR
authorships[0].institutions[0].display_name	Centre National de la Recherche Scientifique
authorships[0].author_position	first
authorships[0].raw_author_name	Marie Fortin
authorships[0].is_corresponding	False
authorships[0].raw_affiliation_strings	CNRS - Centre National de la Recherche Scientifique (France)
authorships[1].author.id	https://openalex.org/A5032067568
authorships[1].author.orcid	https://orcid.org/0000-0002-6507-0494
authorships[1].author.display_name	Boris Konev
authorships[1].countries	GB
authorships[1].affiliations[0].institution_ids	https://openalex.org/I146655781
authorships[1].affiliations[0].raw_affiliation_string	University of Liverpool (Liverpool L69 3BX, United Kingdom - United Kingdom)
authorships[1].institutions[0].id	https://openalex.org/I146655781
authorships[1].institutions[0].ror	https://ror.org/04xs57h96
authorships[1].institutions[0].type	education
authorships[1].institutions[0].lineage	https://openalex.org/I146655781
authorships[1].institutions[0].country_code	GB
authorships[1].institutions[0].display_name	University of Liverpool
authorships[1].author_position	middle
authorships[1].raw_author_name	Boris Konev
authorships[1].is_corresponding	False
authorships[1].raw_affiliation_strings	University of Liverpool (Liverpool L69 3BX, United Kingdom - United Kingdom)
authorships[2].author.id	https://openalex.org/A5038062752
authorships[2].author.orcid	https://orcid.org/0000-0002-6847-6465
authorships[2].author.display_name	Vladislav Ryzhikov
authorships[2].countries	GB
authorships[2].affiliations[0].institution_ids	https://openalex.org/I98259816
authorships[2].affiliations[0].raw_affiliation_string	Department of Computer Science and Information Systems [Birkbeck, London] (Birkbeck, University of London, Malet Street, London WC1E 7HX - United Kingdom)
authorships[2].institutions[0].id	https://openalex.org/I98259816
authorships[2].institutions[0].ror	https://ror.org/02mb95055
authorships[2].institutions[0].type	education
authorships[2].institutions[0].lineage	https://openalex.org/I124357947, https://openalex.org/I98259816
authorships[2].institutions[0].country_code	GB
authorships[2].institutions[0].display_name	Birkbeck, University of London
authorships[2].author_position	middle
authorships[2].raw_author_name	Vladislav Ryzhikov
authorships[2].is_corresponding	False
authorships[2].raw_affiliation_strings	Department of Computer Science and Information Systems [Birkbeck, London] (Birkbeck, University of London, Malet Street, London WC1E 7HX - United Kingdom)
authorships[3].author.id	https://openalex.org/A5010357513
authorships[3].author.orcid	https://orcid.org/0000-0001-5112-4992
authorships[3].author.display_name	Yury Savateev
authorships[3].countries	GB
authorships[3].affiliations[0].institution_ids	https://openalex.org/I43439940
authorships[3].affiliations[0].raw_affiliation_string	University of Southampton (University Road, Southampton SO17 1BJ - United Kingdom)
authorships[3].institutions[0].id	https://openalex.org/I43439940
authorships[3].institutions[0].ror	https://ror.org/01ryk1543
authorships[3].institutions[0].type	education
authorships[3].institutions[0].lineage	https://openalex.org/I43439940
authorships[3].institutions[0].country_code	GB
authorships[3].institutions[0].display_name	University of Southampton
authorships[3].author_position	middle
authorships[3].raw_author_name	Yury Savateev
authorships[3].is_corresponding	False
authorships[3].raw_affiliation_strings	University of Southampton (University Road, Southampton SO17 1BJ - United Kingdom)
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	University of Liverpool (Liverpool L69 3BX, United Kingdom - United Kingdom)
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	University of Liverpool (Liverpool L69 3BX, United Kingdom - United Kingdom)
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, London] (Birkbeck, University of London, Malet Street, London WC1E 7HX - United Kingdom)
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, London] (Birkbeck, University of London, Malet Street, London WC1E 7HX - United Kingdom)
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/2023/0360.pdf
open_access.oa_status	gold
open_access.any_repository_has_fulltext	False
created_date	2025-10-10T00:00:00
display_name	Reverse Engineering of Temporal Queries Mediated by LTL Ontologies
has_fulltext	False
is_retracted	False
updated_date	2025-11-06T03:46:38.306776
primary_topic.id	https://openalex.org/T10317
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/1705
primary_topic.subfield.display_name	Computer Networks and Communications
primary_topic.display_name	Advanced Database Systems and Queries
related_works	https://openalex.org/W3125756434, https://openalex.org/W1600092754, https://openalex.org/W2401447141, https://openalex.org/W1977383094, https://openalex.org/W2159977448, https://openalex.org/W2110954374, https://openalex.org/W2158560632, https://openalex.org/W2353549560, https://openalex.org/W2005570102, https://openalex.org/W1990513922
cited_by_count	4
counts_by_year[0].year	2024
counts_by_year[0].cited_by_count	3
counts_by_year[1].year	2023
counts_by_year[1].cited_by_count	1
locations_count	2
best_oa_location.id	doi:10.24963/ijcai.2023/360
best_oa_location.is_oa	True
best_oa_location.source
best_oa_location.license
best_oa_location.pdf_url	https://www.ijcai.org/proceedings/2023/0360.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-Second International Joint Conference on Artificial Intelligence
best_oa_location.landing_page_url	https://doi.org/10.24963/ijcai.2023/360
primary_location.id	doi:10.24963/ijcai.2023/360
primary_location.is_oa	True
primary_location.source
primary_location.license
primary_location.pdf_url	https://www.ijcai.org/proceedings/2023/0360.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-Second International Joint Conference on Artificial Intelligence
primary_location.landing_page_url	https://doi.org/10.24963/ijcai.2023/360
publication_date	2023-08-01
publication_year	2023
referenced_works	https://openalex.org/W2338508724, https://openalex.org/W1975885865, https://openalex.org/W4385767869, https://openalex.org/W2997240502, https://openalex.org/W2898936248, https://openalex.org/W4297860799, https://openalex.org/W2763425701, https://openalex.org/W4379135655, https://openalex.org/W2054655669, https://openalex.org/W1994584977, https://openalex.org/W1876998290, https://openalex.org/W2024642990, https://openalex.org/W2807895649, https://openalex.org/W2935254085, https://openalex.org/W2965569070, https://openalex.org/W2470728525, https://openalex.org/W3016366169, https://openalex.org/W3084334467, https://openalex.org/W3207383046, https://openalex.org/W3007125878, https://openalex.org/W2921354344, https://openalex.org/W2998389344, https://openalex.org/W4302012892, https://openalex.org/W2109227373, https://openalex.org/W2807161818, https://openalex.org/W2242407529, https://openalex.org/W2181502117, https://openalex.org/W2380715658, https://openalex.org/W2242104095, https://openalex.org/W1981561399, https://openalex.org/W2093824806, https://openalex.org/W2103219113, https://openalex.org/W1522877314, https://openalex.org/W3214083543, https://openalex.org/W1973082955, https://openalex.org/W2004710041, https://openalex.org/W2406653041, https://openalex.org/W2963131514, https://openalex.org/W2040176884, https://openalex.org/W2612269136, https://openalex.org/W2614636860, https://openalex.org/W2099239777, https://openalex.org/W3202377862, https://openalex.org/W4225511357, https://openalex.org/W4226139429, https://openalex.org/W1485990531, https://openalex.org/W3209411321, https://openalex.org/W2267611784, https://openalex.org/W2963120669, https://openalex.org/W2965350305, https://openalex.org/W2144031643, https://openalex.org/W104477597, https://openalex.org/W2899258611, https://openalex.org/W3210476636, https://openalex.org/W4234406343, https://openalex.org/W4288046561, https://openalex.org/W4317347304, https://openalex.org/W2163866595, https://openalex.org/W3127415097
referenced_works_count	59
abstract_inverted_index.a	10, 13, 77
abstract_inverted_index.In	0
abstract_inverted_index.We	39, 90
abstract_inverted_index.an	32
abstract_inverted_index.as	31
abstract_inverted_index.be	23
abstract_inverted_index.by	99
abstract_inverted_index.in	47, 79
abstract_inverted_index.it	20
abstract_inverted_index.of	3, 16, 34, 50, 62, 72
abstract_inverted_index.on	59
abstract_inverted_index.or	30
abstract_inverted_index.to	8, 25
abstract_inverted_index.we	6
abstract_inverted_index.LTL	54, 94, 100
abstract_inverted_index.aim	7
abstract_inverted_index.and	18, 37, 66, 69, 96
abstract_inverted_index.can	21
abstract_inverted_index.for	44
abstract_inverted_index.set	15
abstract_inverted_index.the	27, 35, 60, 67, 80, 85
abstract_inverted_index.both	92
abstract_inverted_index.data	28, 70
abstract_inverted_index.from	12, 88
abstract_inverted_index.over	55
abstract_inverted_index.that	83
abstract_inverted_index.then	22
abstract_inverted_index.this	41
abstract_inverted_index.used	24
abstract_inverted_index.data,	57
abstract_inverted_index.given	14, 81, 86
abstract_inverted_index.logic	53
abstract_inverted_index.plain	93
abstract_inverted_index.query	11, 64, 78
abstract_inverted_index.there	75
abstract_inverted_index.those	97
abstract_inverted_index.design	61
abstract_inverted_index.exists	76
abstract_inverted_index.linear	51
abstract_inverted_index.answers	17, 36, 87
abstract_inverted_index.explore	26
abstract_inverted_index.further	29
abstract_inverted_index.problem	43
abstract_inverted_index.queries	45, 95
abstract_inverted_index.reverse	1
abstract_inverted_index.whether	74
abstract_inverted_index.combined	68
abstract_inverted_index.consider	91
abstract_inverted_index.database	4
abstract_inverted_index.deciding	73
abstract_inverted_index.focusing	58
abstract_inverted_index.language	82
abstract_inverted_index.mediated	98
abstract_inverted_index.positive	48
abstract_inverted_index.queries,	5
abstract_inverted_index.suitable	63
abstract_inverted_index.temporal	52
abstract_inverted_index.construct	9
abstract_inverted_index.fragments	49
abstract_inverted_index.languages	65
abstract_inverted_index.separates	84
abstract_inverted_index.complexity	71
abstract_inverted_index.formulated	46
abstract_inverted_index.engineering	2
abstract_inverted_index.explanation	33
abstract_inverted_index.investigate	40
abstract_inverted_index.ontologies.	101
abstract_inverted_index.timestamped	56
abstract_inverted_index.non-answers.	38, 89
abstract_inverted_index.non-answers;	19
abstract_inverted_index.query-by-example	42
cited_by_percentile_year.max	97
cited_by_percentile_year.min	89
countries_distinct_count	2
institutions_distinct_count	6
sustainable_development_goals[0].id	https://metadata.un.org/sdg/4
sustainable_development_goals[0].score	0.5199999809265137
sustainable_development_goals[0].display_name	Quality Education
citation_normalized_percentile.value	0.75989652
citation_normalized_percentile.is_in_top_1_percent	False
citation_normalized_percentile.is_in_top_10_percent	False