Matches in SemOpenAlex for { <https://semopenalex.org/work/W1556955497> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1556955497 abstract "Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based algorithm for satisfiability checking w.r.t. forest logic programs, a decidable fragment of OASP, which has the forest model property. In this paper we introduce an optimized version of that algorithm achieved by means of a knowledge compilation technique. So-called unit completion structures, which are possible building blocks of a forest model, in the form of trees of depth 1, are computed in an initial step of the algorithm. Repeated computations are avoided by using these structures in a pattern-matching style when constructing a model. Furthermore we identify and discard redundant unit completion structures: a structure is redundant if there is another structure which can always replace the original structure in a forest model." @default.
- W1556955497 created "2016-06-24" @default.
- W1556955497 creator A5055516926 @default.
- W1556955497 creator A5057002563 @default.
- W1556955497 date "2010-11-25" @default.
- W1556955497 modified "2023-09-27" @default.
- W1556955497 title "An Optimization for Reasoning with Forest Logic Programs" @default.
- W1556955497 cites W1481181327 @default.
- W1556955497 cites W157414613 @default.
- W1556955497 cites W1672891595 @default.
- W1556955497 cites W2004758195 @default.
- W1556955497 cites W2100983017 @default.
- W1556955497 cites W2106354297 @default.
- W1556955497 cites W2116355238 @default.
- W1556955497 cites W2117897681 @default.
- W1556955497 cites W2124876285 @default.
- W1556955497 cites W2165433828 @default.
- W1556955497 cites W2169091052 @default.
- W1556955497 cites W2952727465 @default.
- W1556955497 cites W1791430325 @default.
- W1556955497 hasPublicationYear "2010" @default.
- W1556955497 type Work @default.
- W1556955497 sameAs 1556955497 @default.
- W1556955497 citedByCount "1" @default.
- W1556955497 countsByYear W15569554972012 @default.
- W1556955497 crossrefType "posted-content" @default.
- W1556955497 hasAuthorship W1556955497A5055516926 @default.
- W1556955497 hasAuthorship W1556955497A5057002563 @default.
- W1556955497 hasConcept C105795698 @default.
- W1556955497 hasConcept C110251889 @default.
- W1556955497 hasConcept C11413529 @default.
- W1556955497 hasConcept C128838566 @default.
- W1556955497 hasConcept C153269930 @default.
- W1556955497 hasConcept C162319229 @default.
- W1556955497 hasConcept C165064840 @default.
- W1556955497 hasConcept C168773769 @default.
- W1556955497 hasConcept C177264268 @default.
- W1556955497 hasConcept C192034797 @default.
- W1556955497 hasConcept C199360897 @default.
- W1556955497 hasConcept C2776235265 @default.
- W1556955497 hasConcept C33923547 @default.
- W1556955497 hasConcept C41008148 @default.
- W1556955497 hasConcept C6943359 @default.
- W1556955497 hasConcept C80444323 @default.
- W1556955497 hasConceptScore W1556955497C105795698 @default.
- W1556955497 hasConceptScore W1556955497C110251889 @default.
- W1556955497 hasConceptScore W1556955497C11413529 @default.
- W1556955497 hasConceptScore W1556955497C128838566 @default.
- W1556955497 hasConceptScore W1556955497C153269930 @default.
- W1556955497 hasConceptScore W1556955497C162319229 @default.
- W1556955497 hasConceptScore W1556955497C165064840 @default.
- W1556955497 hasConceptScore W1556955497C168773769 @default.
- W1556955497 hasConceptScore W1556955497C177264268 @default.
- W1556955497 hasConceptScore W1556955497C192034797 @default.
- W1556955497 hasConceptScore W1556955497C199360897 @default.
- W1556955497 hasConceptScore W1556955497C2776235265 @default.
- W1556955497 hasConceptScore W1556955497C33923547 @default.
- W1556955497 hasConceptScore W1556955497C41008148 @default.
- W1556955497 hasConceptScore W1556955497C6943359 @default.
- W1556955497 hasConceptScore W1556955497C80444323 @default.
- W1556955497 hasLocation W15569554971 @default.
- W1556955497 hasOpenAccess W1556955497 @default.
- W1556955497 hasPrimaryLocation W15569554971 @default.
- W1556955497 hasRelatedWork W142561622 @default.
- W1556955497 hasRelatedWork W1529374574 @default.
- W1556955497 hasRelatedWork W1538086449 @default.
- W1556955497 hasRelatedWork W1594482512 @default.
- W1556955497 hasRelatedWork W1710237860 @default.
- W1556955497 hasRelatedWork W2045163506 @default.
- W1556955497 hasRelatedWork W2154113949 @default.
- W1556955497 hasRelatedWork W2516911575 @default.
- W1556955497 hasRelatedWork W2541957295 @default.
- W1556955497 hasRelatedWork W2748702481 @default.
- W1556955497 hasRelatedWork W2795569536 @default.
- W1556955497 hasRelatedWork W2949875955 @default.
- W1556955497 hasRelatedWork W2952624498 @default.
- W1556955497 hasRelatedWork W2974806343 @default.
- W1556955497 hasRelatedWork W3005541213 @default.
- W1556955497 hasRelatedWork W3021453356 @default.
- W1556955497 hasRelatedWork W3095815909 @default.
- W1556955497 hasRelatedWork W3110117361 @default.
- W1556955497 hasRelatedWork W634201214 @default.
- W1556955497 hasRelatedWork W371640083 @default.
- W1556955497 isParatext "false" @default.
- W1556955497 isRetracted "false" @default.
- W1556955497 magId "1556955497" @default.
- W1556955497 workType "article" @default.