Ontologier har lyckats som en kunskapsrepresentation formalism inom många tillämpningsområden. De är dock inte lämpliga för att representera vag eller oprecis information. För att övervinna denna begränsning har flera tillägg till klassiska ontologier som bygger på fuzzy logik föreslagits. Även om olika fuzzy logik leder till fuzzy ontologies med mycket olika logiska egenskaper, den kombinerade användningen av olika fuzzy logiker har fått lite uppmärksamhet hittills. I detta dokument föreslås en luddig förlängning av beskrivningen Logik SROIQ -logiken bakom det ontologiska språket OWL 2 - som ansluter sig till Gödels och Zadehs luddiga logik. Vi analyserar egenskaperna hos den nya luddiga beskrivningen Logic för att ge riktlinjer till ontologi utvecklare för att utnyttja de bästa funktionerna i varje luddig logik. I förslaget behandlas också sanningens grader som hör till en ändlig uppsättning språkliga termer snarare än numeriska värden och som därmed ligger närmare verkliga experters resonemang. Vi bevisar det avgörande i den kombinerade logiken genom att lägga fram ett resonemang som bevarar proceduren för att få en skarp representation för den. Detta resultat generaliseras för att erbjuda en liknande minskning som kan tillämpas när andra finita t-normer, t-konormer, negationer eller implikationer beaktas i logiken.
Detta förfarande utvidgas i REF för ett språk som kombinerar Gödel och Zadeh semantik.
JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
{'venue': 'International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems', 'journal': 'International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems', 'mag_field_of_study': ['Computer Science', 'Mathematics']}