FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3016366169> ?p ?o ?g. }

• W3016366169 endingPage "103536" @default.
• W3016366169 startingPage "103536" @default.
• W3016366169 abstract "We investigate ontology-based data access to temporal data. We consider temporal ontologies given in linear temporal logic LTL interpreted over discrete time (Z,<). Queries are given in LTL or MFO(<), monadic first-order logic with a built-in linear order. Our concern is first-order rewritability of ontology-mediated queries (OMQs) consisting of a temporal ontology and a query. By taking account of the temporal operators used in the ontology and distinguishing between ontologies given in full LTL and its core, Krom and Horn fragments, we identify a hierarchy of OMQs with atomic queries by proving rewritability into either FO(<), first-order logic with the built-in linear order, or FO(<,E), which extends FO(<) with the standard arithmetic predicates saying that x is equivalent to 0 modulo n, for any fixed n > 1, or FO(RPR), which extends FO(<) with relational primitive recursion. In terms of circuit complexity, FO(<,E)- and FO(RPR)-rewritability guarantee OMQ answering in uniform AC0 and, respectively, NC1. We obtain similar hierarchies for more expressive types of queries: positive LTL-formulas, monotone MFO(<)- and arbitrary MFO(<)-formulas. Our results are directly applicable if the temporal data to be accessed is one-dimensional; moreover, they lay foundations for investigating ontology-based access using combinations of temporal and description logics over two-dimensional temporal data." @default.
• W3016366169 created "2020-04-24" @default.
• W3016366169 creator A5001878365 @default.
• W3016366169 creator A5010967150 @default.
• W3016366169 creator A5035993641 @default.
• W3016366169 creator A5038062752 @default.
• W3016366169 creator A5044293361 @default.
• W3016366169 creator A5047265550 @default.
• W3016366169 date "2021-10-01" @default.
• W3016366169 modified "2023-10-12" @default.
• W3016366169 title "First-order rewritability of ontology-mediated queries in linear temporal logic" @default.
• W3016366169 cites W1549008998 @default.
• W3016366169 cites W1596887828 @default.
• W3016366169 cites W1971747251 @default.
• W3016366169 cites W1979919662 @default.
• W3016366169 cites W1980167179 @default.
• W3016366169 cites W1981561399 @default.
• W3016366169 cites W1983682288 @default.
• W3016366169 cites W1988045490 @default.
• W3016366169 cites W2003227046 @default.
• W3016366169 cites W2004542062 @default.
• W3016366169 cites W2004817090 @default.
• W3016366169 cites W2022530540 @default.
• W3016366169 cites W2039145913 @default.
• W3016366169 cites W2040566369 @default.
• W3016366169 cites W2053231467 @default.
• W3016366169 cites W2054589415 @default.
• W3016366169 cites W2060270693 @default.
• W3016366169 cites W2086869611 @default.
• W3016366169 cites W2093824806 @default.
• W3016366169 cites W2131225255 @default.
• W3016366169 cites W2132858301 @default.
• W3016366169 cites W2137862151 @default.
• W3016366169 cites W2155899822 @default.
• W3016366169 cites W2512513483 @default.
• W3016366169 cites W2594678652 @default.
• W3016366169 cites W2600455691 @default.
• W3016366169 cites W2763521382 @default.
• W3016366169 cites W2806619258 @default.
• W3016366169 cites W2900225534 @default.
• W3016366169 cites W2900888567 @default.
• W3016366169 cites W2963526549 @default.
• W3016366169 cites W3101483322 @default.
• W3016366169 cites W4205178514 @default.
• W3016366169 cites W4240781210 @default.
• W3016366169 cites W4250230991 @default.
• W3016366169 cites W753170256 @default.
• W3016366169 cites W965179363 @default.
• W3016366169 doi "https://doi.org/10.1016/j.artint.2021.103536" @default.
• W3016366169 hasPublicationYear "2021" @default.
• W3016366169 type Work @default.
• W3016366169 sameAs 3016366169 @default.
• W3016366169 citedByCount "6" @default.
• W3016366169 countsByYear W30163661692020 @default.
• W3016366169 countsByYear W30163661692021 @default.
• W3016366169 countsByYear W30163661692022 @default.
• W3016366169 crossrefType "journal-article" @default.
• W3016366169 hasAuthorship W3016366169A5001878365 @default.
• W3016366169 hasAuthorship W3016366169A5010967150 @default.
• W3016366169 hasAuthorship W3016366169A5035993641 @default.
• W3016366169 hasAuthorship W3016366169A5038062752 @default.
• W3016366169 hasAuthorship W3016366169A5044293361 @default.
• W3016366169 hasAuthorship W3016366169A5047265550 @default.
• W3016366169 hasBestOaLocation W30163661692 @default.
• W3016366169 hasConcept C102993220 @default.
• W3016366169 hasConcept C111472728 @default.
• W3016366169 hasConcept C11413529 @default.
• W3016366169 hasConcept C118615104 @default.
• W3016366169 hasConcept C124101348 @default.
• W3016366169 hasConcept C138885662 @default.
• W3016366169 hasConcept C168773036 @default.
• W3016366169 hasConcept C2129575 @default.
• W3016366169 hasConcept C23123220 @default.
• W3016366169 hasConcept C25016198 @default.
• W3016366169 hasConcept C25810664 @default.
• W3016366169 hasConcept C311688 @default.
• W3016366169 hasConcept C33923547 @default.
• W3016366169 hasConcept C41008148 @default.
• W3016366169 hasConcept C4777664 @default.
• W3016366169 hasConcept C54732982 @default.
• W3016366169 hasConcept C5655090 @default.
• W3016366169 hasConcept C61673122 @default.
• W3016366169 hasConcept C65647387 @default.
• W3016366169 hasConcept C77277458 @default.
• W3016366169 hasConcept C80444323 @default.
• W3016366169 hasConceptScore W3016366169C102993220 @default.
• W3016366169 hasConceptScore W3016366169C111472728 @default.
• W3016366169 hasConceptScore W3016366169C11413529 @default.
• W3016366169 hasConceptScore W3016366169C118615104 @default.
• W3016366169 hasConceptScore W3016366169C124101348 @default.
• W3016366169 hasConceptScore W3016366169C138885662 @default.
• W3016366169 hasConceptScore W3016366169C168773036 @default.
• W3016366169 hasConceptScore W3016366169C2129575 @default.
• W3016366169 hasConceptScore W3016366169C23123220 @default.
• W3016366169 hasConceptScore W3016366169C25016198 @default.
• W3016366169 hasConceptScore W3016366169C25810664 @default.
• W3016366169 hasConceptScore W3016366169C311688 @default.
• W3016366169 hasConceptScore W3016366169C33923547 @default.

• next