First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries Article Swipe
Alessandro Artale
,
Roman Kontchakov
,
Alisa Kovtunova
,
Vladislav Ryzhikov
,
Frank Wolter
,
Michael Zakharyaschev
·
YOU?
·
· 2022
· Open Access
·
· DOI: https://doi.org/10.1613/jair.1.13511
YOU?
·
· 2022
· Open Access
·
· DOI: https://doi.org/10.1613/jair.1.13511
Aiming at ontology-based data access to temporal data, we design two-dimensional temporal ontology and query languages by combining logics from the (extended) DL-Lite family with linear temporal logic LTL over discrete time (Z,<). Our main concern is first-order rewritability of ontology-mediated queries (OMQs) that consist of a 2D ontology and a positive temporal instance query. Our target languages for FO-rewritings are two-sorted FO(<) -- first-order logic with sorts for time instants ordered by the built-in precedence relation < and for the domain of individuals---its extension FO(<, ≡) with the standard congruence predicates t ≡ 0 (mod n), for any fixed n > 1, and FO(RPR) that admits relational primitive recursion. In terms of circuit complexity, FO(<, ≡)- and FO(RPR)-rewritability guarantee answering OMQs in uniform AC0 and NC1, respectively. We proceed in three steps. First, we define a hierarchy of 2D DL-Lite/LTL ontology languages and investigate the FO-rewritability of OMQs with atomic queries by constructing projections onto 1D LTL OMQs and employing recent results on the FO-rewritability of propositional LTL OMQs. As the projections involve deciding consistency of ontologies and data, we also consider the consistency problem for our languages. While the undecidability of consistency for 2D ontology languages with expressive Boolean role inclusions might be expected, we also show that, rather surprisingly, the restriction to Krom and Horn role inclusions leads to decidability (and ExpSpace-completeness), even if one admits full Booleans on concepts. As a final step, we lift some of the rewritability results for atomic OMQs to OMQs with expressive positive temporal instance queries. The lifting results are based on an in-depth study of the canonical models and only concern Horn ontologies.
Related Topics
Concepts
Decidability
Description logic
Theoretical computer science
Computer science
Linear temporal logic
Ontology language
Ontology
Mathematics
Web Ontology Language
Consistency (knowledge bases)
Temporal logic
Conjunctive query
Time complexity
Recursion (computer science)
Discrete mathematics
Relational database
Programming language
Artificial intelligence
Semantic Web
Database
Epistemology
Philosophy
Metadata
- Type
- article
- Language
- en
- Landing Page
- https://doi.org/10.1613/jair.1.13511
- https://jair.org/index.php/jair/article/download/13511/26871
- OA Status
- diamond
- Cited By
- 5
- References
- 151
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W3214083543
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W3214083543Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.1613/jair.1.13511Digital Object Identifier
- Title
-
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated QueriesWork title
- Type
-
articleOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2022Year of publication
- Publication date
-
2022-11-30Full 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.1613/jair.1.13511Publisher landing page
- PDF URL
-
https://jair.org/index.php/jair/article/download/13511/26871Direct link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
diamondOpen access status per OpenAlex
- OA URL
-
https://jair.org/index.php/jair/article/download/13511/26871Direct OA link when available
- Concepts
-
Decidability, Description logic, Theoretical computer science, Computer science, Linear temporal logic, Ontology language, Ontology, Mathematics, Web Ontology Language, Consistency (knowledge bases), Temporal logic, Conjunctive query, Time complexity, Recursion (computer science), Discrete mathematics, Relational database, Programming language, Artificial intelligence, Semantic Web, Database, Epistemology, PhilosophyTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
5Total citation count in OpenAlex
- Citations by year (recent)
-
2024: 2, 2023: 2, 2022: 1Per-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/W3214083543 |
|---|---|
| doi | https://doi.org/10.1613/jair.1.13511 |
| ids.doi | https://doi.org/10.1613/jair.1.13511 |
| ids.mag | 3214083543 |
| ids.openalex | https://openalex.org/W3214083543 |
| fwci | 0.9789941 |
| type | article |
| title | First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries |
| 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 | 75 |
| biblio.last_page | 1291 |
| biblio.first_page | 1223 |
| 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/T11010 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9983000159263611 |
| 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/C153269930 |
| concepts[0].level | 2 |
| concepts[0].score | 0.7465344071388245 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q430001 |
| concepts[0].display_name | Decidability |
| concepts[1].id | https://openalex.org/C102993220 |
| concepts[1].level | 2 |
| concepts[1].score | 0.5690522789955139 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q387196 |
| concepts[1].display_name | Description logic |
| concepts[2].id | https://openalex.org/C80444323 |
| concepts[2].level | 1 |
| concepts[2].score | 0.5267003178596497 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q2878974 |
| concepts[2].display_name | Theoretical computer science |
| concepts[3].id | https://openalex.org/C41008148 |
| concepts[3].level | 0 |
| concepts[3].score | 0.4889170229434967 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[3].display_name | Computer science |
| concepts[4].id | https://openalex.org/C4777664 |
| concepts[4].level | 2 |
| concepts[4].score | 0.48322853446006775 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q1536492 |
| concepts[4].display_name | Linear temporal logic |
| concepts[5].id | https://openalex.org/C61673122 |
| concepts[5].level | 3 |
| concepts[5].score | 0.47832441329956055 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q7095059 |
| concepts[5].display_name | Ontology language |
| concepts[6].id | https://openalex.org/C25810664 |
| concepts[6].level | 2 |
| concepts[6].score | 0.45295581221580505 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q44325 |
| concepts[6].display_name | Ontology |
| concepts[7].id | https://openalex.org/C33923547 |
| concepts[7].level | 0 |
| concepts[7].score | 0.4498917758464813 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[7].display_name | Mathematics |
| concepts[8].id | https://openalex.org/C101230327 |
| concepts[8].level | 3 |
| concepts[8].score | 0.44314146041870117 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q826165 |
| concepts[8].display_name | Web Ontology Language |
| concepts[9].id | https://openalex.org/C2776436953 |
| concepts[9].level | 2 |
| concepts[9].score | 0.4405038058757782 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q5163215 |
| concepts[9].display_name | Consistency (knowledge bases) |
| concepts[10].id | https://openalex.org/C25016198 |
| concepts[10].level | 2 |
| concepts[10].score | 0.4335467219352722 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q781833 |
| concepts[10].display_name | Temporal logic |
| concepts[11].id | https://openalex.org/C65647387 |
| concepts[11].level | 3 |
| concepts[11].score | 0.4317823648452759 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q1781706 |
| concepts[11].display_name | Conjunctive query |
| concepts[12].id | https://openalex.org/C311688 |
| concepts[12].level | 2 |
| concepts[12].score | 0.42058610916137695 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q2393193 |
| concepts[12].display_name | Time complexity |
| concepts[13].id | https://openalex.org/C168773036 |
| concepts[13].level | 2 |
| concepts[13].score | 0.41255903244018555 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q264164 |
| concepts[13].display_name | Recursion (computer science) |
| concepts[14].id | https://openalex.org/C118615104 |
| concepts[14].level | 1 |
| concepts[14].score | 0.34585249423980713 |
| concepts[14].wikidata | https://www.wikidata.org/wiki/Q121416 |
| concepts[14].display_name | Discrete mathematics |
| concepts[15].id | https://openalex.org/C5655090 |
| concepts[15].level | 2 |
| concepts[15].score | 0.30320286750793457 |
| concepts[15].wikidata | https://www.wikidata.org/wiki/Q192588 |
| concepts[15].display_name | Relational database |
| concepts[16].id | https://openalex.org/C199360897 |
| concepts[16].level | 1 |
| concepts[16].score | 0.292061448097229 |
| concepts[16].wikidata | https://www.wikidata.org/wiki/Q9143 |
| concepts[16].display_name | Programming language |
| concepts[17].id | https://openalex.org/C154945302 |
| concepts[17].level | 1 |
| concepts[17].score | 0.14808544516563416 |
| concepts[17].wikidata | https://www.wikidata.org/wiki/Q11660 |
| concepts[17].display_name | Artificial intelligence |
| concepts[18].id | https://openalex.org/C2129575 |
| concepts[18].level | 2 |
| concepts[18].score | 0.1102118194103241 |
| concepts[18].wikidata | https://www.wikidata.org/wiki/Q54837 |
| concepts[18].display_name | Semantic Web |
| concepts[19].id | https://openalex.org/C77088390 |
| concepts[19].level | 1 |
| concepts[19].score | 0.10922068357467651 |
| concepts[19].wikidata | https://www.wikidata.org/wiki/Q8513 |
| concepts[19].display_name | Database |
| concepts[20].id | https://openalex.org/C111472728 |
| concepts[20].level | 1 |
| concepts[20].score | 0.0 |
| concepts[20].wikidata | https://www.wikidata.org/wiki/Q9471 |
| concepts[20].display_name | Epistemology |
| concepts[21].id | https://openalex.org/C138885662 |
| concepts[21].level | 0 |
| concepts[21].score | 0.0 |
| concepts[21].wikidata | https://www.wikidata.org/wiki/Q5891 |
| concepts[21].display_name | Philosophy |
| keywords[0].id | https://openalex.org/keywords/decidability |
| keywords[0].score | 0.7465344071388245 |
| keywords[0].display_name | Decidability |
| keywords[1].id | https://openalex.org/keywords/description-logic |
| keywords[1].score | 0.5690522789955139 |
| keywords[1].display_name | Description logic |
| keywords[2].id | https://openalex.org/keywords/theoretical-computer-science |
| keywords[2].score | 0.5267003178596497 |
| keywords[2].display_name | Theoretical computer science |
| keywords[3].id | https://openalex.org/keywords/computer-science |
| keywords[3].score | 0.4889170229434967 |
| keywords[3].display_name | Computer science |
| keywords[4].id | https://openalex.org/keywords/linear-temporal-logic |
| keywords[4].score | 0.48322853446006775 |
| keywords[4].display_name | Linear temporal logic |
| keywords[5].id | https://openalex.org/keywords/ontology-language |
| keywords[5].score | 0.47832441329956055 |
| keywords[5].display_name | Ontology language |
| keywords[6].id | https://openalex.org/keywords/ontology |
| keywords[6].score | 0.45295581221580505 |
| keywords[6].display_name | Ontology |
| keywords[7].id | https://openalex.org/keywords/mathematics |
| keywords[7].score | 0.4498917758464813 |
| keywords[7].display_name | Mathematics |
| keywords[8].id | https://openalex.org/keywords/web-ontology-language |
| keywords[8].score | 0.44314146041870117 |
| keywords[8].display_name | Web Ontology Language |
| keywords[9].id | https://openalex.org/keywords/consistency |
| keywords[9].score | 0.4405038058757782 |
| keywords[9].display_name | Consistency (knowledge bases) |
| keywords[10].id | https://openalex.org/keywords/temporal-logic |
| keywords[10].score | 0.4335467219352722 |
| keywords[10].display_name | Temporal logic |
| keywords[11].id | https://openalex.org/keywords/conjunctive-query |
| keywords[11].score | 0.4317823648452759 |
| keywords[11].display_name | Conjunctive query |
| keywords[12].id | https://openalex.org/keywords/time-complexity |
| keywords[12].score | 0.42058610916137695 |
| keywords[12].display_name | Time complexity |
| keywords[13].id | https://openalex.org/keywords/recursion |
| keywords[13].score | 0.41255903244018555 |
| keywords[13].display_name | Recursion (computer science) |
| keywords[14].id | https://openalex.org/keywords/discrete-mathematics |
| keywords[14].score | 0.34585249423980713 |
| keywords[14].display_name | Discrete mathematics |
| keywords[15].id | https://openalex.org/keywords/relational-database |
| keywords[15].score | 0.30320286750793457 |
| keywords[15].display_name | Relational database |
| keywords[16].id | https://openalex.org/keywords/programming-language |
| keywords[16].score | 0.292061448097229 |
| keywords[16].display_name | Programming language |
| keywords[17].id | https://openalex.org/keywords/artificial-intelligence |
| keywords[17].score | 0.14808544516563416 |
| keywords[17].display_name | Artificial intelligence |
| keywords[18].id | https://openalex.org/keywords/semantic-web |
| keywords[18].score | 0.1102118194103241 |
| keywords[18].display_name | Semantic Web |
| keywords[19].id | https://openalex.org/keywords/database |
| keywords[19].score | 0.10922068357467651 |
| keywords[19].display_name | Database |
| language | en |
| locations[0].id | doi:10.1613/jair.1.13511 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S139930977 |
| locations[0].source.issn | 1076-9757, 1943-5037 |
| locations[0].source.type | journal |
| locations[0].source.is_oa | True |
| locations[0].source.issn_l | 1076-9757 |
| locations[0].source.is_core | True |
| locations[0].source.is_in_doaj | True |
| locations[0].source.display_name | Journal of Artificial Intelligence Research |
| locations[0].source.host_organization | https://openalex.org/P4310315760 |
| locations[0].source.host_organization_name | AI Access Foundation |
| locations[0].source.host_organization_lineage | https://openalex.org/P4310315760 |
| locations[0].source.host_organization_lineage_names | AI Access Foundation |
| locations[0].license | cc-by |
| locations[0].pdf_url | https://jair.org/index.php/jair/article/download/13511/26871 |
| locations[0].version | publishedVersion |
| locations[0].raw_type | journal-article |
| locations[0].license_id | https://openalex.org/licenses/cc-by |
| locations[0].is_accepted | True |
| locations[0].is_published | True |
| locations[0].raw_source_name | Journal of Artificial Intelligence Research |
| locations[0].landing_page_url | https://doi.org/10.1613/jair.1.13511 |
| indexed_in | crossref, doaj |
| 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 | DE, GB, IT, RU |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I98259816 |
| authorships[0].affiliations[0].raw_affiliation_string | Birkbeck, University of London, UK |
| authorships[0].affiliations[1].institution_ids | https://openalex.org/I78650965 |
| authorships[0].affiliations[1].raw_affiliation_string | Technische Universität Dresden, Germany |
| authorships[0].affiliations[2].institution_ids | https://openalex.org/I171543936 |
| authorships[0].affiliations[2].raw_affiliation_string | Free University of Bozen-Bolzano, Italy |
| authorships[0].affiliations[3].institution_ids | https://openalex.org/I146655781 |
| authorships[0].affiliations[3].raw_affiliation_string | University of Liverpool, UK |
| authorships[0].affiliations[4].institution_ids | https://openalex.org/I118501908 |
| authorships[0].affiliations[4].raw_affiliation_string | HSE University, Moscow, Russia |
| authorships[0].institutions[0].id | https://openalex.org/I78650965 |
| authorships[0].institutions[0].ror | https://ror.org/042aqky30 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I78650965 |
| authorships[0].institutions[0].country_code | DE |
| authorships[0].institutions[0].display_name | Technische Universität Dresden |
| authorships[0].institutions[1].id | https://openalex.org/I98259816 |
| authorships[0].institutions[1].ror | https://ror.org/02mb95055 |
| authorships[0].institutions[1].type | education |
| authorships[0].institutions[1].lineage | https://openalex.org/I124357947, https://openalex.org/I98259816 |
| authorships[0].institutions[1].country_code | GB |
| authorships[0].institutions[1].display_name | Birkbeck, University of London |
| authorships[0].institutions[2].id | https://openalex.org/I146655781 |
| authorships[0].institutions[2].ror | https://ror.org/04xs57h96 |
| authorships[0].institutions[2].type | education |
| authorships[0].institutions[2].lineage | https://openalex.org/I146655781 |
| authorships[0].institutions[2].country_code | GB |
| authorships[0].institutions[2].display_name | University of Liverpool |
| authorships[0].institutions[3].id | https://openalex.org/I171543936 |
| authorships[0].institutions[3].ror | https://ror.org/012ajp527 |
| authorships[0].institutions[3].type | education |
| authorships[0].institutions[3].lineage | https://openalex.org/I171543936 |
| authorships[0].institutions[3].country_code | IT |
| authorships[0].institutions[3].display_name | Free University of Bozen-Bolzano |
| authorships[0].institutions[4].id | https://openalex.org/I118501908 |
| authorships[0].institutions[4].ror | https://ror.org/055f7t516 |
| authorships[0].institutions[4].type | education |
| authorships[0].institutions[4].lineage | https://openalex.org/I118501908 |
| authorships[0].institutions[4].country_code | RU |
| authorships[0].institutions[4].display_name | National Research University Higher School of Economics |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Alessandro Artale |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | Birkbeck, University of London, UK, Free University of Bozen-Bolzano, Italy, HSE University, Moscow, Russia, Technische Universität Dresden, Germany, University of Liverpool, UK |
| 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].author_position | middle |
| authorships[1].raw_author_name | Roman Kontchakov |
| authorships[1].is_corresponding | False |
| 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, GB, IT, RU |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I78650965 |
| authorships[2].affiliations[0].raw_affiliation_string | Technische Universität Dresden, Germany |
| authorships[2].affiliations[1].institution_ids | https://openalex.org/I146655781 |
| authorships[2].affiliations[1].raw_affiliation_string | University of Liverpool, UK |
| authorships[2].affiliations[2].institution_ids | https://openalex.org/I171543936 |
| authorships[2].affiliations[2].raw_affiliation_string | Free University of Bozen-Bolzano, Italy |
| authorships[2].affiliations[3].institution_ids | https://openalex.org/I118501908 |
| authorships[2].affiliations[3].raw_affiliation_string | HSE University, Moscow, Russia |
| authorships[2].affiliations[4].institution_ids | https://openalex.org/I98259816 |
| authorships[2].affiliations[4].raw_affiliation_string | Birkbeck, University of London, UK |
| 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].institutions[1].id | https://openalex.org/I98259816 |
| authorships[2].institutions[1].ror | https://ror.org/02mb95055 |
| authorships[2].institutions[1].type | education |
| authorships[2].institutions[1].lineage | https://openalex.org/I124357947, https://openalex.org/I98259816 |
| authorships[2].institutions[1].country_code | GB |
| authorships[2].institutions[1].display_name | Birkbeck, University of London |
| authorships[2].institutions[2].id | https://openalex.org/I146655781 |
| authorships[2].institutions[2].ror | https://ror.org/04xs57h96 |
| authorships[2].institutions[2].type | education |
| authorships[2].institutions[2].lineage | https://openalex.org/I146655781 |
| authorships[2].institutions[2].country_code | GB |
| authorships[2].institutions[2].display_name | University of Liverpool |
| authorships[2].institutions[3].id | https://openalex.org/I171543936 |
| authorships[2].institutions[3].ror | https://ror.org/012ajp527 |
| authorships[2].institutions[3].type | education |
| authorships[2].institutions[3].lineage | https://openalex.org/I171543936 |
| authorships[2].institutions[3].country_code | IT |
| authorships[2].institutions[3].display_name | Free University of Bozen-Bolzano |
| authorships[2].institutions[4].id | https://openalex.org/I118501908 |
| authorships[2].institutions[4].ror | https://ror.org/055f7t516 |
| authorships[2].institutions[4].type | education |
| authorships[2].institutions[4].lineage | https://openalex.org/I118501908 |
| authorships[2].institutions[4].country_code | RU |
| authorships[2].institutions[4].display_name | National Research University Higher School of Economics |
| authorships[2].author_position | middle |
| authorships[2].raw_author_name | Alisa Kovtunova |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | Birkbeck, University of London, UK, Free University of Bozen-Bolzano, Italy, HSE University, Moscow, Russia, Technische Universität Dresden, Germany, University of Liverpool, UK |
| 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].author_position | middle |
| authorships[3].raw_author_name | Vladislav Ryzhikov |
| authorships[3].is_corresponding | False |
| 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 | DE, GB, IT, RU |
| authorships[4].affiliations[0].institution_ids | https://openalex.org/I98259816 |
| authorships[4].affiliations[0].raw_affiliation_string | Birkbeck, University of London, UK |
| authorships[4].affiliations[1].institution_ids | https://openalex.org/I118501908 |
| authorships[4].affiliations[1].raw_affiliation_string | HSE University, Moscow, Russia |
| authorships[4].affiliations[2].institution_ids | https://openalex.org/I146655781 |
| authorships[4].affiliations[2].raw_affiliation_string | University of Liverpool, UK |
| authorships[4].affiliations[3].institution_ids | https://openalex.org/I78650965 |
| authorships[4].affiliations[3].raw_affiliation_string | Technische Universität Dresden, Germany |
| authorships[4].affiliations[4].institution_ids | https://openalex.org/I171543936 |
| authorships[4].affiliations[4].raw_affiliation_string | Free University of Bozen-Bolzano, Italy |
| authorships[4].institutions[0].id | https://openalex.org/I78650965 |
| authorships[4].institutions[0].ror | https://ror.org/042aqky30 |
| authorships[4].institutions[0].type | education |
| authorships[4].institutions[0].lineage | https://openalex.org/I78650965 |
| authorships[4].institutions[0].country_code | DE |
| authorships[4].institutions[0].display_name | Technische Universität Dresden |
| authorships[4].institutions[1].id | https://openalex.org/I98259816 |
| authorships[4].institutions[1].ror | https://ror.org/02mb95055 |
| authorships[4].institutions[1].type | education |
| authorships[4].institutions[1].lineage | https://openalex.org/I124357947, https://openalex.org/I98259816 |
| authorships[4].institutions[1].country_code | GB |
| authorships[4].institutions[1].display_name | Birkbeck, University of London |
| authorships[4].institutions[2].id | https://openalex.org/I146655781 |
| authorships[4].institutions[2].ror | https://ror.org/04xs57h96 |
| authorships[4].institutions[2].type | education |
| authorships[4].institutions[2].lineage | https://openalex.org/I146655781 |
| authorships[4].institutions[2].country_code | GB |
| authorships[4].institutions[2].display_name | University of Liverpool |
| authorships[4].institutions[3].id | https://openalex.org/I171543936 |
| authorships[4].institutions[3].ror | https://ror.org/012ajp527 |
| authorships[4].institutions[3].type | education |
| authorships[4].institutions[3].lineage | https://openalex.org/I171543936 |
| authorships[4].institutions[3].country_code | IT |
| authorships[4].institutions[3].display_name | Free University of Bozen-Bolzano |
| authorships[4].institutions[4].id | https://openalex.org/I118501908 |
| authorships[4].institutions[4].ror | https://ror.org/055f7t516 |
| authorships[4].institutions[4].type | education |
| authorships[4].institutions[4].lineage | https://openalex.org/I118501908 |
| authorships[4].institutions[4].country_code | RU |
| authorships[4].institutions[4].display_name | National Research University Higher School of Economics |
| authorships[4].author_position | middle |
| authorships[4].raw_author_name | Frank Wolter |
| authorships[4].is_corresponding | False |
| authorships[4].raw_affiliation_strings | Birkbeck, University of London, UK, Free University of Bozen-Bolzano, Italy, HSE University, Moscow, Russia, Technische Universität Dresden, Germany, 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 | DE, GB, IT, RU |
| authorships[5].affiliations[0].institution_ids | https://openalex.org/I171543936 |
| authorships[5].affiliations[0].raw_affiliation_string | Free University of Bozen-Bolzano, Italy |
| authorships[5].affiliations[1].institution_ids | https://openalex.org/I78650965 |
| authorships[5].affiliations[1].raw_affiliation_string | Technische Universität Dresden, Germany |
| authorships[5].affiliations[2].institution_ids | https://openalex.org/I146655781 |
| authorships[5].affiliations[2].raw_affiliation_string | University of Liverpool, UK |
| authorships[5].affiliations[3].institution_ids | https://openalex.org/I118501908 |
| authorships[5].affiliations[3].raw_affiliation_string | HSE University, Moscow, Russia |
| authorships[5].affiliations[4].institution_ids | https://openalex.org/I98259816 |
| authorships[5].affiliations[4].raw_affiliation_string | Birkbeck, University of London, UK |
| authorships[5].institutions[0].id | https://openalex.org/I78650965 |
| authorships[5].institutions[0].ror | https://ror.org/042aqky30 |
| authorships[5].institutions[0].type | education |
| authorships[5].institutions[0].lineage | https://openalex.org/I78650965 |
| authorships[5].institutions[0].country_code | DE |
| authorships[5].institutions[0].display_name | Technische Universität Dresden |
| authorships[5].institutions[1].id | https://openalex.org/I98259816 |
| authorships[5].institutions[1].ror | https://ror.org/02mb95055 |
| authorships[5].institutions[1].type | education |
| authorships[5].institutions[1].lineage | https://openalex.org/I124357947, https://openalex.org/I98259816 |
| authorships[5].institutions[1].country_code | GB |
| authorships[5].institutions[1].display_name | Birkbeck, University of London |
| authorships[5].institutions[2].id | https://openalex.org/I146655781 |
| authorships[5].institutions[2].ror | https://ror.org/04xs57h96 |
| authorships[5].institutions[2].type | education |
| authorships[5].institutions[2].lineage | https://openalex.org/I146655781 |
| authorships[5].institutions[2].country_code | GB |
| authorships[5].institutions[2].display_name | University of Liverpool |
| authorships[5].institutions[3].id | https://openalex.org/I171543936 |
| authorships[5].institutions[3].ror | https://ror.org/012ajp527 |
| authorships[5].institutions[3].type | education |
| authorships[5].institutions[3].lineage | https://openalex.org/I171543936 |
| authorships[5].institutions[3].country_code | IT |
| authorships[5].institutions[3].display_name | Free University of Bozen-Bolzano |
| authorships[5].institutions[4].id | https://openalex.org/I118501908 |
| authorships[5].institutions[4].ror | https://ror.org/055f7t516 |
| authorships[5].institutions[4].type | education |
| authorships[5].institutions[4].lineage | https://openalex.org/I118501908 |
| authorships[5].institutions[4].country_code | RU |
| authorships[5].institutions[4].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 | False |
| authorships[5].raw_affiliation_strings | Birkbeck, University of London, UK, Free University of Bozen-Bolzano, Italy, HSE University, Moscow, Russia, Technische Universität Dresden, Germany, University of Liverpool, UK |
| has_content.pdf | True |
| has_content.grobid_xml | True |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://jair.org/index.php/jair/article/download/13511/26871 |
| open_access.oa_status | diamond |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries |
| has_fulltext | True |
| 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/W2497077163, https://openalex.org/W2911529331, https://openalex.org/W2018093460, https://openalex.org/W190956113, https://openalex.org/W2003397043, https://openalex.org/W201976190, https://openalex.org/W1481588780, https://openalex.org/W2573193831, https://openalex.org/W75363634, https://openalex.org/W1041851260 |
| cited_by_count | 5 |
| counts_by_year[0].year | 2024 |
| counts_by_year[0].cited_by_count | 2 |
| counts_by_year[1].year | 2023 |
| counts_by_year[1].cited_by_count | 2 |
| counts_by_year[2].year | 2022 |
| counts_by_year[2].cited_by_count | 1 |
| locations_count | 1 |
| best_oa_location.id | doi:10.1613/jair.1.13511 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S139930977 |
| best_oa_location.source.issn | 1076-9757, 1943-5037 |
| best_oa_location.source.type | journal |
| best_oa_location.source.is_oa | True |
| best_oa_location.source.issn_l | 1076-9757 |
| best_oa_location.source.is_core | True |
| best_oa_location.source.is_in_doaj | True |
| best_oa_location.source.display_name | Journal of Artificial Intelligence Research |
| best_oa_location.source.host_organization | https://openalex.org/P4310315760 |
| best_oa_location.source.host_organization_name | AI Access Foundation |
| best_oa_location.source.host_organization_lineage | https://openalex.org/P4310315760 |
| best_oa_location.source.host_organization_lineage_names | AI Access Foundation |
| best_oa_location.license | cc-by |
| best_oa_location.pdf_url | https://jair.org/index.php/jair/article/download/13511/26871 |
| best_oa_location.version | publishedVersion |
| best_oa_location.raw_type | journal-article |
| best_oa_location.license_id | https://openalex.org/licenses/cc-by |
| best_oa_location.is_accepted | True |
| best_oa_location.is_published | True |
| best_oa_location.raw_source_name | Journal of Artificial Intelligence Research |
| best_oa_location.landing_page_url | https://doi.org/10.1613/jair.1.13511 |
| primary_location.id | doi:10.1613/jair.1.13511 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S139930977 |
| primary_location.source.issn | 1076-9757, 1943-5037 |
| primary_location.source.type | journal |
| primary_location.source.is_oa | True |
| primary_location.source.issn_l | 1076-9757 |
| primary_location.source.is_core | True |
| primary_location.source.is_in_doaj | True |
| primary_location.source.display_name | Journal of Artificial Intelligence Research |
| primary_location.source.host_organization | https://openalex.org/P4310315760 |
| primary_location.source.host_organization_name | AI Access Foundation |
| primary_location.source.host_organization_lineage | https://openalex.org/P4310315760 |
| primary_location.source.host_organization_lineage_names | AI Access Foundation |
| primary_location.license | cc-by |
| primary_location.pdf_url | https://jair.org/index.php/jair/article/download/13511/26871 |
| primary_location.version | publishedVersion |
| primary_location.raw_type | journal-article |
| primary_location.license_id | https://openalex.org/licenses/cc-by |
| primary_location.is_accepted | True |
| primary_location.is_published | True |
| primary_location.raw_source_name | Journal of Artificial Intelligence Research |
| primary_location.landing_page_url | https://doi.org/10.1613/jair.1.13511 |
| publication_date | 2022-11-30 |
| publication_year | 2022 |
| referenced_works | https://openalex.org/W6633513001, https://openalex.org/W3165511859, https://openalex.org/W1991981864, https://openalex.org/W6785683103, https://openalex.org/W6634862398, https://openalex.org/W1569771522, https://openalex.org/W3016366169, https://openalex.org/W6678906475, https://openalex.org/W1980167179, https://openalex.org/W2745704899, https://openalex.org/W6784999338, https://openalex.org/W6638180986, https://openalex.org/W2225724109, https://openalex.org/W3140048679, https://openalex.org/W6825989896, https://openalex.org/W6636359381, https://openalex.org/W2040566369, https://openalex.org/W2808514810, https://openalex.org/W6610022735, https://openalex.org/W2191435020, https://openalex.org/W6654663888, https://openalex.org/W2572335555, https://openalex.org/W2588857520, https://openalex.org/W2346723917, https://openalex.org/W2099367286, https://openalex.org/W2949102816, https://openalex.org/W4205361422, https://openalex.org/W15313171, https://openalex.org/W2039145913, https://openalex.org/W6732147035, https://openalex.org/W2296679748, https://openalex.org/W2900225534, https://openalex.org/W6735207027, https://openalex.org/W2001399171, https://openalex.org/W1988045490, https://openalex.org/W1488325354, https://openalex.org/W2137862151, https://openalex.org/W2104356397, https://openalex.org/W6632109683, https://openalex.org/W2028737227, https://openalex.org/W6664120276, https://openalex.org/W6679510460, https://openalex.org/W6803521803, https://openalex.org/W6654255166, https://openalex.org/W3033823979, https://openalex.org/W6681007705, https://openalex.org/W2566250634, https://openalex.org/W2574526943, https://openalex.org/W2220980829, https://openalex.org/W2269165238, https://openalex.org/W6652938186, https://openalex.org/W3123793150, https://openalex.org/W6980896791, https://openalex.org/W6818260395, https://openalex.org/W124764031, https://openalex.org/W3081469361, https://openalex.org/W2904535794, https://openalex.org/W6758315586, https://openalex.org/W6629417139, https://openalex.org/W6844550078, https://openalex.org/W6632470581, https://openalex.org/W6681325349, https://openalex.org/W2093916942, https://openalex.org/W1663762601, https://openalex.org/W3302859, https://openalex.org/W2406518597, https://openalex.org/W6629040674, https://openalex.org/W2163231487, https://openalex.org/W6699748760, https://openalex.org/W6631148723, https://openalex.org/W3202377862, https://openalex.org/W3093506495, https://openalex.org/W1971428581, https://openalex.org/W6631011231, https://openalex.org/W6683773131, https://openalex.org/W2003227046, https://openalex.org/W200063938, https://openalex.org/W3174085730, https://openalex.org/W1989783863, https://openalex.org/W6634585063, https://openalex.org/W7036995562, https://openalex.org/W3034722188, https://openalex.org/W6753115406, https://openalex.org/W2945688618, https://openalex.org/W2054655669, https://openalex.org/W2963526549, https://openalex.org/W2166634564, https://openalex.org/W4244275182, https://openalex.org/W4236835455, https://openalex.org/W2319388297, https://openalex.org/W1518135487, https://openalex.org/W4246490059, https://openalex.org/W2045554431, https://openalex.org/W2004532354, https://openalex.org/W1578302512, https://openalex.org/W2574914925, https://openalex.org/W2098171268, https://openalex.org/W3081110571, https://openalex.org/W2838709227, https://openalex.org/W1782436202, https://openalex.org/W1506588809, https://openalex.org/W2806801598, https://openalex.org/W1482134990, https://openalex.org/W3210476636, https://openalex.org/W2017025480, https://openalex.org/W2180224596, https://openalex.org/W2060270693, https://openalex.org/W2055092188, https://openalex.org/W1603895636, https://openalex.org/W2086869611, https://openalex.org/W1558832481, https://openalex.org/W4285793031, https://openalex.org/W4301042309, https://openalex.org/W3048586703, https://openalex.org/W4234406343, https://openalex.org/W2402007929, https://openalex.org/W2627491027, https://openalex.org/W2989473283, https://openalex.org/W1581108661, https://openalex.org/W2161361246, https://openalex.org/W2911521611, https://openalex.org/W3081083544, https://openalex.org/W2578515325, https://openalex.org/W4206031975, https://openalex.org/W2763521382, https://openalex.org/W1667574996, https://openalex.org/W1549008998, https://openalex.org/W1514227495, https://openalex.org/W2600455691, https://openalex.org/W2142614470, https://openalex.org/W2088593411, https://openalex.org/W2132858301, https://openalex.org/W2142738471, https://openalex.org/W1521337661, https://openalex.org/W2126458651, https://openalex.org/W270081759, https://openalex.org/W1485990531, https://openalex.org/W3096348182, https://openalex.org/W3166511456, https://openalex.org/W1555563750, https://openalex.org/W2925344281, https://openalex.org/W1542111937, https://openalex.org/W1489366126, https://openalex.org/W2741062179, https://openalex.org/W2086863328, https://openalex.org/W3101483322, https://openalex.org/W1997817571, https://openalex.org/W2010508644, https://openalex.org/W1532002274, https://openalex.org/W4293765636, https://openalex.org/W2145813209 |
| referenced_works_count | 151 |
| abstract_inverted_index.0 | 94 |
| abstract_inverted_index.a | 46, 50, 136, 234 |
| abstract_inverted_index.n | 100 |
| abstract_inverted_index.t | 92 |
| abstract_inverted_index.-- | 63 |
| abstract_inverted_index.1, | 102 |
| abstract_inverted_index.1D | 156 |
| abstract_inverted_index.2D | 47, 139, 195 |
| abstract_inverted_index.As | 170, 233 |
| abstract_inverted_index.In | 110 |
| abstract_inverted_index.We | 128 |
| abstract_inverted_index.an | 261 |
| abstract_inverted_index.at | 1 |
| abstract_inverted_index.be | 204 |
| abstract_inverted_index.by | 16, 72, 152 |
| abstract_inverted_index.if | 226 |
| abstract_inverted_index.in | 122, 130 |
| abstract_inverted_index.is | 36 |
| abstract_inverted_index.of | 39, 45, 82, 112, 138, 147, 166, 176, 192, 240, 264 |
| abstract_inverted_index.on | 163, 231, 260 |
| abstract_inverted_index.to | 5, 214, 221, 247 |
| abstract_inverted_index.we | 8, 134, 180, 206, 237 |
| abstract_inverted_index.AC0 | 124 |
| abstract_inverted_index.LTL | 28, 157, 168 |
| abstract_inverted_index.Our | 33, 55 |
| abstract_inverted_index.The | 255 |
| abstract_inverted_index.and | 13, 49, 78, 103, 117, 125, 143, 159, 178, 216, 268 |
| abstract_inverted_index.any | 98 |
| abstract_inverted_index.are | 60, 258 |
| abstract_inverted_index.for | 58, 68, 79, 97, 186, 194, 244 |
| abstract_inverted_index.n), | 96 |
| abstract_inverted_index.one | 227 |
| abstract_inverted_index.our | 187 |
| abstract_inverted_index.the | 20, 73, 80, 88, 145, 164, 171, 183, 190, 212, 241, 265 |
| abstract_inverted_index.≡ | 93 |
| abstract_inverted_index.> | 101 |
| abstract_inverted_index.< | 77 |
| abstract_inverted_index.(and | 223 |
| abstract_inverted_index.(mod | 95 |
| abstract_inverted_index.Horn | 217, 271 |
| abstract_inverted_index.Krom | 215 |
| abstract_inverted_index.NC1, | 126 |
| abstract_inverted_index.OMQs | 121, 148, 158, 246, 248 |
| abstract_inverted_index.also | 181, 207 |
| abstract_inverted_index.data | 3 |
| abstract_inverted_index.even | 225 |
| abstract_inverted_index.from | 19 |
| abstract_inverted_index.full | 229 |
| abstract_inverted_index.lift | 238 |
| abstract_inverted_index.main | 34 |
| abstract_inverted_index.only | 269 |
| abstract_inverted_index.onto | 155 |
| abstract_inverted_index.over | 29 |
| abstract_inverted_index.role | 201, 218 |
| abstract_inverted_index.show | 208 |
| abstract_inverted_index.some | 239 |
| abstract_inverted_index.that | 43, 105 |
| abstract_inverted_index.time | 31, 69 |
| abstract_inverted_index.with | 24, 66, 87, 149, 198, 249 |
| abstract_inverted_index.≡) | 86 |
| abstract_inverted_index.OMQs. | 169 |
| abstract_inverted_index.While | 189 |
| abstract_inverted_index.based | 259 |
| abstract_inverted_index.data, | 7, 179 |
| abstract_inverted_index.final | 235 |
| abstract_inverted_index.fixed | 99 |
| abstract_inverted_index.leads | 220 |
| abstract_inverted_index.logic | 27, 65 |
| abstract_inverted_index.might | 203 |
| abstract_inverted_index.query | 14 |
| abstract_inverted_index.sorts | 67 |
| abstract_inverted_index.step, | 236 |
| abstract_inverted_index.study | 263 |
| abstract_inverted_index.terms | 111 |
| abstract_inverted_index.that, | 209 |
| abstract_inverted_index.three | 131 |
| abstract_inverted_index.≡)- | 116 |
| abstract_inverted_index.(OMQs) | 42 |
| abstract_inverted_index.Aiming | 0 |
| abstract_inverted_index.First, | 133 |
| abstract_inverted_index.access | 4 |
| abstract_inverted_index.admits | 106, 228 |
| abstract_inverted_index.atomic | 150, 245 |
| abstract_inverted_index.define | 135 |
| abstract_inverted_index.design | 9 |
| abstract_inverted_index.domain | 81 |
| abstract_inverted_index.family | 23 |
| abstract_inverted_index.linear | 25 |
| abstract_inverted_index.logics | 18 |
| abstract_inverted_index.models | 267 |
| abstract_inverted_index.query. | 54 |
| abstract_inverted_index.rather | 210 |
| abstract_inverted_index.recent | 161 |
| abstract_inverted_index.steps. | 132 |
| abstract_inverted_index.target | 56 |
| abstract_inverted_index.Boolean | 200 |
| abstract_inverted_index.DL-Lite | 22 |
| abstract_inverted_index.FO(RPR) | 104 |
| abstract_inverted_index.circuit | 113 |
| abstract_inverted_index.concern | 35, 270 |
| abstract_inverted_index.consist | 44 |
| abstract_inverted_index.involve | 173 |
| abstract_inverted_index.lifting | 256 |
| abstract_inverted_index.ordered | 71 |
| abstract_inverted_index.problem | 185 |
| abstract_inverted_index.proceed | 129 |
| abstract_inverted_index.queries | 41, 151 |
| abstract_inverted_index.results | 162, 243, 257 |
| abstract_inverted_index.uniform | 123 |
| abstract_inverted_index.Booleans | 230 |
| abstract_inverted_index.FO(<) | 62 |
| abstract_inverted_index.FO(<, | 85, 115 |
| abstract_inverted_index.built-in | 74 |
| abstract_inverted_index.consider | 182 |
| abstract_inverted_index.deciding | 174 |
| abstract_inverted_index.discrete | 30 |
| abstract_inverted_index.in-depth | 262 |
| abstract_inverted_index.instance | 53, 253 |
| abstract_inverted_index.instants | 70 |
| abstract_inverted_index.ontology | 12, 48, 141, 196 |
| abstract_inverted_index.positive | 51, 251 |
| abstract_inverted_index.queries. | 254 |
| abstract_inverted_index.relation | 76 |
| abstract_inverted_index.standard | 89 |
| abstract_inverted_index.temporal | 6, 11, 26, 52, 252 |
| abstract_inverted_index.(Z,<). | 32 |
| abstract_inverted_index.answering | 120 |
| abstract_inverted_index.canonical | 266 |
| abstract_inverted_index.combining | 17 |
| abstract_inverted_index.concepts. | 232 |
| abstract_inverted_index.employing | 160 |
| abstract_inverted_index.expected, | 205 |
| abstract_inverted_index.extension | 84 |
| abstract_inverted_index.guarantee | 119 |
| abstract_inverted_index.hierarchy | 137 |
| abstract_inverted_index.languages | 15, 57, 142, 197 |
| abstract_inverted_index.primitive | 108 |
| abstract_inverted_index.(extended) | 21 |
| abstract_inverted_index.congruence | 90 |
| abstract_inverted_index.expressive | 199, 250 |
| abstract_inverted_index.inclusions | 202, 219 |
| abstract_inverted_index.languages. | 188 |
| abstract_inverted_index.ontologies | 177 |
| abstract_inverted_index.precedence | 75 |
| abstract_inverted_index.predicates | 91 |
| abstract_inverted_index.recursion. | 109 |
| abstract_inverted_index.relational | 107 |
| abstract_inverted_index.two-sorted | 61 |
| abstract_inverted_index.DL-Lite/LTL | 140 |
| abstract_inverted_index.complexity, | 114 |
| abstract_inverted_index.consistency | 175, 184, 193 |
| abstract_inverted_index.first-order | 37, 64 |
| abstract_inverted_index.investigate | 144 |
| abstract_inverted_index.ontologies. | 272 |
| abstract_inverted_index.projections | 154, 172 |
| abstract_inverted_index.restriction | 213 |
| abstract_inverted_index.constructing | 153 |
| abstract_inverted_index.decidability | 222 |
| abstract_inverted_index.FO-rewritings | 59 |
| abstract_inverted_index.propositional | 167 |
| abstract_inverted_index.respectively. | 127 |
| abstract_inverted_index.rewritability | 38, 242 |
| abstract_inverted_index.surprisingly, | 211 |
| abstract_inverted_index.ontology-based | 2 |
| abstract_inverted_index.undecidability | 191 |
| abstract_inverted_index.two-dimensional | 10 |
| abstract_inverted_index.FO-rewritability | 146, 165 |
| abstract_inverted_index.individuals---its | 83 |
| abstract_inverted_index.ontology-mediated | 40 |
| abstract_inverted_index.FO(RPR)-rewritability | 118 |
| abstract_inverted_index.ExpSpace-completeness), | 224 |
| cited_by_percentile_year.max | 96 |
| cited_by_percentile_year.min | 89 |
| countries_distinct_count | 4 |
| institutions_distinct_count | 6 |
| sustainable_development_goals[0].id | https://metadata.un.org/sdg/10 |
| sustainable_development_goals[0].score | 0.6200000047683716 |
| sustainable_development_goals[0].display_name | Reduced inequalities |
| citation_normalized_percentile.value | 0.74171232 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |