Matches in SemOpenAlex for { <https://semopenalex.org/work/W1667254790> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1667254790 abstract "We study the problem of rewriting a disjunctive datalog program into plain datalog. We show that a disjunctive program is rewritable if and only if it is equivalent to a linear disjunctive program, thus providing a novel characterisation of datalog rewritability. Motivated by this result, we propose weakly linear disjunctive datalog -- a novel rule-based KR language that extends both datalog and linear disjunctive datalog and for which reasoning is tractable in data complexity. We then explore applications of weakly linear programs to ontology reasoning and propose a tractable extension of OWL 2 RL with disjunctive axioms. Our empirical results suggest that many non-Horn ontologies can be reduced to weakly linear programs and that query answering over such ontologies using a datalog engine is feasible in practice." @default.
- W1667254790 created "2016-06-24" @default.
- W1667254790 creator A5023732514 @default.
- W1667254790 creator A5080366682 @default.
- W1667254790 creator A5082856719 @default.
- W1667254790 date "2014-06-21" @default.
- W1667254790 modified "2023-10-16" @default.
- W1667254790 title "Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning" @default.
- W1667254790 cites W1578109354 @default.
- W1667254790 cites W16194962 @default.
- W1667254790 cites W1699565 @default.
- W1667254790 cites W1751091745 @default.
- W1667254790 cites W1830094896 @default.
- W1667254790 cites W1857926731 @default.
- W1667254790 cites W1870380066 @default.
- W1667254790 cites W1969965298 @default.
- W1667254790 cites W1976055110 @default.
- W1667254790 cites W1984280364 @default.
- W1667254790 cites W2060632369 @default.
- W1667254790 cites W2065194600 @default.
- W1667254790 cites W2070902236 @default.
- W1667254790 cites W2087528959 @default.
- W1667254790 cites W2103797177 @default.
- W1667254790 cites W2107910552 @default.
- W1667254790 cites W2118699275 @default.
- W1667254790 cites W2132872141 @default.
- W1667254790 cites W2137517768 @default.
- W1667254790 cites W2154829072 @default.
- W1667254790 cites W2157893030 @default.
- W1667254790 cites W2193530801 @default.
- W1667254790 cites W2248098515 @default.
- W1667254790 cites W2295882966 @default.
- W1667254790 cites W2394523401 @default.
- W1667254790 cites W2949102816 @default.
- W1667254790 cites W2590474552 @default.
- W1667254790 doi "https://doi.org/10.1609/aaai.v28i1.8854" @default.
- W1667254790 hasPublicationYear "2014" @default.
- W1667254790 type Work @default.
- W1667254790 sameAs 1667254790 @default.
- W1667254790 citedByCount "11" @default.
- W1667254790 countsByYear W16672547902014 @default.
- W1667254790 countsByYear W16672547902015 @default.
- W1667254790 countsByYear W16672547902016 @default.
- W1667254790 countsByYear W16672547902017 @default.
- W1667254790 countsByYear W16672547902020 @default.
- W1667254790 crossrefType "journal-article" @default.
- W1667254790 hasAuthorship W1667254790A5023732514 @default.
- W1667254790 hasAuthorship W1667254790A5080366682 @default.
- W1667254790 hasAuthorship W1667254790A5082856719 @default.
- W1667254790 hasBestOaLocation W16672547901 @default.
- W1667254790 hasConcept C111472728 @default.
- W1667254790 hasConcept C138885662 @default.
- W1667254790 hasConcept C148230440 @default.
- W1667254790 hasConcept C154690210 @default.
- W1667254790 hasConcept C167729594 @default.
- W1667254790 hasConcept C199360897 @default.
- W1667254790 hasConcept C2524010 @default.
- W1667254790 hasConcept C25810664 @default.
- W1667254790 hasConcept C2778029271 @default.
- W1667254790 hasConcept C33923547 @default.
- W1667254790 hasConcept C41008148 @default.
- W1667254790 hasConcept C80444323 @default.
- W1667254790 hasConceptScore W1667254790C111472728 @default.
- W1667254790 hasConceptScore W1667254790C138885662 @default.
- W1667254790 hasConceptScore W1667254790C148230440 @default.
- W1667254790 hasConceptScore W1667254790C154690210 @default.
- W1667254790 hasConceptScore W1667254790C167729594 @default.
- W1667254790 hasConceptScore W1667254790C199360897 @default.
- W1667254790 hasConceptScore W1667254790C2524010 @default.
- W1667254790 hasConceptScore W1667254790C25810664 @default.
- W1667254790 hasConceptScore W1667254790C2778029271 @default.
- W1667254790 hasConceptScore W1667254790C33923547 @default.
- W1667254790 hasConceptScore W1667254790C41008148 @default.
- W1667254790 hasConceptScore W1667254790C80444323 @default.
- W1667254790 hasIssue "1" @default.
- W1667254790 hasLocation W16672547901 @default.
- W1667254790 hasLocation W16672547902 @default.
- W1667254790 hasLocation W16672547903 @default.
- W1667254790 hasLocation W16672547904 @default.
- W1667254790 hasOpenAccess W1667254790 @default.
- W1667254790 hasPrimaryLocation W16672547901 @default.
- W1667254790 hasRelatedWork W1502289629 @default.
- W1667254790 hasRelatedWork W1536437994 @default.
- W1667254790 hasRelatedWork W1603777797 @default.
- W1667254790 hasRelatedWork W2082721878 @default.
- W1667254790 hasRelatedWork W2117916462 @default.
- W1667254790 hasRelatedWork W2294715226 @default.
- W1667254790 hasRelatedWork W2740990710 @default.
- W1667254790 hasRelatedWork W2948708026 @default.
- W1667254790 hasRelatedWork W2950464632 @default.
- W1667254790 hasRelatedWork W4300001203 @default.
- W1667254790 hasVolume "28" @default.
- W1667254790 isParatext "false" @default.
- W1667254790 isRetracted "false" @default.
- W1667254790 magId "1667254790" @default.
- W1667254790 workType "article" @default.