Beskrivelseslogik: Forskelle mellem versioner

Content deleted Content added
m Ingen kilder.
m Datomærker Artikler uden kilder-skabeloner
Linje 1:
{{Ingen kilder|dato=februar 2018}}
 
'''Beskrivelseslogik''' ([[engelsk]] ''Description logic'', [[Tysk (sprog)|tysk]] ''Beschreibungslogik'') er en variant af [[modallogik]], som anvendes til implementering af [[begrebshierarki]]er.