Matches in SemOpenAlex for { <https://semopenalex.org/work/W2247158440> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2247158440 endingPage "269" @default.
- W2247158440 startingPage "253" @default.
- W2247158440 abstract "For relational monadic formulas (the Löwenheim class) second-order quantifier elimination, which is closely related to computation of uniform interpolants, forgetting and projection, always succeeds. The decidability proof for this class by Behmann from 1922 explicitly proceeds by elimination with equivalence preserving formula rewriting. We reconstruct Behmann’s method, relate it to the modern DLS elimination algorithm and show some applications where the essential monadicity becomes apparent only at second sight. In particular, deciding $mathcal{ALCOQH}$ knowledge bases, elimination in DL-Lite knowledge bases, and the justification of the success of elimination methods for Sahlqvist formulas." @default.
- W2247158440 created "2016-06-24" @default.
- W2247158440 creator A5087233332 @default.
- W2247158440 date "2015-01-01" @default.
- W2247158440 modified "2023-09-25" @default.
- W2247158440 title "Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications" @default.
- W2247158440 cites W114225339 @default.
- W2247158440 cites W1501544729 @default.
- W2247158440 cites W1536469384 @default.
- W2247158440 cites W153664291 @default.
- W2247158440 cites W1549008998 @default.
- W2247158440 cites W1554551469 @default.
- W2247158440 cites W1556875958 @default.
- W2247158440 cites W1572523058 @default.
- W2247158440 cites W1572633878 @default.
- W2247158440 cites W1790807402 @default.
- W2247158440 cites W179428513 @default.
- W2247158440 cites W2043056708 @default.
- W2247158440 cites W2051878948 @default.
- W2247158440 cites W2057503265 @default.
- W2247158440 cites W2061497937 @default.
- W2247158440 cites W2080220005 @default.
- W2247158440 cites W2137862151 @default.
- W2247158440 cites W2155213226 @default.
- W2247158440 cites W2155437720 @default.
- W2247158440 cites W2183957662 @default.
- W2247158440 cites W2247158440 @default.
- W2247158440 cites W2913980179 @default.
- W2247158440 cites W2950450725 @default.
- W2247158440 cites W3101483322 @default.
- W2247158440 cites W41095567 @default.
- W2247158440 cites W4211144022 @default.
- W2247158440 cites W4229693731 @default.
- W2247158440 cites W1487144664 @default.
- W2247158440 doi "https://doi.org/10.1007/978-3-319-24312-2_18" @default.
- W2247158440 hasPublicationYear "2015" @default.
- W2247158440 type Work @default.
- W2247158440 sameAs 2247158440 @default.
- W2247158440 citedByCount "5" @default.
- W2247158440 countsByYear W22471584402015 @default.
- W2247158440 countsByYear W22471584402017 @default.
- W2247158440 countsByYear W22471584402019 @default.
- W2247158440 countsByYear W22471584402020 @default.
- W2247158440 crossrefType "book-chapter" @default.
- W2247158440 hasAuthorship W2247158440A5087233332 @default.
- W2247158440 hasConcept C11413529 @default.
- W2247158440 hasConcept C118615104 @default.
- W2247158440 hasConcept C136119220 @default.
- W2247158440 hasConcept C153269930 @default.
- W2247158440 hasConcept C154690210 @default.
- W2247158440 hasConcept C154945302 @default.
- W2247158440 hasConcept C199360897 @default.
- W2247158440 hasConcept C202444582 @default.
- W2247158440 hasConcept C2777212361 @default.
- W2247158440 hasConcept C2778523021 @default.
- W2247158440 hasConcept C2780069185 @default.
- W2247158440 hasConcept C32278780 @default.
- W2247158440 hasConcept C33923547 @default.
- W2247158440 hasConcept C41008148 @default.
- W2247158440 hasConcept C45374587 @default.
- W2247158440 hasConcept C57493831 @default.
- W2247158440 hasConceptScore W2247158440C11413529 @default.
- W2247158440 hasConceptScore W2247158440C118615104 @default.
- W2247158440 hasConceptScore W2247158440C136119220 @default.
- W2247158440 hasConceptScore W2247158440C153269930 @default.
- W2247158440 hasConceptScore W2247158440C154690210 @default.
- W2247158440 hasConceptScore W2247158440C154945302 @default.
- W2247158440 hasConceptScore W2247158440C199360897 @default.
- W2247158440 hasConceptScore W2247158440C202444582 @default.
- W2247158440 hasConceptScore W2247158440C2777212361 @default.
- W2247158440 hasConceptScore W2247158440C2778523021 @default.
- W2247158440 hasConceptScore W2247158440C2780069185 @default.
- W2247158440 hasConceptScore W2247158440C32278780 @default.
- W2247158440 hasConceptScore W2247158440C33923547 @default.
- W2247158440 hasConceptScore W2247158440C41008148 @default.
- W2247158440 hasConceptScore W2247158440C45374587 @default.
- W2247158440 hasConceptScore W2247158440C57493831 @default.
- W2247158440 hasLocation W22471584401 @default.
- W2247158440 hasOpenAccess W2247158440 @default.
- W2247158440 hasPrimaryLocation W22471584401 @default.
- W2247158440 hasRelatedWork W2170779139 @default.
- W2247158440 hasRelatedWork W2247158440 @default.
- W2247158440 hasRelatedWork W2777013789 @default.
- W2247158440 hasRelatedWork W3086629457 @default.
- W2247158440 hasRelatedWork W3135280923 @default.
- W2247158440 hasRelatedWork W3154348966 @default.
- W2247158440 hasRelatedWork W4229857370 @default.
- W2247158440 hasRelatedWork W4290930689 @default.
- W2247158440 hasRelatedWork W4297708379 @default.
- W2247158440 hasRelatedWork W2492451878 @default.
- W2247158440 isParatext "false" @default.
- W2247158440 isRetracted "false" @default.
- W2247158440 magId "2247158440" @default.
- W2247158440 workType "book-chapter" @default.