Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949203528> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2949203528 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.
- W2949203528 created "2019-06-27" @default.
- W2949203528 creator A5023732514 @default.
- W2949203528 creator A5080366682 @default.
- W2949203528 creator A5082856719 @default.
- W2949203528 date "2014-04-11" @default.
- W2949203528 modified "2023-09-27" @default.
- W2949203528 title "Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning" @default.
- W2949203528 cites W1578109354 @default.
- W2949203528 cites W16194962 @default.
- W2949203528 cites W1699565 @default.
- W2949203528 cites W1751091745 @default.
- W2949203528 cites W1870380066 @default.
- W2949203528 cites W1969965298 @default.
- W2949203528 cites W1976055110 @default.
- W2949203528 cites W1984280364 @default.
- W2949203528 cites W2060632369 @default.
- W2949203528 cites W2065194600 @default.
- W2949203528 cites W2070902236 @default.
- W2949203528 cites W2087528959 @default.
- W2949203528 cites W2107910552 @default.
- W2949203528 cites W2118699275 @default.
- W2949203528 cites W2137517768 @default.
- W2949203528 cites W2157893030 @default.
- W2949203528 cites W2193530801 @default.
- W2949203528 cites W2295882966 @default.
- W2949203528 cites W2949102816 @default.
- W2949203528 cites W2949683192 @default.
- W2949203528 cites W2590474552 @default.
- W2949203528 hasPublicationYear "2014" @default.
- W2949203528 type Work @default.
- W2949203528 sameAs 2949203528 @default.
- W2949203528 citedByCount "0" @default.
- W2949203528 crossrefType "posted-content" @default.
- W2949203528 hasAuthorship W2949203528A5023732514 @default.
- W2949203528 hasAuthorship W2949203528A5080366682 @default.
- W2949203528 hasAuthorship W2949203528A5082856719 @default.
- W2949203528 hasConcept C111472728 @default.
- W2949203528 hasConcept C138885662 @default.
- W2949203528 hasConcept C148230440 @default.
- W2949203528 hasConcept C153269930 @default.
- W2949203528 hasConcept C154690210 @default.
- W2949203528 hasConcept C167729594 @default.
- W2949203528 hasConcept C199360897 @default.
- W2949203528 hasConcept C2524010 @default.
- W2949203528 hasConcept C25810664 @default.
- W2949203528 hasConcept C2778029271 @default.
- W2949203528 hasConcept C33923547 @default.
- W2949203528 hasConcept C41008148 @default.
- W2949203528 hasConcept C80444323 @default.
- W2949203528 hasConceptScore W2949203528C111472728 @default.
- W2949203528 hasConceptScore W2949203528C138885662 @default.
- W2949203528 hasConceptScore W2949203528C148230440 @default.
- W2949203528 hasConceptScore W2949203528C153269930 @default.
- W2949203528 hasConceptScore W2949203528C154690210 @default.
- W2949203528 hasConceptScore W2949203528C167729594 @default.
- W2949203528 hasConceptScore W2949203528C199360897 @default.
- W2949203528 hasConceptScore W2949203528C2524010 @default.
- W2949203528 hasConceptScore W2949203528C25810664 @default.
- W2949203528 hasConceptScore W2949203528C2778029271 @default.
- W2949203528 hasConceptScore W2949203528C33923547 @default.
- W2949203528 hasConceptScore W2949203528C41008148 @default.
- W2949203528 hasConceptScore W2949203528C80444323 @default.
- W2949203528 hasLocation W29492035281 @default.
- W2949203528 hasOpenAccess W2949203528 @default.
- W2949203528 hasPrimaryLocation W29492035281 @default.
- W2949203528 hasRelatedWork W117572593 @default.
- W2949203528 hasRelatedWork W131276444 @default.
- W2949203528 hasRelatedWork W1481181327 @default.
- W2949203528 hasRelatedWork W1491423131 @default.
- W2949203528 hasRelatedWork W1502429247 @default.
- W2949203528 hasRelatedWork W1540215665 @default.
- W2949203528 hasRelatedWork W1667254790 @default.
- W2949203528 hasRelatedWork W1699565 @default.
- W2949203528 hasRelatedWork W1967958861 @default.
- W2949203528 hasRelatedWork W2008029457 @default.
- W2949203528 hasRelatedWork W203650460 @default.
- W2949203528 hasRelatedWork W2044118198 @default.
- W2949203528 hasRelatedWork W2049216635 @default.
- W2949203528 hasRelatedWork W2166101842 @default.
- W2949203528 hasRelatedWork W2381846203 @default.
- W2949203528 hasRelatedWork W2954934594 @default.
- W2949203528 hasRelatedWork W2963679208 @default.
- W2949203528 hasRelatedWork W54563689 @default.
- W2949203528 hasRelatedWork W631765764 @default.
- W2949203528 hasRelatedWork W74339535 @default.
- W2949203528 isParatext "false" @default.
- W2949203528 isRetracted "false" @default.
- W2949203528 magId "2949203528" @default.
- W2949203528 workType "article" @default.