FRINK Linked Data Fragments server

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

• W2149784986 endingPage "922" @default.
• W2149784986 startingPage "885" @default.
• W2149784986 abstract "We study a general framework for query rewriting in the presence of an arbitrary first-order logic ontology over a database signature. The framework supports deciding the existence of a safe-range first-order equivalent reformulation of a query in terms of the database signature, and if so, it provides an effective approach to construct the reformulation based on interpolation using standard theorem proving techniques (e.g., tableau). Since the reformulation is a safe-range formula, it is effectively executable as an SQL query. At the end, we present a non-trivial application of the framework with ontologies in the very expressive ALCHOIQ description logic, by providing effective means to compute safe-range first-order exact reformulations of queries." @default.
• W2149784986 created "2016-06-24" @default.
• W2149784986 creator A5014745532 @default.
• W2149784986 creator A5019052688 @default.
• W2149784986 creator A5091674970 @default.
• W2149784986 date "2013-12-16" @default.
• W2149784986 modified "2023-10-16" @default.
• W2149784986 title "Exact Query Reformulation over Databases with First-order and Description Logics Ontologies" @default.
• W2149784986 cites W106929792 @default.
• W2149784986 cites W1538382614 @default.
• W2149784986 cites W1554618854 @default.
• W2149784986 cites W1558832481 @default.
• W2149784986 cites W1579509162 @default.
• W2149784986 cites W1904378708 @default.
• W2149784986 cites W1940978291 @default.
• W2149784986 cites W195752099 @default.
• W2149784986 cites W2012545876 @default.
• W2149784986 cites W2063770561 @default.
• W2149784986 cites W2066684585 @default.
• W2149784986 cites W2083882774 @default.
• W2149784986 cites W2085489403 @default.
• W2149784986 cites W2096375618 @default.
• W2149784986 cites W2104783885 @default.
• W2149784986 cites W2114633883 @default.
• W2149784986 cites W2123817118 @default.
• W2149784986 cites W2136210718 @default.
• W2149784986 cites W2152191782 @default.
• W2149784986 cites W2164475467 @default.
• W2149784986 cites W2397508130 @default.
• W2149784986 cites W43155751 @default.
• W2149784986 doi "https://doi.org/10.1613/jair.4058" @default.
• W2149784986 hasPublicationYear "2013" @default.
• W2149784986 type Work @default.
• W2149784986 sameAs 2149784986 @default.
• W2149784986 citedByCount "13" @default.
• W2149784986 countsByYear W21497849862014 @default.
• W2149784986 countsByYear W21497849862015 @default.
• W2149784986 countsByYear W21497849862016 @default.
• W2149784986 countsByYear W21497849862017 @default.
• W2149784986 countsByYear W21497849862018 @default.
• W2149784986 countsByYear W21497849862019 @default.
• W2149784986 countsByYear W21497849862023 @default.
• W2149784986 crossrefType "journal-article" @default.
• W2149784986 hasAuthorship W2149784986A5014745532 @default.
• W2149784986 hasAuthorship W2149784986A5019052688 @default.
• W2149784986 hasAuthorship W2149784986A5091674970 @default.
• W2149784986 hasBestOaLocation W21497849861 @default.
• W2149784986 hasConcept C102993220 @default.
• W2149784986 hasConcept C111472728 @default.
• W2149784986 hasConcept C136736807 @default.
• W2149784986 hasConcept C138885662 @default.
• W2149784986 hasConcept C154690210 @default.
• W2149784986 hasConcept C157692150 @default.
• W2149784986 hasConcept C159985019 @default.
• W2149784986 hasConcept C160145156 @default.
• W2149784986 hasConcept C164120249 @default.
• W2149784986 hasConcept C172722865 @default.
• W2149784986 hasConcept C192028432 @default.
• W2149784986 hasConcept C192562407 @default.
• W2149784986 hasConcept C192939062 @default.
• W2149784986 hasConcept C194222762 @default.
• W2149784986 hasConcept C199360897 @default.
• W2149784986 hasConcept C204323151 @default.
• W2149784986 hasConcept C23123220 @default.
• W2149784986 hasConcept C2524010 @default.
• W2149784986 hasConcept C25810664 @default.
• W2149784986 hasConcept C2779696439 @default.
• W2149784986 hasConcept C33923547 @default.
• W2149784986 hasConcept C41008148 @default.
• W2149784986 hasConcept C510870499 @default.
• W2149784986 hasConcept C5655090 @default.
• W2149784986 hasConcept C65647387 @default.
• W2149784986 hasConcept C77088390 @default.
• W2149784986 hasConcept C80444323 @default.
• W2149784986 hasConcept C97854310 @default.
• W2149784986 hasConceptScore W2149784986C102993220 @default.
• W2149784986 hasConceptScore W2149784986C111472728 @default.
• W2149784986 hasConceptScore W2149784986C136736807 @default.
• W2149784986 hasConceptScore W2149784986C138885662 @default.
• W2149784986 hasConceptScore W2149784986C154690210 @default.
• W2149784986 hasConceptScore W2149784986C157692150 @default.
• W2149784986 hasConceptScore W2149784986C159985019 @default.
• W2149784986 hasConceptScore W2149784986C160145156 @default.
• W2149784986 hasConceptScore W2149784986C164120249 @default.
• W2149784986 hasConceptScore W2149784986C172722865 @default.
• W2149784986 hasConceptScore W2149784986C192028432 @default.
• W2149784986 hasConceptScore W2149784986C192562407 @default.
• W2149784986 hasConceptScore W2149784986C192939062 @default.
• W2149784986 hasConceptScore W2149784986C194222762 @default.
• W2149784986 hasConceptScore W2149784986C199360897 @default.
• W2149784986 hasConceptScore W2149784986C204323151 @default.
• W2149784986 hasConceptScore W2149784986C23123220 @default.
• W2149784986 hasConceptScore W2149784986C2524010 @default.
• W2149784986 hasConceptScore W2149784986C25810664 @default.
• W2149784986 hasConceptScore W2149784986C2779696439 @default.
• W2149784986 hasConceptScore W2149784986C33923547 @default.
• W2149784986 hasConceptScore W2149784986C41008148 @default.
• W2149784986 hasConceptScore W2149784986C510870499 @default.

• next