Beskrivelseslogik

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg

Beskrivelseslogik (engelsk Description logic, tysk Beschreibungslogik) er en variant af modallogik, som anvendes til implementering af begrebshierarkier.

Litteratur[redigér | redigér wikikode]

  • F. Baader, D. Calvanese, D. L. McGuiness, D. Nardi, P. F. Patel-Schneider: The Description Logic Handbook: Theory, Implementation, Applications. Cambridge University Press, Cambridge, UK, 2003. ISBN 0-521-78176-0

Se også[redigér | redigér wikikode]

Eksterne henvisninger[redigér | redigér wikikode]

filosofi Stub
Denne filosofiartikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.