FRINK Linked Data Fragments server

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

• W2986165721 abstract "An important class of decidable first-order logic fragments are those satisfying a guardedness condition, such as the guarded fragment (GF). Usually, decidability for these logics is closely linked to the tree-like model property - the fact that satisfying models can be taken to have tree-like form. Decision procedures for the guarded fragment based on the tree-like model property are difficult to implement. An alternative approach, based on restricting first-order resolution, has been proposed, and this shows more promise from the point of view of implementation. In this work, we connect the tree-like model property of the guarded fragment with the resolution-based approach. We derive efficient resolution-based rewriting algorithms that solve the Quantifier-Free Query Answering Problem under Guarded Tuple Generating Dependencies (GTGDs) and Disjunctive Guarded Tuple Generating Dependencies (DisGTGDs). The Query Answering Problem for these classes subsumes many cases of GF satisfiability. Our algorithms, in addition to making the connection to the tree-like model property clear, give a natural account of the selection and ordering strategies used by resolution procedures for the guarded fragment. We also believe that our rewriting algorithm for the special case of GTGDs may prove itself valuable in practice as it does not require any Skolemisation step and its theoretical runtime outperforms those of known GF resolution procedures in case of fixed dependencies. Moreover, we show a novel normalisation procedure for the widely used chase procedure in case of (disjunctive) GTGDs, which could be useful for future studies." @default.
• W2986165721 created "2019-11-22" @default.
• W2986165721 creator A5002690904 @default.
• W2986165721 date "2019-11-09" @default.
• W2986165721 modified "2023-09-26" @default.
• W2986165721 title "Decision Procedures for Guarded Logics." @default.
• W2986165721 cites W110865114 @default.
• W2986165721 cites W1483892218 @default.
• W2986165721 cites W1513576223 @default.
• W2986165721 cites W1530638520 @default.
• W2986165721 cites W1554618854 @default.
• W2986165721 cites W1555563750 @default.
• W2986165721 cites W1556189547 @default.
• W2986165721 cites W1595443289 @default.
• W2986165721 cites W1699565 @default.
• W2986165721 cites W1824207140 @default.
• W2986165721 cites W1969965298 @default.
• W2986165721 cites W1985581502 @default.
• W2986165721 cites W1991981864 @default.
• W2986165721 cites W2028222220 @default.
• W2986165721 cites W2043677533 @default.
• W2986165721 cites W2046242379 @default.
• W2986165721 cites W2057069578 @default.
• W2986165721 cites W2073539738 @default.
• W2986165721 cites W2076676228 @default.
• W2986165721 cites W2100738443 @default.
• W2986165721 cites W2102729564 @default.
• W2986165721 cites W2103738827 @default.
• W2986165721 cites W2107910552 @default.
• W2986165721 cites W2123433341 @default.
• W2986165721 cites W2126160338 @default.
• W2986165721 cites W2162583406 @default.
• W2986165721 cites W2211160973 @default.
• W2986165721 cites W2263859483 @default.
• W2986165721 cites W2293235079 @default.
• W2986165721 cites W2295882966 @default.
• W2986165721 cites W2323777246 @default.
• W2986165721 cites W2533772561 @default.
• W2986165721 cites W2794420899 @default.
• W2986165721 cites W2914576081 @default.
• W2986165721 cites W3104147710 @default.
• W2986165721 hasPublicationYear "2019" @default.
• W2986165721 type Work @default.
• W2986165721 sameAs 2986165721 @default.
• W2986165721 citedByCount "0" @default.
• W2986165721 crossrefType "posted-content" @default.
• W2986165721 hasAuthorship W2986165721A5002690904 @default.
• W2986165721 hasConcept C111472728 @default.
• W2986165721 hasConcept C113174947 @default.
• W2986165721 hasConcept C11413529 @default.
• W2986165721 hasConcept C114614502 @default.
• W2986165721 hasConcept C118615104 @default.
• W2986165721 hasConcept C118930307 @default.
• W2986165721 hasConcept C138268822 @default.
• W2986165721 hasConcept C138885662 @default.
• W2986165721 hasConcept C153269930 @default.
• W2986165721 hasConcept C154690210 @default.
• W2986165721 hasConcept C154945302 @default.
• W2986165721 hasConcept C168773769 @default.
• W2986165721 hasConcept C189950617 @default.
• W2986165721 hasConcept C199360897 @default.
• W2986165721 hasConcept C2776235265 @default.
• W2986165721 hasConcept C2777212361 @default.
• W2986165721 hasConcept C33923547 @default.
• W2986165721 hasConcept C41008148 @default.
• W2986165721 hasConcept C80444323 @default.
• W2986165721 hasConceptScore W2986165721C111472728 @default.
• W2986165721 hasConceptScore W2986165721C113174947 @default.
• W2986165721 hasConceptScore W2986165721C11413529 @default.
• W2986165721 hasConceptScore W2986165721C114614502 @default.
• W2986165721 hasConceptScore W2986165721C118615104 @default.
• W2986165721 hasConceptScore W2986165721C118930307 @default.
• W2986165721 hasConceptScore W2986165721C138268822 @default.
• W2986165721 hasConceptScore W2986165721C138885662 @default.
• W2986165721 hasConceptScore W2986165721C153269930 @default.
• W2986165721 hasConceptScore W2986165721C154690210 @default.
• W2986165721 hasConceptScore W2986165721C154945302 @default.
• W2986165721 hasConceptScore W2986165721C168773769 @default.
• W2986165721 hasConceptScore W2986165721C189950617 @default.
• W2986165721 hasConceptScore W2986165721C199360897 @default.
• W2986165721 hasConceptScore W2986165721C2776235265 @default.
• W2986165721 hasConceptScore W2986165721C2777212361 @default.
• W2986165721 hasConceptScore W2986165721C33923547 @default.
• W2986165721 hasConceptScore W2986165721C41008148 @default.
• W2986165721 hasConceptScore W2986165721C80444323 @default.
• W2986165721 hasLocation W29861657211 @default.
• W2986165721 hasOpenAccess W2986165721 @default.
• W2986165721 hasPrimaryLocation W29861657211 @default.
• W2986165721 hasRelatedWork W12427088 @default.
• W2986165721 hasRelatedWork W1479960293 @default.
• W2986165721 hasRelatedWork W1509623480 @default.
• W2986165721 hasRelatedWork W1517205743 @default.
• W2986165721 hasRelatedWork W1570911130 @default.
• W2986165721 hasRelatedWork W2034521022 @default.
• W2986165721 hasRelatedWork W2059894732 @default.
• W2986165721 hasRelatedWork W2060703384 @default.
• W2986165721 hasRelatedWork W2103797177 @default.
• W2986165721 hasRelatedWork W2127397152 @default.
• W2986165721 hasRelatedWork W2130899738 @default.
• W2986165721 hasRelatedWork W2206197098 @default.

• next