Beskrivelseslogik

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

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

Se også

Eksterne henvisninger

filosofiSpire
Denne filosofiartikel er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.