Matches in SemOpenAlex for { <https://semopenalex.org/work/W4298480980> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4298480980 abstract "In the last few years there has been a large effort for analysing the computational properties of reasoning in fuzzy Description Logics. This has led to a number of papers studying the complexity of these logics, depending on their chosen semantics. Surprisingly, despite being arguably the simplest form of fuzzy semantics, not much is known about the complexity of reasoning in fuzzy DLs w.r.t. witnessed models over the Gödel t-norm. We show that in the logic G-IALC, reasoning cannot be restricted to finitely valued models in general. Despite this negative result, we also show that all the standard reasoning problems can be solved in this logic in exponential time, matching the complexity of reasoning in classical ALC." @default.
- W4298480980 created "2022-10-02" @default.
- W4298480980 creator A5001832226 @default.
- W4298480980 creator A5081904403 @default.
- W4298480980 creator A5087109002 @default.
- W4298480980 date "2013-01-01" @default.
- W4298480980 modified "2023-10-16" @default.
- W4298480980 title "Gödel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property" @default.
- W4298480980 doi "https://doi.org/10.25368/2022.199" @default.
- W4298480980 hasPublicationYear "2013" @default.
- W4298480980 type Work @default.
- W4298480980 citedByCount "0" @default.
- W4298480980 crossrefType "report" @default.
- W4298480980 hasAuthorship W4298480980A5001832226 @default.
- W4298480980 hasAuthorship W4298480980A5081904403 @default.
- W4298480980 hasAuthorship W4298480980A5087109002 @default.
- W4298480980 hasConcept C102993220 @default.
- W4298480980 hasConcept C111472728 @default.
- W4298480980 hasConcept C11413529 @default.
- W4298480980 hasConcept C118615104 @default.
- W4298480980 hasConcept C138885662 @default.
- W4298480980 hasConcept C153269930 @default.
- W4298480980 hasConcept C154945302 @default.
- W4298480980 hasConcept C179799912 @default.
- W4298480980 hasConcept C184337299 @default.
- W4298480980 hasConcept C1883856 @default.
- W4298480980 hasConcept C189950617 @default.
- W4298480980 hasConcept C199360897 @default.
- W4298480980 hasConcept C33923547 @default.
- W4298480980 hasConcept C41008148 @default.
- W4298480980 hasConcept C42011625 @default.
- W4298480980 hasConcept C58166 @default.
- W4298480980 hasConcept C80444323 @default.
- W4298480980 hasConcept C86602344 @default.
- W4298480980 hasConcept C98224912 @default.
- W4298480980 hasConceptScore W4298480980C102993220 @default.
- W4298480980 hasConceptScore W4298480980C111472728 @default.
- W4298480980 hasConceptScore W4298480980C11413529 @default.
- W4298480980 hasConceptScore W4298480980C118615104 @default.
- W4298480980 hasConceptScore W4298480980C138885662 @default.
- W4298480980 hasConceptScore W4298480980C153269930 @default.
- W4298480980 hasConceptScore W4298480980C154945302 @default.
- W4298480980 hasConceptScore W4298480980C179799912 @default.
- W4298480980 hasConceptScore W4298480980C184337299 @default.
- W4298480980 hasConceptScore W4298480980C1883856 @default.
- W4298480980 hasConceptScore W4298480980C189950617 @default.
- W4298480980 hasConceptScore W4298480980C199360897 @default.
- W4298480980 hasConceptScore W4298480980C33923547 @default.
- W4298480980 hasConceptScore W4298480980C41008148 @default.
- W4298480980 hasConceptScore W4298480980C42011625 @default.
- W4298480980 hasConceptScore W4298480980C58166 @default.
- W4298480980 hasConceptScore W4298480980C80444323 @default.
- W4298480980 hasConceptScore W4298480980C86602344 @default.
- W4298480980 hasConceptScore W4298480980C98224912 @default.
- W4298480980 hasLocation W42984809801 @default.
- W4298480980 hasOpenAccess W4298480980 @default.
- W4298480980 hasPrimaryLocation W42984809801 @default.
- W4298480980 hasRelatedWork W119971517 @default.
- W4298480980 hasRelatedWork W1554830210 @default.
- W4298480980 hasRelatedWork W2286419476 @default.
- W4298480980 hasRelatedWork W2391732239 @default.
- W4298480980 hasRelatedWork W2399028252 @default.
- W4298480980 hasRelatedWork W2917304213 @default.
- W4298480980 hasRelatedWork W2920640004 @default.
- W4298480980 hasRelatedWork W3105686525 @default.
- W4298480980 hasRelatedWork W4226268533 @default.
- W4298480980 hasRelatedWork W1578365337 @default.
- W4298480980 isParatext "false" @default.
- W4298480980 isRetracted "false" @default.
- W4298480980 workType "report" @default.