Beskrivelseslogik

Fra Wikipedia, den frie encyklopædi

Denne side ligner et opslag i en ordbog.
Dette opslag fungerer mere som et opslag i en ordbog end som en artikel i en encycklopædi. Du kan evt. modificere artiklen, således at den passer bedre ind, eller flytte den til den danske Wikiordbog - husk at formatere artiklen, så den passer ind i Wikiordbogen.

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

[redigér] Litteratur

  • 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

[redigér] Se i øvrigt

[redigér] Eksterne henvisninger

Denne artikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den. Du kan også give den en bedre beskrivelse.