First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic

Research output: Contribution to journalResearch articleContributedpeer-review

Contributors

Details

Original languageEnglish
Article number103536
JournalArtificial intelligence
Volume299
Publication statusPublished - Oct 2021
Peer-reviewedYes

External IDs

Scopus 85106470272

Keywords