FRINK Linked Data Fragments server

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

• W315160873 abstract "Towards combining rules and ontologies for the Semantic Web, nonmonotonic Description Logic Programs (dl-programs) have been proposed as a powerful formalism to couple nonmonotonic logic programming and Description Logic reasoning on a clear semantic basis. In this paper, we present cq-programs, which enhance dl-programs with conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics knowledge bases, as well as with disjunctive rules. The novel formalism has two advantages. First, it offers increased expressivity because it allows for (U)CQs in the bodies of the rules. The (U)CQs allow one to access unnamed individuals in the rules and they increase the expressivity of the formalism, as evident from the increase in complexity from NEXP to 2-EXP. And second, when implemented as a combination between a logic programming system and a DL-reasoner, this integration of rules and ontologies gives rise to strategies for optimizing calls to the DL-reasoner, by exploiting specific support for (U)CQs. To this end, we present equivalence preserving transformations which can be used for program rewriting, and we present respective generic rewriting algorithms. Experimental results for a cq-program prototype show that this can lead to significant performance improvements, and suggest that cq-programs and program rewriting provide a useful basis for dl- and cq-program optimization." @default.
• W315160873 created "2016-06-24" @default.
• W315160873 creator A5025569312 @default.
• W315160873 creator A5070729128 @default.
• W315160873 creator A5082178480 @default.
• W315160873 creator A5090016107 @default.
• W315160873 date "2007-01-01" @default.
• W315160873 modified "2023-09-23" @default.
• W315160873 title "Exploiting Conjunctive Queries in Description Logic Programs." @default.
• W315160873 cites W103815453 @default.
• W315160873 cites W11793264 @default.
• W315160873 cites W123858716 @default.
• W315160873 cites W1481181327 @default.
• W315160873 cites W1490430258 @default.
• W315160873 cites W1498546115 @default.
• W315160873 cites W1512228736 @default.
• W315160873 cites W1534633655 @default.
• W315160873 cites W1536189552 @default.
• W315160873 cites W1554551469 @default.
• W315160873 cites W1584248945 @default.
• W315160873 cites W1591758264 @default.
• W315160873 cites W1600046366 @default.
• W315160873 cites W161166268 @default.
• W315160873 cites W1670748022 @default.
• W315160873 cites W1727181597 @default.
• W315160873 cites W1952953333 @default.
• W315160873 cites W1969965298 @default.
• W315160873 cites W1982030536 @default.
• W315160873 cites W1990890881 @default.
• W315160873 cites W2065755686 @default.
• W315160873 cites W2105869173 @default.
• W315160873 cites W2107320454 @default.
• W315160873 cites W2115969784 @default.
• W315160873 cites W2118992936 @default.
• W315160873 cites W2123910684 @default.
• W315160873 cites W2141407569 @default.
• W315160873 cites W2175390224 @default.
• W315160873 cites W2611415697 @default.
• W315160873 cites W3107120519 @default.
• W315160873 cites W1791430325 @default.
• W315160873 hasPublicationYear "2007" @default.
• W315160873 type Work @default.
• W315160873 sameAs 315160873 @default.
• W315160873 citedByCount "0" @default.
• W315160873 crossrefType "journal-article" @default.
• W315160873 hasAuthorship W315160873A5025569312 @default.
• W315160873 hasAuthorship W315160873A5070729128 @default.
• W315160873 hasAuthorship W315160873A5082178480 @default.
• W315160873 hasAuthorship W315160873A5090016107 @default.
• W315160873 hasConcept C102993220 @default.
• W315160873 hasConcept C118615104 @default.
• W315160873 hasConcept C128838566 @default.
• W315160873 hasConcept C142362112 @default.
• W315160873 hasConcept C153349607 @default.
• W315160873 hasConcept C154690210 @default.
• W315160873 hasConcept C154945302 @default.
• W315160873 hasConcept C199360897 @default.
• W315160873 hasConcept C23123220 @default.
• W315160873 hasConcept C2780069185 @default.
• W315160873 hasConcept C33923547 @default.
• W315160873 hasConcept C41008148 @default.
• W315160873 hasConcept C558565934 @default.
• W315160873 hasConcept C5655090 @default.
• W315160873 hasConcept C65647387 @default.
• W315160873 hasConcept C73301696 @default.
• W315160873 hasConcept C80444323 @default.
• W315160873 hasConcept C9616225 @default.
• W315160873 hasConceptScore W315160873C102993220 @default.
• W315160873 hasConceptScore W315160873C118615104 @default.
• W315160873 hasConceptScore W315160873C128838566 @default.
• W315160873 hasConceptScore W315160873C142362112 @default.
• W315160873 hasConceptScore W315160873C153349607 @default.
• W315160873 hasConceptScore W315160873C154690210 @default.
• W315160873 hasConceptScore W315160873C154945302 @default.
• W315160873 hasConceptScore W315160873C199360897 @default.
• W315160873 hasConceptScore W315160873C23123220 @default.
• W315160873 hasConceptScore W315160873C2780069185 @default.
• W315160873 hasConceptScore W315160873C33923547 @default.
• W315160873 hasConceptScore W315160873C41008148 @default.
• W315160873 hasConceptScore W315160873C558565934 @default.
• W315160873 hasConceptScore W315160873C5655090 @default.
• W315160873 hasConceptScore W315160873C65647387 @default.
• W315160873 hasConceptScore W315160873C73301696 @default.
• W315160873 hasConceptScore W315160873C80444323 @default.
• W315160873 hasConceptScore W315160873C9616225 @default.
• W315160873 hasLocation W3151608731 @default.
• W315160873 hasOpenAccess W315160873 @default.
• W315160873 hasPrimaryLocation W3151608731 @default.
• W315160873 hasRelatedWork W108377115 @default.
• W315160873 hasRelatedWork W131276444 @default.
• W315160873 hasRelatedWork W1481181327 @default.
• W315160873 hasRelatedWork W1491423131 @default.
• W315160873 hasRelatedWork W1513261665 @default.
• W315160873 hasRelatedWork W1523208061 @default.
• W315160873 hasRelatedWork W1576014289 @default.
• W315160873 hasRelatedWork W1937160721 @default.
• W315160873 hasRelatedWork W2000353554 @default.
• W315160873 hasRelatedWork W2032023525 @default.
• W315160873 hasRelatedWork W2034589153 @default.
• W315160873 hasRelatedWork W2034738268 @default.

• next