FRINK Linked Data Fragments server

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

• W2008135441 endingPage "85" @default.
• W2008135441 startingPage "47" @default.
• W2008135441 abstract "Answering conjunctive queries (CQs) has been recognized as an important task for the widening use of Description Logics (DLs) in a number of applications. The problem has been studied by many authors, who developed a number of different techniques for its solution. We present a novel approach to CQ answering that is based on knots, which are schematic trees of depth at most one that can be used to represent the terminological information represented in a TBox. They allow us to obtain an algorithm for the DL SH that has some advantages with respect to previous approaches, proceeding as follows. We build a compilation of an input knowledge base using knots, and then use this compilation to answer CQs in two stages. In the first stage we employ knots to rewrite the input query into a set of queries (a union of CQs, short UCQ) that incorporate the terminological constraints. In the next stage we answer the query over the full knowledge base, by answering the constructed UCQ over a set of relational structures that are obtained by enriching the assertional part of the knowledge base. Since in the first stage we process the query and the taxonomy, and the assertional part of the knowledge base is only processed in the second stage, parts of the computation can be reused; in particular, answering a query over changing assertional data amounts to re-executing the last step. Notably, the algorithm handles CQs with distinguished (i.e., output) variables in a direct manner and scales down nicely: while double exponential in general, it runs in single exponential time under various restrictions on transitive roles in queries, including the case of CQ answering in the DL ALCH. This is worst-case optimal, given that CQ answering is 2ExpTime-complete for SH and ExpTime-complete already for the core expressive DL ALC. Furthermore, the last step is amenable to a realization in disjunctive Datalog, which yields a worst-case optimal implementation under data complexity." @default.
• W2008135441 created "2016-06-24" @default.
• W2008135441 creator A5079813467 @default.
• W2008135441 creator A5082178480 @default.
• W2008135441 creator A5082472539 @default.
• W2008135441 date "2012-01-01" @default.
• W2008135441 modified "2023-09-30" @default.
• W2008135441 title "Conjunctive query answering in the description logic <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML altimg=si1.gif overflow=scroll><mml:mi mathvariant=script>SH</mml:mi></mml:math> using knots" @default.
• W2008135441 cites W1529963680 @default.
• W2008135441 cites W1576582577 @default.
• W2008135441 cites W1976127067 @default.
• W2008135441 cites W1990890881 @default.
• W2008135441 cites W1992673035 @default.
• W2008135441 cites W2012628629 @default.
• W2008135441 cites W2051741066 @default.
• W2008135441 cites W2059572645 @default.
• W2008135441 cites W2066949643 @default.
• W2008135441 cites W2080057244 @default.
• W2008135441 cites W2107910552 @default.
• W2008135441 cites W2131566236 @default.
• W2008135441 cites W2135109168 @default.
• W2008135441 cites W2139315672 @default.
• W2008135441 cites W2141591281 @default.
• W2008135441 cites W2295882966 @default.
• W2008135441 cites W3103254699 @default.
• W2008135441 cites W3144023827 @default.
• W2008135441 doi "https://doi.org/10.1016/j.jcss.2011.02.012" @default.
• W2008135441 hasPublicationYear "2012" @default.
• W2008135441 type Work @default.
• W2008135441 sameAs 2008135441 @default.
• W2008135441 citedByCount "21" @default.
• W2008135441 countsByYear W20081354412012 @default.
• W2008135441 countsByYear W20081354412013 @default.
• W2008135441 countsByYear W20081354412014 @default.
• W2008135441 countsByYear W20081354412015 @default.
• W2008135441 countsByYear W20081354412016 @default.
• W2008135441 countsByYear W20081354412019 @default.
• W2008135441 countsByYear W20081354412020 @default.
• W2008135441 countsByYear W20081354412021 @default.
• W2008135441 countsByYear W20081354412022 @default.
• W2008135441 crossrefType "journal-article" @default.
• W2008135441 hasAuthorship W2008135441A5079813467 @default.
• W2008135441 hasAuthorship W2008135441A5082178480 @default.
• W2008135441 hasAuthorship W2008135441A5082472539 @default.
• W2008135441 hasBestOaLocation W20081354411 @default.
• W2008135441 hasConcept C102993220 @default.
• W2008135441 hasConcept C11413529 @default.
• W2008135441 hasConcept C127413603 @default.
• W2008135441 hasConcept C134306372 @default.
• W2008135441 hasConcept C154945302 @default.
• W2008135441 hasConcept C177264268 @default.
• W2008135441 hasConcept C192028432 @default.
• W2008135441 hasConcept C192328126 @default.
• W2008135441 hasConcept C199360897 @default.
• W2008135441 hasConcept C23123220 @default.
• W2008135441 hasConcept C24326235 @default.
• W2008135441 hasConcept C33923547 @default.
• W2008135441 hasConcept C41008148 @default.
• W2008135441 hasConcept C42058472 @default.
• W2008135441 hasConcept C44291984 @default.
• W2008135441 hasConcept C4554734 @default.
• W2008135441 hasConcept C5655090 @default.
• W2008135441 hasConcept C65647387 @default.
• W2008135441 hasConcept C80444323 @default.
• W2008135441 hasConceptScore W2008135441C102993220 @default.
• W2008135441 hasConceptScore W2008135441C11413529 @default.
• W2008135441 hasConceptScore W2008135441C127413603 @default.
• W2008135441 hasConceptScore W2008135441C134306372 @default.
• W2008135441 hasConceptScore W2008135441C154945302 @default.
• W2008135441 hasConceptScore W2008135441C177264268 @default.
• W2008135441 hasConceptScore W2008135441C192028432 @default.
• W2008135441 hasConceptScore W2008135441C192328126 @default.
• W2008135441 hasConceptScore W2008135441C199360897 @default.
• W2008135441 hasConceptScore W2008135441C23123220 @default.
• W2008135441 hasConceptScore W2008135441C24326235 @default.
• W2008135441 hasConceptScore W2008135441C33923547 @default.
• W2008135441 hasConceptScore W2008135441C41008148 @default.
• W2008135441 hasConceptScore W2008135441C42058472 @default.
• W2008135441 hasConceptScore W2008135441C44291984 @default.
• W2008135441 hasConceptScore W2008135441C4554734 @default.
• W2008135441 hasConceptScore W2008135441C5655090 @default.
• W2008135441 hasConceptScore W2008135441C65647387 @default.
• W2008135441 hasConceptScore W2008135441C80444323 @default.
• W2008135441 hasIssue "1" @default.
• W2008135441 hasLocation W20081354411 @default.
• W2008135441 hasLocation W20081354412 @default.
• W2008135441 hasOpenAccess W2008135441 @default.
• W2008135441 hasPrimaryLocation W20081354411 @default.
• W2008135441 hasRelatedWork W1490939886 @default.
• W2008135441 hasRelatedWork W1509799780 @default.
• W2008135441 hasRelatedWork W1589560471 @default.
• W2008135441 hasRelatedWork W2008135441 @default.
• W2008135441 hasRelatedWork W2104356397 @default.
• W2008135441 hasRelatedWork W21465768 @default.
• W2008135441 hasRelatedWork W2160754425 @default.
• W2008135441 hasRelatedWork W2378672811 @default.
• W2008135441 hasRelatedWork W2766216809 @default.
• W2008135441 hasRelatedWork W58151678 @default.

• next