First-order rewritability of ontology-mediated queries in linear temporal logic

Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev

doi:10.4230/lipics.time.2021.10

ScienceGate Book Chapters

JOURNAL ARTICLE

First-order rewritability of ontology-mediated queries in linear temporal logic

Alessandro Artale Roman Kontchakov Alisa Kovtunova Vladislav Ryzhikov Frank Wolter Michael Zakharyaschev

Year: 2021 Journal: Artificial Intelligence Vol: 299 Pages: 103536-103536 Publisher: Elsevier BV

DOI: 10.4230/lipics.time.2021.10

Get Full-Text PDF Get Analytical Report

Keywords:

Linear temporal logic Temporal logic Description logic Ontology Theoretical computer science Conjunctive query Computer science Recursion (computer science) Ontology language Time complexity Temporal database Mathematics Algorithm Relational database Information retrieval Data mining Semantic Web

Metrics

Cited By

1.27

FWCI (Field Weighted Citation Impact)

151

Refs

0.83

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Semantic Web and Ontologies

Physical Sciences → Computer Science → Artificial Intelligence

Advanced Database Systems and Queries

Physical Sciences → Computer Science → Computer Networks and Communications

Data Management and Algorithms

Physical Sciences → Computer Science → Signal Processing

First-order rewritability of ontology-mediated queries in linear temporal logic

Metrics

Citation History

Topics

Related Documents

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)

Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic

Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries