Matches in SemOpenAlex for { <https://semopenalex.org/work/W3214770502> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3214770502 endingPage "21" @default.
- W3214770502 startingPage "1" @default.
- W3214770502 abstract "The aim of the present paper is to prove that concept validity and positive satisfiability with an empty ontology in the Fuzzy Description Logic IALE, under standard product semantics and with respect to quasi-witnessed models, are decidable. In our framework we are not considering reasoning tasks over ontologies. The proof of our result consists in reducing the problem to a finitary consequence problem in propositional product logic with Monteiro-Baaz delta operator, which is known to be decidable. Product FDL and first order logic are known not to enjoy the finite model property, so we cannot restrict to finite interpretations. Thus, in order to obtain our result, we need to codify infinite interpretations using a finite number of propositional formulas. Such result was conjectured in [10], but the proof given was subsequently found incorrect. In the present work an improved reduction algorithm is proposed and a proof of the same result is provided." @default.
- W3214770502 created "2021-12-06" @default.
- W3214770502 creator A5065693171 @default.
- W3214770502 creator A5086317940 @default.
- W3214770502 date "2022-09-01" @default.
- W3214770502 modified "2023-10-18" @default.
- W3214770502 title "On decidability of concept satisfiability in Description Logic with product semantics" @default.
- W3214770502 cites W179611734 @default.
- W3214770502 cites W1993301779 @default.
- W3214770502 cites W2004896390 @default.
- W3214770502 cites W2024065710 @default.
- W3214770502 cites W2033088754 @default.
- W3214770502 cites W2095768683 @default.
- W3214770502 cites W2106037588 @default.
- W3214770502 cites W2143075874 @default.
- W3214770502 cites W2171279236 @default.
- W3214770502 cites W2237602444 @default.
- W3214770502 cites W2770721991 @default.
- W3214770502 cites W4211007335 @default.
- W3214770502 doi "https://doi.org/10.1016/j.fss.2021.11.013" @default.
- W3214770502 hasPublicationYear "2022" @default.
- W3214770502 type Work @default.
- W3214770502 sameAs 3214770502 @default.
- W3214770502 citedByCount "0" @default.
- W3214770502 crossrefType "journal-article" @default.
- W3214770502 hasAuthorship W3214770502A5065693171 @default.
- W3214770502 hasAuthorship W3214770502A5086317940 @default.
- W3214770502 hasBestOaLocation W32147705022 @default.
- W3214770502 hasConcept C102993220 @default.
- W3214770502 hasConcept C118615104 @default.
- W3214770502 hasConcept C136119220 @default.
- W3214770502 hasConcept C14523651 @default.
- W3214770502 hasConcept C153269930 @default.
- W3214770502 hasConcept C154945302 @default.
- W3214770502 hasConcept C168773769 @default.
- W3214770502 hasConcept C1883856 @default.
- W3214770502 hasConcept C191222856 @default.
- W3214770502 hasConcept C202444582 @default.
- W3214770502 hasConcept C2524010 @default.
- W3214770502 hasConcept C2778003309 @default.
- W3214770502 hasConcept C33203268 @default.
- W3214770502 hasConcept C33923547 @default.
- W3214770502 hasConcept C41008148 @default.
- W3214770502 hasConcept C42011625 @default.
- W3214770502 hasConcept C58166 @default.
- W3214770502 hasConcept C6943359 @default.
- W3214770502 hasConcept C69562738 @default.
- W3214770502 hasConcept C80444323 @default.
- W3214770502 hasConcept C86602344 @default.
- W3214770502 hasConcept C90673727 @default.
- W3214770502 hasConceptScore W3214770502C102993220 @default.
- W3214770502 hasConceptScore W3214770502C118615104 @default.
- W3214770502 hasConceptScore W3214770502C136119220 @default.
- W3214770502 hasConceptScore W3214770502C14523651 @default.
- W3214770502 hasConceptScore W3214770502C153269930 @default.
- W3214770502 hasConceptScore W3214770502C154945302 @default.
- W3214770502 hasConceptScore W3214770502C168773769 @default.
- W3214770502 hasConceptScore W3214770502C1883856 @default.
- W3214770502 hasConceptScore W3214770502C191222856 @default.
- W3214770502 hasConceptScore W3214770502C202444582 @default.
- W3214770502 hasConceptScore W3214770502C2524010 @default.
- W3214770502 hasConceptScore W3214770502C2778003309 @default.
- W3214770502 hasConceptScore W3214770502C33203268 @default.
- W3214770502 hasConceptScore W3214770502C33923547 @default.
- W3214770502 hasConceptScore W3214770502C41008148 @default.
- W3214770502 hasConceptScore W3214770502C42011625 @default.
- W3214770502 hasConceptScore W3214770502C58166 @default.
- W3214770502 hasConceptScore W3214770502C6943359 @default.
- W3214770502 hasConceptScore W3214770502C69562738 @default.
- W3214770502 hasConceptScore W3214770502C80444323 @default.
- W3214770502 hasConceptScore W3214770502C86602344 @default.
- W3214770502 hasConceptScore W3214770502C90673727 @default.
- W3214770502 hasFunder F4320331009 @default.
- W3214770502 hasLocation W32147705021 @default.
- W3214770502 hasLocation W32147705022 @default.
- W3214770502 hasOpenAccess W3214770502 @default.
- W3214770502 hasPrimaryLocation W32147705021 @default.
- W3214770502 hasRelatedWork W1535158818 @default.
- W3214770502 hasRelatedWork W1991802248 @default.
- W3214770502 hasRelatedWork W2037122437 @default.
- W3214770502 hasRelatedWork W2095943001 @default.
- W3214770502 hasRelatedWork W2138558100 @default.
- W3214770502 hasRelatedWork W2140541040 @default.
- W3214770502 hasRelatedWork W2169158271 @default.
- W3214770502 hasRelatedWork W2335579560 @default.
- W3214770502 hasRelatedWork W3166175167 @default.
- W3214770502 hasRelatedWork W4288721303 @default.
- W3214770502 hasVolume "445" @default.
- W3214770502 isParatext "false" @default.
- W3214770502 isRetracted "false" @default.
- W3214770502 magId "3214770502" @default.
- W3214770502 workType "article" @default.