FRINK Linked Data Fragments server

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

• W2954282427 abstract "The goal of this chapter is to survey the formalisation of a precise and uniform integration between first-order ontologies, first-order queries, and classical relational databases (DBoxes) We include here non-standard variants of first-order logic, such as the one with active domain semantics and standard name assumption, used typically in database theory. We present a general framework for the rewriting of a domain independent first-order query in presence of an arbitrary domain independent first-order logic ontology over a signature extending a database signature with additional predicates. The framework supports deciding the existence of a logically equivalent and – given the ontology – safe-range first-order reformulation (called exact reformulation) of a domain independent first-order query in terms of the database signature, and if such a reformulation exists, it provides an effective approach to construct the reformulation based on interpolation using standard theorem proving techniques (i.e., tableau). Since the reformulation is a safe-range formula, it is effectively executable as an SQL query. We finally present an application of the framework with the very expressive (mathcal {ALCHOI}) and (mathcal {SHOQ}) description logics ontologies, by providing effective means to compute safe-range first-order exact reformulations of queries." @default.
• W2954282427 created "2019-07-12" @default.
• W2954282427 creator A5019052688 @default.
• W2954282427 creator A5091674970 @default.
• W2954282427 date "2019-01-01" @default.
• W2954282427 modified "2023-09-26" @default.
• W2954282427 title "Effective Query Answering with Ontologies and DBoxes" @default.
• W2954282427 cites W1554618854 @default.
• W2954282427 cites W1904378708 @default.
• W2954282427 cites W195752099 @default.
• W2954282427 cites W2012545876 @default.
• W2954282427 cites W2019933064 @default.
• W2954282427 cites W2063770561 @default.
• W2954282427 cites W2066684585 @default.
• W2954282427 cites W2083882774 @default.
• W2954282427 cites W2085489403 @default.
• W2954282427 cites W2096375618 @default.
• W2954282427 cites W2104783885 @default.
• W2954282427 cites W2114633883 @default.
• W2954282427 cites W2118707602 @default.
• W2954282427 cites W2123817118 @default.
• W2954282427 cites W2136210718 @default.
• W2954282427 cites W2149784986 @default.
• W2954282427 cites W2152191782 @default.
• W2954282427 cites W2164475467 @default.
• W2954282427 cites W2269712213 @default.
• W2954282427 cites W2620337050 @default.
• W2954282427 cites W2914576081 @default.
• W2954282427 cites W3101483322 @default.
• W2954282427 cites W43155751 @default.
• W2954282427 doi "https://doi.org/10.1007/978-3-030-22102-7_14" @default.
• W2954282427 hasPublicationYear "2019" @default.
• W2954282427 type Work @default.
• W2954282427 sameAs 2954282427 @default.
• W2954282427 citedByCount "0" @default.
• W2954282427 crossrefType "book-chapter" @default.
• W2954282427 hasAuthorship W2954282427A5019052688 @default.
• W2954282427 hasAuthorship W2954282427A5091674970 @default.
• W2954282427 hasConcept C102993220 @default.
• W2954282427 hasConcept C111472728 @default.
• W2954282427 hasConcept C134306372 @default.
• W2954282427 hasConcept C138885662 @default.
• W2954282427 hasConcept C154690210 @default.
• W2954282427 hasConcept C159985019 @default.
• W2954282427 hasConcept C160145156 @default.
• W2954282427 hasConcept C184337299 @default.
• W2954282427 hasConcept C192028432 @default.
• W2954282427 hasConcept C192562407 @default.
• W2954282427 hasConcept C199360897 @default.
• W2954282427 hasConcept C204323151 @default.
• W2954282427 hasConcept C23123220 @default.
• W2954282427 hasConcept C2524010 @default.
• W2954282427 hasConcept C25810664 @default.
• W2954282427 hasConcept C2779696439 @default.
• W2954282427 hasConcept C33923547 @default.
• W2954282427 hasConcept C36503486 @default.
• W2954282427 hasConcept C41008148 @default.
• W2954282427 hasConcept C510870499 @default.
• W2954282427 hasConcept C5655090 @default.
• W2954282427 hasConcept C65647387 @default.
• W2954282427 hasConcept C77088390 @default.
• W2954282427 hasConcept C80444323 @default.
• W2954282427 hasConceptScore W2954282427C102993220 @default.
• W2954282427 hasConceptScore W2954282427C111472728 @default.
• W2954282427 hasConceptScore W2954282427C134306372 @default.
• W2954282427 hasConceptScore W2954282427C138885662 @default.
• W2954282427 hasConceptScore W2954282427C154690210 @default.
• W2954282427 hasConceptScore W2954282427C159985019 @default.
• W2954282427 hasConceptScore W2954282427C160145156 @default.
• W2954282427 hasConceptScore W2954282427C184337299 @default.
• W2954282427 hasConceptScore W2954282427C192028432 @default.
• W2954282427 hasConceptScore W2954282427C192562407 @default.
• W2954282427 hasConceptScore W2954282427C199360897 @default.
• W2954282427 hasConceptScore W2954282427C204323151 @default.
• W2954282427 hasConceptScore W2954282427C23123220 @default.
• W2954282427 hasConceptScore W2954282427C2524010 @default.
• W2954282427 hasConceptScore W2954282427C25810664 @default.
• W2954282427 hasConceptScore W2954282427C2779696439 @default.
• W2954282427 hasConceptScore W2954282427C33923547 @default.
• W2954282427 hasConceptScore W2954282427C36503486 @default.
• W2954282427 hasConceptScore W2954282427C41008148 @default.
• W2954282427 hasConceptScore W2954282427C510870499 @default.
• W2954282427 hasConceptScore W2954282427C5655090 @default.
• W2954282427 hasConceptScore W2954282427C65647387 @default.
• W2954282427 hasConceptScore W2954282427C77088390 @default.
• W2954282427 hasConceptScore W2954282427C80444323 @default.
• W2954282427 hasLocation W29542824271 @default.
• W2954282427 hasOpenAccess W2954282427 @default.
• W2954282427 hasPrimaryLocation W29542824271 @default.
• W2954282427 hasRelatedWork W126192097 @default.
• W2954282427 hasRelatedWork W1563489395 @default.
• W2954282427 hasRelatedWork W1824415789 @default.
• W2954282427 hasRelatedWork W2149784986 @default.
• W2954282427 hasRelatedWork W2153460445 @default.
• W2954282427 hasRelatedWork W2396040376 @default.
• W2954282427 hasRelatedWork W2397508130 @default.
• W2954282427 hasRelatedWork W2766216809 @default.
• W2954282427 hasRelatedWork W2954282427 @default.
• W2954282427 hasRelatedWork W206604447 @default.
• W2954282427 isParatext "false" @default.

• next