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

Research output: Preprint/documentation/report › Manual/Technical documentation

Contributors

Details

Original languageEnglish
PublisherarXiv
Number of pages35
Volumeabs/2004.07221
Publication statusPublished - 2020
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

External IDs

ORCID /0000-0001-9936-0943/work/142658816

Keywords