Beskrivelseslogik
form for logik
Der er ingen kildehenvisninger i denne artikel, hvilket er et problem. (februar 2018) (Lær hvordan og hvornår man kan fjerne denne skabelonbesked) |
Beskrivelseslogik (engelsk Description logic, tysk Beschreibungslogik) er en variant af modallogik, som anvendes til implementering af begrebshierarkier.
Litteratur redigér
- 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
Eksterne henvisninger redigér
- Description logic Arkiveret 27. september 2005 hos Wayback Machine
- Navigator on Description Logic Complexity
 | Spire Denne filosofiartikel er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den. |