Matches in SemOpenAlex for { <https://semopenalex.org/work/W2998295907> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2998295907 endingPage "3024" @default.
- W2998295907 startingPage "3017" @default.
- W2998295907 abstract "In this paper, we study the problem of query answering with guarded existential rules (also called GNTGDs) under stable model semantics. Our goal is to use existing answer set programming (ASP) solvers. However, ASP solvers handle only finitely-ground logic programs while the program translated from GNTGDs by Skolemization is not in general. To address this challenge, we introduce two novel notions of (1) guarded instantiation forest to describe the instantiation of GNTGDs and (2) prime block to characterize the repeated infinitely-ground program translated from GNTGDs. Using these notions, we prove that the ground termination problem for GNTGDs is decidable. We also devise an algorithm for query answering with GNTGDs using ASP solvers. We have implemented our approach in a prototype system. The evaluation over a set of benchmarks shows encouraging results." @default.
- W2998295907 created "2020-01-10" @default.
- W2998295907 creator A5010550946 @default.
- W2998295907 creator A5027600524 @default.
- W2998295907 creator A5031908321 @default.
- W2998295907 creator A5034595049 @default.
- W2998295907 creator A5056053058 @default.
- W2998295907 creator A5073548180 @default.
- W2998295907 date "2020-04-03" @default.
- W2998295907 modified "2023-10-14" @default.
- W2998295907 title "Query Answering with Guarded Existential Rules under Stable Model Semantics" @default.
- W2998295907 cites W1484110122 @default.
- W2998295907 cites W1509511777 @default.
- W2998295907 cites W1569370144 @default.
- W2998295907 cites W1583896216 @default.
- W2998295907 cites W1672891595 @default.
- W2998295907 cites W1784811291 @default.
- W2998295907 cites W1852280707 @default.
- W2998295907 cites W1988045490 @default.
- W2998295907 cites W2028222220 @default.
- W2998295907 cites W2083882369 @default.
- W2998295907 cites W2134039900 @default.
- W2998295907 cites W2201043149 @default.
- W2998295907 cites W2613523512 @default.
- W2998295907 cites W2752197104 @default.
- W2998295907 cites W2071784417 @default.
- W2998295907 doi "https://doi.org/10.1609/aaai.v34i03.5695" @default.
- W2998295907 hasPublicationYear "2020" @default.
- W2998295907 type Work @default.
- W2998295907 sameAs 2998295907 @default.
- W2998295907 citedByCount "1" @default.
- W2998295907 countsByYear W29982959072021 @default.
- W2998295907 crossrefType "journal-article" @default.
- W2998295907 hasAuthorship W2998295907A5010550946 @default.
- W2998295907 hasAuthorship W2998295907A5027600524 @default.
- W2998295907 hasAuthorship W2998295907A5031908321 @default.
- W2998295907 hasAuthorship W2998295907A5034595049 @default.
- W2998295907 hasAuthorship W2998295907A5056053058 @default.
- W2998295907 hasAuthorship W2998295907A5073548180 @default.
- W2998295907 hasBestOaLocation W29982959071 @default.
- W2998295907 hasConcept C114614502 @default.
- W2998295907 hasConcept C127001435 @default.
- W2998295907 hasConcept C128838566 @default.
- W2998295907 hasConcept C153269930 @default.
- W2998295907 hasConcept C156325763 @default.
- W2998295907 hasConcept C177264268 @default.
- W2998295907 hasConcept C182620335 @default.
- W2998295907 hasConcept C184337299 @default.
- W2998295907 hasConcept C184992742 @default.
- W2998295907 hasConcept C199360897 @default.
- W2998295907 hasConcept C33923547 @default.
- W2998295907 hasConcept C41008148 @default.
- W2998295907 hasConcept C80444323 @default.
- W2998295907 hasConceptScore W2998295907C114614502 @default.
- W2998295907 hasConceptScore W2998295907C127001435 @default.
- W2998295907 hasConceptScore W2998295907C128838566 @default.
- W2998295907 hasConceptScore W2998295907C153269930 @default.
- W2998295907 hasConceptScore W2998295907C156325763 @default.
- W2998295907 hasConceptScore W2998295907C177264268 @default.
- W2998295907 hasConceptScore W2998295907C182620335 @default.
- W2998295907 hasConceptScore W2998295907C184337299 @default.
- W2998295907 hasConceptScore W2998295907C184992742 @default.
- W2998295907 hasConceptScore W2998295907C199360897 @default.
- W2998295907 hasConceptScore W2998295907C33923547 @default.
- W2998295907 hasConceptScore W2998295907C41008148 @default.
- W2998295907 hasConceptScore W2998295907C80444323 @default.
- W2998295907 hasIssue "03" @default.
- W2998295907 hasLocation W29982959071 @default.
- W2998295907 hasLocation W29982959072 @default.
- W2998295907 hasOpenAccess W2998295907 @default.
- W2998295907 hasPrimaryLocation W29982959071 @default.
- W2998295907 hasRelatedWork W1485855639 @default.
- W2998295907 hasRelatedWork W1511110679 @default.
- W2998295907 hasRelatedWork W1575307414 @default.
- W2998295907 hasRelatedWork W17910728 @default.
- W2998295907 hasRelatedWork W2036349108 @default.
- W2998295907 hasRelatedWork W2072848753 @default.
- W2998295907 hasRelatedWork W2157541508 @default.
- W2998295907 hasRelatedWork W2217568681 @default.
- W2998295907 hasRelatedWork W2754780800 @default.
- W2998295907 hasRelatedWork W2592609194 @default.
- W2998295907 hasVolume "34" @default.
- W2998295907 isParatext "false" @default.
- W2998295907 isRetracted "false" @default.
- W2998295907 magId "2998295907" @default.
- W2998295907 workType "article" @default.