Beskrivelseslogik: Forskelle mellem versioner

 

'''Beskrivelseslogik''' ([[engelsk]] ''Decription logic'', [[Tysk (sprog)|tysk]] ''Beschreibungslogik'') er en variant af [[modallogik]], som anvendes til implementering af begrebshierarkier.