FRINK Linked Data Fragments server

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

• W302574554 abstract "Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology-Based Query Answering. Entailment with existential rules is undecidable. We focus in this paper on conditions that ensure the termination of a breadth-first forward chaining algorithm known as the chase. First, we propose a new tool that allows to extend existing acyclicity conditions ensuring chase termination, while keeping good complexity properties. Second, we consider the extension to existential rules with nonmonotonic negation under stable model semantics and further extend acyclicity results obtained in the positive case." @default.
• W302574554 created "2016-06-24" @default.
• W302574554 creator A5016127688 @default.
• W302574554 creator A5032296555 @default.
• W302574554 creator A5061949460 @default.
• W302574554 creator A5066575568 @default.
• W302574554 date "2014-07-25" @default.
• W302574554 modified "2023-09-27" @default.
• W302574554 title "Extending Acyclicity Notions for Existential Rules (emph{long version})." @default.
• W302574554 cites W1484110122 @default.
• W302574554 cites W1589124617 @default.
• W302574554 cites W1672891595 @default.
• W302574554 cites W1985581502 @default.
• W302574554 cites W2012428008 @default.
• W302574554 cites W2013096722 @default.
• W302574554 cites W2028222220 @default.
• W302574554 cites W2040566369 @default.
• W302574554 cites W2057069578 @default.
• W302574554 cites W2102729564 @default.
• W302574554 cites W2145813209 @default.
• W302574554 cites W215364 @default.
• W302574554 cites W2201043149 @default.
• W302574554 cites W2261579031 @default.
• W302574554 cites W2288402373 @default.
• W302574554 cites W62327733 @default.
• W302574554 hasPublicationYear "2014" @default.
• W302574554 type Work @default.
• W302574554 sameAs 302574554 @default.
• W302574554 citedByCount "0" @default.
• W302574554 crossrefType "posted-content" @default.
• W302574554 hasAuthorship W302574554A5016127688 @default.
• W302574554 hasAuthorship W302574554A5032296555 @default.
• W302574554 hasAuthorship W302574554A5061949460 @default.
• W302574554 hasAuthorship W302574554A5066575568 @default.
• W302574554 hasConcept C111472728 @default.
• W302574554 hasConcept C120665830 @default.
• W302574554 hasConcept C121332964 @default.
• W302574554 hasConcept C127001435 @default.
• W302574554 hasConcept C127882523 @default.
• W302574554 hasConcept C129916263 @default.
• W302574554 hasConcept C131924884 @default.
• W302574554 hasConcept C134752490 @default.
• W302574554 hasConcept C138885662 @default.
• W302574554 hasConcept C142614401 @default.
• W302574554 hasConcept C151730666 @default.
• W302574554 hasConcept C153269930 @default.
• W302574554 hasConcept C154945302 @default.
• W302574554 hasConcept C156325763 @default.
• W302574554 hasConcept C15744967 @default.
• W302574554 hasConcept C184337299 @default.
• W302574554 hasConcept C192034797 @default.
• W302574554 hasConcept C192209626 @default.
• W302574554 hasConcept C199360897 @default.
• W302574554 hasConcept C2185349 @default.
• W302574554 hasConcept C23123220 @default.
• W302574554 hasConcept C25810664 @default.
• W302574554 hasConcept C2776214188 @default.
• W302574554 hasConcept C2779343474 @default.
• W302574554 hasConcept C41008148 @default.
• W302574554 hasConcept C46743427 @default.
• W302574554 hasConcept C49020025 @default.
• W302574554 hasConcept C542102704 @default.
• W302574554 hasConcept C5655090 @default.
• W302574554 hasConcept C58328972 @default.
• W302574554 hasConcept C65647387 @default.
• W302574554 hasConcept C77088390 @default.
• W302574554 hasConcept C80444323 @default.
• W302574554 hasConcept C86803240 @default.
• W302574554 hasConceptScore W302574554C111472728 @default.
• W302574554 hasConceptScore W302574554C120665830 @default.
• W302574554 hasConceptScore W302574554C121332964 @default.
• W302574554 hasConceptScore W302574554C127001435 @default.
• W302574554 hasConceptScore W302574554C127882523 @default.
• W302574554 hasConceptScore W302574554C129916263 @default.
• W302574554 hasConceptScore W302574554C131924884 @default.
• W302574554 hasConceptScore W302574554C134752490 @default.
• W302574554 hasConceptScore W302574554C138885662 @default.
• W302574554 hasConceptScore W302574554C142614401 @default.
• W302574554 hasConceptScore W302574554C151730666 @default.
• W302574554 hasConceptScore W302574554C153269930 @default.
• W302574554 hasConceptScore W302574554C154945302 @default.
• W302574554 hasConceptScore W302574554C156325763 @default.
• W302574554 hasConceptScore W302574554C15744967 @default.
• W302574554 hasConceptScore W302574554C184337299 @default.
• W302574554 hasConceptScore W302574554C192034797 @default.
• W302574554 hasConceptScore W302574554C192209626 @default.
• W302574554 hasConceptScore W302574554C199360897 @default.
• W302574554 hasConceptScore W302574554C2185349 @default.
• W302574554 hasConceptScore W302574554C23123220 @default.
• W302574554 hasConceptScore W302574554C25810664 @default.
• W302574554 hasConceptScore W302574554C2776214188 @default.
• W302574554 hasConceptScore W302574554C2779343474 @default.
• W302574554 hasConceptScore W302574554C41008148 @default.
• W302574554 hasConceptScore W302574554C46743427 @default.
• W302574554 hasConceptScore W302574554C49020025 @default.
• W302574554 hasConceptScore W302574554C542102704 @default.
• W302574554 hasConceptScore W302574554C5655090 @default.
• W302574554 hasConceptScore W302574554C58328972 @default.
• W302574554 hasConceptScore W302574554C65647387 @default.
• W302574554 hasConceptScore W302574554C77088390 @default.

• next