Matches in SemOpenAlex for { <https://semopenalex.org/work/W945404250> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W945404250 endingPage "43" @default.
- W945404250 startingPage "22" @default.
- W945404250 abstract "Automata-based methods have been successfully employed to prove tight complexity bounds for reasoning in many classical logics, and in particular in Description Logics (DLs). Very recently, the ideas behind these automata-based approaches were adapted for reasoning also in fuzzy extensions of DLs, with semantics based either on finitely many truth degrees or the Gödel t-norm over the interval [0,1]. Clearly, due to the different semantics in these logics, the construction of the automata for fuzzy DLs is more involved than for the classical case. In this paper we provide an overview of the existing automata-based methods for reasoning in fuzzy DLs, with a special emphasis on explaining the ideas and the requirements behind them. The methods vary from deciding emptiness of automata on infinite trees to inclusions between automata on finite words. Overall, we provide a comprehensive perspective on the automata-based methods currently in use, and the many complexity results obtained through them." @default.
- W945404250 created "2016-06-24" @default.
- W945404250 creator A5072323649 @default.
- W945404250 creator A5087109002 @default.
- W945404250 date "2016-09-01" @default.
- W945404250 modified "2023-09-24" @default.
- W945404250 title "Reasoning in Fuzzy Description Logics using Automata" @default.
- W945404250 cites W1971937407 @default.
- W945404250 cites W1996407745 @default.
- W945404250 cites W201187368 @default.
- W945404250 cites W2015820262 @default.
- W945404250 cites W2033071128 @default.
- W945404250 cites W2033088754 @default.
- W945404250 cites W2040460357 @default.
- W945404250 cites W2046213250 @default.
- W945404250 cites W2048742358 @default.
- W945404250 cites W2059493921 @default.
- W945404250 cites W2092106837 @default.
- W945404250 cites W2093797880 @default.
- W945404250 cites W2095768683 @default.
- W945404250 cites W2096504793 @default.
- W945404250 cites W2106037588 @default.
- W945404250 cites W2108990592 @default.
- W945404250 cites W2111351089 @default.
- W945404250 cites W2125067149 @default.
- W945404250 cites W2152774062 @default.
- W945404250 cites W2167289276 @default.
- W945404250 cites W2171279236 @default.
- W945404250 cites W4211007335 @default.
- W945404250 cites W4234672050 @default.
- W945404250 cites W43554226 @default.
- W945404250 doi "https://doi.org/10.1016/j.fss.2015.07.013" @default.
- W945404250 hasPublicationYear "2016" @default.
- W945404250 type Work @default.
- W945404250 sameAs 945404250 @default.
- W945404250 citedByCount "6" @default.
- W945404250 countsByYear W9454042502016 @default.
- W945404250 countsByYear W9454042502017 @default.
- W945404250 countsByYear W9454042502019 @default.
- W945404250 countsByYear W9454042502022 @default.
- W945404250 countsByYear W9454042502023 @default.
- W945404250 crossrefType "journal-article" @default.
- W945404250 hasAuthorship W945404250A5072323649 @default.
- W945404250 hasAuthorship W945404250A5087109002 @default.
- W945404250 hasBestOaLocation W9454042502 @default.
- W945404250 hasConcept C112505250 @default.
- W945404250 hasConcept C11413529 @default.
- W945404250 hasConcept C116248031 @default.
- W945404250 hasConcept C154945302 @default.
- W945404250 hasConcept C1883856 @default.
- W945404250 hasConcept C33923547 @default.
- W945404250 hasConcept C41008148 @default.
- W945404250 hasConcept C42011625 @default.
- W945404250 hasConcept C58166 @default.
- W945404250 hasConcept C80444323 @default.
- W945404250 hasConcept C86602344 @default.
- W945404250 hasConceptScore W945404250C112505250 @default.
- W945404250 hasConceptScore W945404250C11413529 @default.
- W945404250 hasConceptScore W945404250C116248031 @default.
- W945404250 hasConceptScore W945404250C154945302 @default.
- W945404250 hasConceptScore W945404250C1883856 @default.
- W945404250 hasConceptScore W945404250C33923547 @default.
- W945404250 hasConceptScore W945404250C41008148 @default.
- W945404250 hasConceptScore W945404250C42011625 @default.
- W945404250 hasConceptScore W945404250C58166 @default.
- W945404250 hasConceptScore W945404250C80444323 @default.
- W945404250 hasConceptScore W945404250C86602344 @default.
- W945404250 hasFunder F4320320879 @default.
- W945404250 hasLocation W9454042501 @default.
- W945404250 hasLocation W9454042502 @default.
- W945404250 hasOpenAccess W945404250 @default.
- W945404250 hasPrimaryLocation W9454042501 @default.
- W945404250 hasRelatedWork W1979390054 @default.
- W945404250 hasRelatedWork W2050696740 @default.
- W945404250 hasRelatedWork W2133073401 @default.
- W945404250 hasRelatedWork W2141628061 @default.
- W945404250 hasRelatedWork W2158904250 @default.
- W945404250 hasRelatedWork W2580138440 @default.
- W945404250 hasRelatedWork W2608141485 @default.
- W945404250 hasRelatedWork W2760602726 @default.
- W945404250 hasRelatedWork W2959514698 @default.
- W945404250 hasRelatedWork W2963175890 @default.
- W945404250 hasVolume "298" @default.
- W945404250 isParatext "false" @default.
- W945404250 isRetracted "false" @default.
- W945404250 magId "945404250" @default.
- W945404250 workType "article" @default.