FRINK Linked Data Fragments server

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

• W2999961553 abstract "We consider the following query answering problem: Given a Boolean conjunctive query and a theory in the Horn loosely guarded fragment, the aim is to determine whether the query is entailed by the theory. In this paper, we present a resolution decision procedure for the loosely guarded fragment, and use such a procedure to answer Boolean conjunctive queries against the Horn loosely guarded fragment. The Horn loosely guarded fragment subsumes classes of rules that are prevalent in ontology-based query answering, such as Horn ALCHOI and guarded existential rules. Additionally, we identify star queries and cloud queries, which using our procedure, can be answered against the loosely guarded fragment." @default.
• W2999961553 created "2020-01-23" @default.
• W2999961553 creator A5031290846 @default.
• W2999961553 creator A5037583341 @default.
• W2999961553 date "2020-01-12" @default.
• W2999961553 modified "2023-09-27" @default.
• W2999961553 title "Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution" @default.
• W2999961553 cites W126873717 @default.
• W2999961553 cites W143925898 @default.
• W2999961553 cites W1483892218 @default.
• W2999961553 cites W1513426895 @default.
• W2999961553 cites W1513576223 @default.
• W2999961553 cites W1519551513 @default.
• W2999961553 cites W1554551469 @default.
• W2999961553 cites W1562775594 @default.
• W2999961553 cites W1667574996 @default.
• W2999961553 cites W1824207140 @default.
• W2999961553 cites W1988045490 @default.
• W2999961553 cites W2018798767 @default.
• W2999961553 cites W2040566369 @default.
• W2999961553 cites W2076676228 @default.
• W2999961553 cites W2123817118 @default.
• W2999961553 cites W2341631904 @default.
• W2999961553 cites W2583369873 @default.
• W2999961553 cites W2628596753 @default.
• W2999961553 cites W2838709227 @default.
• W2999961553 hasPublicationYear "2020" @default.
• W2999961553 type Work @default.
• W2999961553 sameAs 2999961553 @default.
• W2999961553 citedByCount "0" @default.
• W2999961553 crossrefType "posted-content" @default.
• W2999961553 hasAuthorship W2999961553A5031290846 @default.
• W2999961553 hasAuthorship W2999961553A5037583341 @default.
• W2999961553 hasConcept C111472728 @default.
• W2999961553 hasConcept C138268822 @default.
• W2999961553 hasConcept C138885662 @default.
• W2999961553 hasConcept C152076505 @default.
• W2999961553 hasConcept C15744967 @default.
• W2999961553 hasConcept C164120249 @default.
• W2999961553 hasConcept C189790780 @default.
• W2999961553 hasConcept C192028432 @default.
• W2999961553 hasConcept C192939062 @default.
• W2999961553 hasConcept C19417346 @default.
• W2999961553 hasConcept C199360897 @default.
• W2999961553 hasConcept C23123220 @default.
• W2999961553 hasConcept C24755975 @default.
• W2999961553 hasConcept C25810664 @default.
• W2999961553 hasConcept C2776235265 @default.
• W2999961553 hasConcept C41008148 @default.
• W2999961553 hasConcept C5655090 @default.
• W2999961553 hasConcept C65647387 @default.
• W2999961553 hasConcept C80444323 @default.
• W2999961553 hasConcept C81721847 @default.
• W2999961553 hasConcept C97854310 @default.
• W2999961553 hasConceptScore W2999961553C111472728 @default.
• W2999961553 hasConceptScore W2999961553C138268822 @default.
• W2999961553 hasConceptScore W2999961553C138885662 @default.
• W2999961553 hasConceptScore W2999961553C152076505 @default.
• W2999961553 hasConceptScore W2999961553C15744967 @default.
• W2999961553 hasConceptScore W2999961553C164120249 @default.
• W2999961553 hasConceptScore W2999961553C189790780 @default.
• W2999961553 hasConceptScore W2999961553C192028432 @default.
• W2999961553 hasConceptScore W2999961553C192939062 @default.
• W2999961553 hasConceptScore W2999961553C19417346 @default.
• W2999961553 hasConceptScore W2999961553C199360897 @default.
• W2999961553 hasConceptScore W2999961553C23123220 @default.
• W2999961553 hasConceptScore W2999961553C24755975 @default.
• W2999961553 hasConceptScore W2999961553C25810664 @default.
• W2999961553 hasConceptScore W2999961553C2776235265 @default.
• W2999961553 hasConceptScore W2999961553C41008148 @default.
• W2999961553 hasConceptScore W2999961553C5655090 @default.
• W2999961553 hasConceptScore W2999961553C65647387 @default.
• W2999961553 hasConceptScore W2999961553C80444323 @default.
• W2999961553 hasConceptScore W2999961553C81721847 @default.
• W2999961553 hasConceptScore W2999961553C97854310 @default.
• W2999961553 hasLocation W29999615531 @default.
• W2999961553 hasOpenAccess W2999961553 @default.
• W2999961553 hasPrimaryLocation W29999615531 @default.
• W2999961553 hasRelatedWork W1481314305 @default.
• W2999961553 hasRelatedWork W1615193254 @default.
• W2999961553 hasRelatedWork W1727181597 @default.
• W2999961553 hasRelatedWork W2001399171 @default.
• W2999961553 hasRelatedWork W2019887644 @default.
• W2999961553 hasRelatedWork W2070509270 @default.
• W2999961553 hasRelatedWork W2072843304 @default.
• W2999961553 hasRelatedWork W2097765725 @default.
• W2999961553 hasRelatedWork W2127946738 @default.
• W2999961553 hasRelatedWork W2137382312 @default.
• W2999961553 hasRelatedWork W2189606287 @default.
• W2999961553 hasRelatedWork W2406031048 @default.
• W2999961553 hasRelatedWork W2435875632 @default.
• W2999961553 hasRelatedWork W2574822975 @default.
• W2999961553 hasRelatedWork W2742028051 @default.
• W2999961553 hasRelatedWork W2888264842 @default.
• W2999961553 hasRelatedWork W2997948069 @default.
• W2999961553 hasRelatedWork W3120529697 @default.
• W2999961553 hasRelatedWork W3167382126 @default.
• W2999961553 hasRelatedWork W342586941 @default.
• W2999961553 isParatext "false" @default.
• W2999961553 isRetracted "false" @default.

• next