Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567809829> ?p ?o ?g. }
- W1567809829 abstract "Description Logic is a formalism that is widely used in the framework of Knowledge Representation and Reasoning in Artificial Intelligence. They are based on Classical Logic in order to guarantee the correctness of the inferences on the required reasoning tasks. It is indeed a fragment of First Order Predicate Logic whose language is strictly related to the one of Modal Logic. Fuzzy Description Logic is the generalization of the classical Description Logic framework thought for reasoning with vague concepts that often arise in practical applications. Fuzzy Description Logic has been investigated since the last decade of the 20th century. During the first fifteen years of investigation their semantics has been based on Fuzzy Set Theory. A semantics based on Fuzzy Set Theory, however, has been shown to have some counter-intuitive behavior, due to the fact that the truth function for the implication used is not the residuum of the truth function for the conjunction. In the meanwhile, Fuzzy Logic has been given a formal framework based on Many-valued Logic. This framework, called Mathematical Fuzzy Logic, has been proposed has the kernel of a mathematically well founded Fuzzy Logic. In this dissertation we propose a Fuzzy Description Logic whose semantics is based on Mathematical Fuzzy Logic as its mathematically well settled kernel. To this end we provide a novel notation that is strictly related to the notation that is used in Mathematical Fuzzy Logic. After having settled the notation, we investigate the hierarchies of description languages over different-“t” norm based semantics and the reductions that can be performed between reasoning tasks. The new framework that we establish gives us the possibility to systematically investigate the relation of Fuzzy Description Logic to Fuzzy First Order Logic and Fuzzy Modal Logic. Next we provide some (un)decidability results for the case of infinite “t”-norm based semantics with or without knowledge bases. Finally we investigate the complexity bounds of reasoning tasks without knowledge bases for basic Fuzzy Description Logics over finite “t”-norms." @default.
- W1567809829 created "2016-06-24" @default.
- W1567809829 creator A5065693171 @default.
- W1567809829 date "2012-10-16" @default.
- W1567809829 modified "2023-09-23" @default.
- W1567809829 title "Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view" @default.
- W1567809829 cites W108171241 @default.
- W1567809829 cites W114646640 @default.
- W1567809829 cites W130537534 @default.
- W1567809829 cites W1480437421 @default.
- W1567809829 cites W1492582005 @default.
- W1567809829 cites W1503075583 @default.
- W1567809829 cites W1511669762 @default.
- W1567809829 cites W1522331516 @default.
- W1567809829 cites W1527127371 @default.
- W1567809829 cites W1545911618 @default.
- W1567809829 cites W1558260377 @default.
- W1567809829 cites W1566552629 @default.
- W1567809829 cites W1578780470 @default.
- W1567809829 cites W1587731091 @default.
- W1567809829 cites W1599662011 @default.
- W1567809829 cites W1604475812 @default.
- W1567809829 cites W1606147479 @default.
- W1567809829 cites W1651030661 @default.
- W1567809829 cites W1860155895 @default.
- W1567809829 cites W1969724379 @default.
- W1567809829 cites W1979726628 @default.
- W1567809829 cites W1983382657 @default.
- W1567809829 cites W1993301779 @default.
- W1567809829 cites W1996407745 @default.
- W1567809829 cites W1998044200 @default.
- W1567809829 cites W2004896390 @default.
- W1567809829 cites W2008945595 @default.
- W1567809829 cites W2009190427 @default.
- W1567809829 cites W2012624464 @default.
- W1567809829 cites W2015135921 @default.
- W1567809829 cites W2023648368 @default.
- W1567809829 cites W2023812928 @default.
- W1567809829 cites W2024065710 @default.
- W1567809829 cites W2028965700 @default.
- W1567809829 cites W2033088754 @default.
- W1567809829 cites W2047706937 @default.
- W1567809829 cites W2054281703 @default.
- W1567809829 cites W2057513565 @default.
- W1567809829 cites W2073491323 @default.
- W1567809829 cites W2075277371 @default.
- W1567809829 cites W2082093772 @default.
- W1567809829 cites W2082884384 @default.
- W1567809829 cites W2084033816 @default.
- W1567809829 cites W2089512798 @default.
- W1567809829 cites W2090382436 @default.
- W1567809829 cites W2091957209 @default.
- W1567809829 cites W2092180595 @default.
- W1567809829 cites W2095768683 @default.
- W1567809829 cites W2096482476 @default.
- W1567809829 cites W2101556477 @default.
- W1567809829 cites W2103135708 @default.
- W1567809829 cites W2103444877 @default.
- W1567809829 cites W2107849535 @default.
- W1567809829 cites W2110069048 @default.
- W1567809829 cites W2110182592 @default.
- W1567809829 cites W2116976042 @default.
- W1567809829 cites W2117753247 @default.
- W1567809829 cites W2119353490 @default.
- W1567809829 cites W2121773050 @default.
- W1567809829 cites W2127140110 @default.
- W1567809829 cites W2132635174 @default.
- W1567809829 cites W2133348366 @default.
- W1567809829 cites W2143075874 @default.
- W1567809829 cites W2143620943 @default.
- W1567809829 cites W2145465694 @default.
- W1567809829 cites W2147047305 @default.
- W1567809829 cites W2152124009 @default.
- W1567809829 cites W2152774062 @default.
- W1567809829 cites W2155737426 @default.
- W1567809829 cites W2157732093 @default.
- W1567809829 cites W2171279236 @default.
- W1567809829 cites W2293405931 @default.
- W1567809829 cites W2326267538 @default.
- W1567809829 cites W2337512840 @default.
- W1567809829 cites W2400223983 @default.
- W1567809829 cites W2406923121 @default.
- W1567809829 cites W2407183309 @default.
- W1567809829 cites W25301484 @default.
- W1567809829 cites W2610670723 @default.
- W1567809829 cites W2911529331 @default.
- W1567809829 cites W2912565176 @default.
- W1567809829 cites W2963654101 @default.
- W1567809829 cites W2985435731 @default.
- W1567809829 cites W3152800724 @default.
- W1567809829 cites W3213572188 @default.
- W1567809829 cites W37022969 @default.
- W1567809829 cites W45978246 @default.
- W1567809829 cites W58862380 @default.
- W1567809829 cites W77205158 @default.
- W1567809829 cites W80737574 @default.
- W1567809829 cites W167420388 @default.
- W1567809829 hasPublicationYear "2012" @default.
- W1567809829 type Work @default.
- W1567809829 sameAs 1567809829 @default.