Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000353554> ?p ?o ?g. }
- W2000353554 endingPage "152" @default.
- W2000353554 startingPage "115" @default.
- W2000353554 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.
- W2000353554 created "2016-06-24" @default.
- W2000353554 creator A5025569312 @default.
- W2000353554 creator A5070729128 @default.
- W2000353554 creator A5082178480 @default.
- W2000353554 creator A5090016107 @default.
- W2000353554 date "2008-08-01" @default.
- W2000353554 modified "2023-09-30" @default.
- W2000353554 title "Exploiting conjunctive queries in description logic programs" @default.
- W2000353554 cites W1512228736 @default.
- W2000353554 cites W1554551469 @default.
- W2000353554 cites W1591768831 @default.
- W2000353554 cites W1638553575 @default.
- W2000353554 cites W1952953333 @default.
- W2000353554 cites W1969965298 @default.
- W2000353554 cites W1990890881 @default.
- W2000353554 cites W2065755686 @default.
- W2000353554 cites W2100983017 @default.
- W2000353554 cites W2115969784 @default.
- W2000353554 cites W2141407569 @default.
- W2000353554 cites W2611415697 @default.
- W2000353554 cites W3103254699 @default.
- W2000353554 cites W4367435839 @default.
- W2000353554 doi "https://doi.org/10.1007/s10472-009-9111-3" @default.
- W2000353554 hasPublicationYear "2008" @default.
- W2000353554 type Work @default.
- W2000353554 sameAs 2000353554 @default.
- W2000353554 citedByCount "19" @default.
- W2000353554 countsByYear W20003535542012 @default.
- W2000353554 countsByYear W20003535542013 @default.
- W2000353554 countsByYear W20003535542014 @default.
- W2000353554 countsByYear W20003535542015 @default.
- W2000353554 countsByYear W20003535542016 @default.
- W2000353554 countsByYear W20003535542017 @default.
- W2000353554 crossrefType "journal-article" @default.
- W2000353554 hasAuthorship W2000353554A5025569312 @default.
- W2000353554 hasAuthorship W2000353554A5070729128 @default.
- W2000353554 hasAuthorship W2000353554A5082178480 @default.
- W2000353554 hasAuthorship W2000353554A5090016107 @default.
- W2000353554 hasBestOaLocation W20003535542 @default.
- W2000353554 hasConcept C102993220 @default.
- W2000353554 hasConcept C118615104 @default.
- W2000353554 hasConcept C128838566 @default.
- W2000353554 hasConcept C142362112 @default.
- W2000353554 hasConcept C153349607 @default.
- W2000353554 hasConcept C154690210 @default.
- W2000353554 hasConcept C154945302 @default.
- W2000353554 hasConcept C161301231 @default.
- W2000353554 hasConcept C182620335 @default.
- W2000353554 hasConcept C199360897 @default.
- W2000353554 hasConcept C23123220 @default.
- W2000353554 hasConcept C2780069185 @default.
- W2000353554 hasConcept C33923547 @default.
- W2000353554 hasConcept C41008148 @default.
- W2000353554 hasConcept C558565934 @default.
- W2000353554 hasConcept C5655090 @default.
- W2000353554 hasConcept C65647387 @default.
- W2000353554 hasConcept C73301696 @default.
- W2000353554 hasConcept C80444323 @default.
- W2000353554 hasConcept C9616225 @default.
- W2000353554 hasConceptScore W2000353554C102993220 @default.
- W2000353554 hasConceptScore W2000353554C118615104 @default.
- W2000353554 hasConceptScore W2000353554C128838566 @default.
- W2000353554 hasConceptScore W2000353554C142362112 @default.
- W2000353554 hasConceptScore W2000353554C153349607 @default.
- W2000353554 hasConceptScore W2000353554C154690210 @default.
- W2000353554 hasConceptScore W2000353554C154945302 @default.
- W2000353554 hasConceptScore W2000353554C161301231 @default.
- W2000353554 hasConceptScore W2000353554C182620335 @default.
- W2000353554 hasConceptScore W2000353554C199360897 @default.
- W2000353554 hasConceptScore W2000353554C23123220 @default.
- W2000353554 hasConceptScore W2000353554C2780069185 @default.
- W2000353554 hasConceptScore W2000353554C33923547 @default.
- W2000353554 hasConceptScore W2000353554C41008148 @default.
- W2000353554 hasConceptScore W2000353554C558565934 @default.
- W2000353554 hasConceptScore W2000353554C5655090 @default.
- W2000353554 hasConceptScore W2000353554C65647387 @default.
- W2000353554 hasConceptScore W2000353554C73301696 @default.
- W2000353554 hasConceptScore W2000353554C80444323 @default.
- W2000353554 hasConceptScore W2000353554C9616225 @default.
- W2000353554 hasIssue "1-4" @default.
- W2000353554 hasLocation W20003535541 @default.
- W2000353554 hasLocation W20003535542 @default.
- W2000353554 hasOpenAccess W2000353554 @default.
- W2000353554 hasPrimaryLocation W20003535541 @default.
- W2000353554 hasRelatedWork W2016993683 @default.
- W2000353554 hasRelatedWork W2176973685 @default.
- W2000353554 hasRelatedWork W2381846203 @default.
- W2000353554 hasRelatedWork W2804740741 @default.
- W2000353554 hasRelatedWork W2949422477 @default.
- W2000353554 hasRelatedWork W2971818270 @default.
- W2000353554 hasRelatedWork W3127511143 @default.
- W2000353554 hasRelatedWork W3146685521 @default.
- W2000353554 hasRelatedWork W315160873 @default.
- W2000353554 hasRelatedWork W4323715042 @default.
- W2000353554 hasVolume "53" @default.
- W2000353554 isParatext "false" @default.
- W2000353554 isRetracted "false" @default.